Systems of predicative analysis

DOI10.2307/2269764zbMath0134.01101OpenAlexW2081002360MaRDI QIDQ5344166

Solomon Feferman

Publication date: 1964

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2269764

zbMATH Keywords

mathematical logic

Related Items (95)

PREDICATIVISM AS A FORM OF POTENTIALISM ⋮ Reflection algebras and conservation results for theories of iterated truth ⋮ Iterated reflection principles and the ω-rule ⋮ The model-theoretic ordinal analysis of theories of predicative strength ⋮ Minimal bad sequences are necessary for a uniform Kruskal theorem ⋮ Proof Theory in Philosophy of Mathematics ⋮ Relative Truth Definability of Axiomatic Truth Theories ⋮ The strength of admissibility without foundation ⋮ A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) ⋮ Representations and the foundations of mathematics ⋮ Why Predicative Sets? ⋮ Predicativity, the Russell-Myhill paradox, and Church's intensional logic ⋮ Predicative foundations of arithmetic ⋮ Well-Ordering Principles in Proof Theory and Reverse Mathematics ⋮ A system of complete and consistent truth ⋮ Reflecting on incompleteness ⋮ A Fortuitous Year with Leon Henkin ⋮ Unnamed Item ⋮ Analysis in a formal predicative set theory ⋮ Truth, reflection and hierarchies ⋮ Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees ⋮ Error and Predicativity ⋮ A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC ⋮ Deducibility and independence in Beklemishev's autonomous provability calculus ⋮ THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION ⋮ An Argumentative Approach to Ideal Elements in Mathematics ⋮ NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE ⋮ Generalized fusible numbers and their ordinals ⋮ SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT ⋮ Beweistheoretische Abgrenzung von Teilsystemen der Analysis ⋮ Natural well-orderings ⋮ Jean van Heijenoort's conception of modern logic, in historical perspective ⋮ PREDICATIVITY THROUGH TRANSFINITE REFLECTION ⋮ Predicatively unprovable termination of the Ackermannian Goodstein process ⋮ IN MEMORIAM: SOLOMON FEFERMAN (1928–2016) ⋮ POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND ⋮ Provably true sentences across axiomatizations of Kripke's theory of truth ⋮ Unnamed Item ⋮ Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems ⋮ Describing ordinals using functionals of transfinite type ⋮ Derivatives of normal functions in reverse mathematics ⋮ Unnamed Item ⋮ Well-Partial Orderings and their Maximal Order Types ⋮ More on Systems of Truth and Predicative Comprehension ⋮ From hierarchies to well-foundedness ⋮ What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory ⋮ Proof Theoretic Analysis by Iterated Reflection ⋮ Syntactical truth predicates for second order arithmetic ⋮ The Operational Perspective: Three Routes ⋮ From Subsystems of Analysis to Subsystems of Set Theory ⋮ From Mathesis Universalis to Provability, Computability, and Constructivity ⋮ WHAT CAN A CATEGORICITY THEOREM TELL US? ⋮ The Veblen functions for computability theorists ⋮ Fast growing functions based on Ramsey theorems ⋮ On mathematical instrumentalism ⋮ Applicable Mathematics in a Minimal Computational Theory of Sets ⋮ Predicative logic and formal arithmetic ⋮ Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis ⋮ A new concept of predicative truth and definability ⋮ An ordinal analysis for theories of self-referential truth ⋮ Generalizations of the one-dimensional version of the Kruskal-Friedman theorems ⋮ An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension ⋮ 1998–99 Annual Meeting of the Association for Symbolic Logic ⋮ Proof theory and ordinal analysis ⋮ Eine Funktionalinterpretation der prädikativen Analysis ⋮ An ordinal bound for the set of polynomial functions with exponentiation ⋮ Predicativity and structuralism in Dedekind's construction of the reals ⋮ Constructibility and Geometry ⋮ Unfolding Schematic Systems ⋮ Feferman and the Truth ⋮ Proof Theory of Constructive Systems: Inductive Types and Univalence ⋮ Predicativity and Feferman ⋮ Feferman on Set Theory: Infinity up on Trial ⋮ Feferman’s Skepticism About Set Theory ⋮ The implicit commitment of arithmetical theories and its semantic core ⋮ WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER ⋮ On the mathematical and foundational significance of the uncountable ⋮ Axiomatizing Kripke's theory of truth ⋮ Fragments of arithmetic ⋮ The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule ⋮ Predicativity and constructive mathematics ⋮ On Takeuti's early view of the concept of set ⋮ Formalizing Scientifically Applicable Mathematics in a Definitional Framework ⋮ Foundations for analysis and proof theory ⋮ Reminiscences of Kurt Schütte ⋮ Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$ ⋮ The Limits of Predicativity Revisited ⋮ Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1 ⋮ Predicative provability in set theory ⋮ Ordinal notations and well-orderings in bounded arithmetic ⋮ Operation and Predicativity: Lorenzen’s Approach to Arithmetic ⋮ Lorenzen and Constructive Mathematics ⋮ IMPS: An interactive mathematical proof system ⋮ EQUIVALENCES FOR TRUTH PREDICATES ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

Cites Work

• Unnamed Item
• On the inductive definition with quantifiers of second order
• Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
• Hierarchies of number-theoretic predicates
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• Ordinal Numbers and Predicative Set Theory
• On the fundamental conjecture of GLC, VI

This page was built for publication: Systems of predicative analysis