Systems of predicative analysis
From MaRDI portal
Publication:5344166
DOI10.2307/2269764zbMATH Open0134.01101OpenAlexW2081002360MaRDI QIDQ5344166FDOQ5344166
Authors: 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
Cites Work
- Title not available (Why is that?)
- On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
- Hierarchies of number-theoretic predicates
- Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
- On the inductive definition with quantifiers of second order
- Ordinal Numbers and Predicative Set Theory
- On the fundamental conjecture of GLC, VI
Cited In (97)
- Relative Truth Definability of Axiomatic Truth Theories
- Formalizing Scientifically Applicable Mathematics in a Definitional Framework
- A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
- Fragments of arithmetic
- Axiomatizing Kripke's theory of truth
- Representations and the foundations of mathematics
- Feferman on set theory: infinity up on trial
- Truth, reflection and hierarchies
- Proof theory and ordinal analysis
- Minimal bad sequences are necessary for a uniform Kruskal theorem
- The Operational Perspective: Three Routes
- The Veblen functions for computability theorists
- Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis
- Proof theory of constructive systems: inductive types and univalence
- The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule
- Proof theoretic analysis by iterated reflection
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
- An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
- Generalizations of the one-dimensional version of the Kruskal-Friedman theorems
- Title not available (Why is that?)
- Reflection algebras and conservation results for theories of iterated truth
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic
- Beweistheoretische Abgrenzung von Teilsystemen der Analysis
- Well-Ordering Principles in Proof Theory and Reverse Mathematics
- A system of complete and consistent truth
- From mathesis universalis to provability, computability, and constructivity
- Predicativity and structuralism in Dedekind's construction of the reals
- Analysis in a formal predicative set theory
- Predicativity and Feferman
- The strength of admissibility without foundation
- Predicative logic and formal arithmetic
- An ordinal bound for the set of polynomial functions with exponentiation
- Predicative foundations of arithmetic
- Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees
- An ordinal analysis for theories of self-referential truth
- On mathematical instrumentalism
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION
- Iterated reflection principles and the ω-rule
- Equivalences for truth predicates
- Feferman and the Truth
- Error and predicativity
- Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1
- The implicit commitment of arithmetical theories and its semantic core
- Predicatively unprovable termination of the Ackermannian Goodstein process
- A fortuitous year with Leon Henkin
- Jean van Heijenoort's conception of modern logic, in historical perspective
- Natural well-orderings
- From hierarchies to well-foundedness
- A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\)
- Constructibility and Geometry
- A new concept of predicative truth and definability
- The strength of abstraction with predicative comprehension
- On the mathematical and foundational significance of the uncountable
- The model-theoretic ordinal analysis of theories of predicative strength
- The prehistory of the subsystems of second-order arithmetic
- IMPS: An interactive mathematical proof system
- Foundations for analysis and proof theory
- Reflecting on incompleteness
- Predicativity and constructive mathematics
- Describing ordinals using functionals of transfinite type
- Applicable mathematics in a minimal computational theory of sets
- Recent Advances in Ordinal Analysis: Π12— CA and Related Systems
- Well-partial orderings and their maximal order types
- Derivatives of normal functions in reverse mathematics
- What can a categoricity theorem tell us?
- The Limits of Predicativity Revisited
- Unfolding schematic systems
- Provably true sentences across axiomatizations of Kripke's theory of truth
- Ordinal notations and well-orderings in bounded arithmetic
- From subsystems of analysis to subsystems of set theory
- On Takeuti's early view of the concept of set
- Fast growing functions based on Ramsey theorems
- IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)
- Syntactical truth predicates for second order arithmetic
- More on Systems of Truth and Predicative Comprehension
- A walk with Goodstein and Ackermann
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
- Feferman's skepticism about set theory
- Proof theory in philosophy of mathematics
- Diversity in proof appraisal
- Generalized fusible numbers and their ordinals
- SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT
- Title not available (Why is that?)
- PREDICATIVISM AS A FORM OF POTENTIALISM
- Weyl reexamined: ``Das Kontinuum 100 years later
- Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$
- Reminiscences of Kurt Schütte
- An Argumentative Approach to Ideal Elements in Mathematics
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND
- Lorenzen and constructive mathematics
- Title not available (Why is that?)
- Eine Funktionalinterpretation der prädikativen Analysis
- Deducibility and independence in Beklemishev's autonomous provability calculus
- 1998–99 Annual Meeting of the Association for Symbolic Logic
- Operation and predicativity: Lorenzen's approach to arithmetic
- Why Predicative Sets?
- Predicative provability in set theory
This page was built for publication: Systems of predicative analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5344166)
