La prédicativité
From MaRDI portal
Publication:5339291
Cites work
- Arithmetical Predicates and Function Quantifiers
- Consistency of the Continuum Hypothesis. (AM-3)
- Ein widerspruchsloses System der Analysis auf typenfreier Grundlage
- Elementarily definable analysis
- Hierarchies of number-theoretic predicates
- scientific article; zbMATH DE number 3125103 (Why is no real title available?)
- scientific article; zbMATH DE number 3129325 (Why is no real title available?)
- scientific article; zbMATH DE number 3139751 (Why is no real title available?)
- scientific article; zbMATH DE number 3151582 (Why is no real title available?)
- scientific article; zbMATH DE number 3216178 (Why is no real title available?)
- scientific article; zbMATH DE number 3316894 (Why is no real title available?)
- scientific article; zbMATH DE number 3329894 (Why is no real title available?)
- scientific article; zbMATH DE number 3329916 (Why is no real title available?)
- Logical reflection and formalism
- Recursive well-orderings
- The classical and the ω-complete arithmetic
- The formalization of mathematics
- Transfinite recursive progressions of axiomatic theories
Cited in
(12)- Finitely stratified polymorphism
- Functions over free algebras definable in the simply typed lambda calculus
- Predicativity and constructive mathematics
- Error and predicativity
- The Limits of Predicativity Revisited
- Predicativity and Feferman
- The prehistory of the subsystems of second-order arithmetic
- La théorie des fonctions récursives et ses applications. (Exposé d'information générale)
- Some properties of \sum\nolimits₁¹- and \prod\nolimits₁¹-sets in N^N
- PREDICATIVISM AS A FORM OF POTENTIALISM
- Alternating Turing machines and the analytical hierarchy
- Natural constructive proofs of A via A B, proof paradoxes, and impredicativity
This page was built for publication: La prédicativité
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5339291)
