La prédicativité

DOI10.24033/bsmf.1554zbMath0131.00604OpenAlexW4214648487MaRDI QIDQ5339291

Georg Kreisel

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

zbMATH Keywords

mathematical logic

Related Items (10)

PREDICATIVISM AS A FORM OF POTENTIALISM ⋮ Some properties of $\sum\nolimits_1^1$- and $\prod\nolimits_1^1$-sets in $N^N $ ⋮ Error and Predicativity ⋮ Finitely stratified polymorphism ⋮ Predicativity and Feferman ⋮ Predicativity and constructive mathematics ⋮ The Limits of Predicativity Revisited ⋮ Functions over free algebras definable in the simply typed lambda calculus ⋮ La théorie des fonctions récursives et ses applications. (Exposé d'information générale) ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

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

This page was built for publication: La prédicativité