Predicativity and constructive mathematics
type: Item
instance of: scholarly article
title: Predicativity and constructive mathematics
DOI: 10.1007/978-3-030-84706-7_11
author: Laura Crosilla
publication date: 2022-10-09T00:00:00Z
Mathematics Subject Classification ID: 03-XX
Mathematics Subject Classification ID: 00A30
zbMATH DE Number: 7598443
zbMATH Keywords: inductive definitions
zbMATH Keywords: predicativity
zbMATH Keywords: constructive mathematics
zbMATH Keywords: vicious circle principle
zbMATH Keywords: invariance
describes a project that uses: Nuprl
MaRDI profile type: Publication
full work available at URL: 978-3-030-84706-7 11
OpenAlex ID: W4250578329
cites work: Q3937387
cites work: Q3762311
cites work: Proof-irrelevance out of excluded-middle and choice in the calculus of constructions
cites work: Q4075450
cites work: Q3679172
cites work: Q3340832
cites work: Q5573965
cites work: Q3754620
cites work: Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
cites work: Truth and the philosophy of mathematics
cites work: The calculus of constructions
cites work: Inductively generated formal topologies.
cites work: Predicativity and Feferman
cites work: THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
cites work: A general formulation of simultaneous inductive-recursive definitions in type theory
cites work: Program Testing and the Meaning Explanations of Intuitionistic Type Theory
cites work: Induction-recursion and initial algebras.
cites work: Systems of predicative analysis
cites work: Q4128540
cites work: Q4674788
cites work: Q3081636
cites work: The consistency of classical set theory relative to a set theory with intu1tionistic logic
cites work: Q5302559
cites work: Q5513756
cites work: La prédicativité
cites work: Logical reflection and formalism
cites work: Constructive definition of certain analytic sets of numbers
cites work: Q4099613
cites work: Q3328540
cites work: Q3688389
cites work: Elementary induction on abstract structures
cites work: Constructive set theory
cites work: Q4726219
cites work: Q3999860
cites work: Type-theoretic interpretation of iterated, strictly positive inductive definitions
cites work: Q4247308
cites work: The constructive Hilbert program and the limits of Martin-Löf type theory
cites work: Inaccessibility in constructive set theory and type theory
cites work: Q3481701
cites work: Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
cites work: Q5331407
cites work: Partial realizations of Hilbert's program
cites work: Q4220572
cites work: From constructivism to computer science
cites work: Homotopy Type Theory: Univalent Foundations of Mathematics
cites work: Ordinal Numbers and Predicative Set Theory
Recommended article: Q3998383
Recommended article: Q5472008
Recommended article: Predicate Logics of Constructive Arithmetical Theories
Recommended article: Predicative foundations of arithmetic
Recommended article: A Predicative Approach to Nonstandard Mathematics
Recommended article: Predicative logic and formal arithmetic
Recommended article: Q5283783
Recommended article: Q5187277
Recommended article: Challenges to predicative foundations of arithmetic
Recommended article: Predicativity and structuralism in Dedekind's construction of the reals
description: scientific article; zbMATH DE number 7598443