La prédicativité
From MaRDI portal
Publication:5339291
DOI10.24033/bsmf.1554zbMath0131.00604MaRDI QIDQ5339291
Publication date: 1960
Published in: Bulletin de la Société mathématique de France (Search for Journal in Brave)
Full work available at URL: http://www.numdam.org/item?id=BSMF_1960__88__371_0
Related Items
La théorie des fonctions récursives et ses applications. (Exposé d'information générale), Some properties of $\sum\nolimits_1^1$- and $\prod\nolimits_1^1$-sets in $N^N $, Finitely stratified polymorphism, Functions over free algebras definable in the simply typed lambda calculus
Cites Work
- Ein widerspruchsloses System der Analysis auf typenfreier Grundlage
- Arithmetical Predicates and Function Quantifiers
- Hierarchies of number-theoretic predicates
- Recursive well-orderings
- The classical and the ω-complete arithmetic
- Logical reflection and formalism
- Transfinite recursive progressions of axiomatic theories
- The formalization of mathematics
- Consistency of the Continuum Hypothesis. (AM-3)
- Elementarily definable analysis
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item