Systems of predicative analysis
From MaRDI portal
Publication:5344166
DOI10.2307/2269764zbMATH Open0134.01101OpenAlexW2081002360MaRDI QIDQ5344166FDOQ5344166
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)
- IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)
- Syntactical truth predicates for second order arithmetic
- Lorenzen and Constructive Mathematics
- 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
- 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
- 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
- Operation and Predicativity: Lorenzen’s Approach to Arithmetic
- Proof Theory in Philosophy of Mathematics
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND
- Title not available (Why is that?)
- Eine Funktionalinterpretation der prädikativen Analysis
- Deducibility and independence in Beklemishev's autonomous provability calculus
- WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER
- 1998–99 Annual Meeting of the Association for Symbolic Logic
- Feferman’s Skepticism About Set Theory
- Why Predicative Sets?
- Predicative provability in set theory
- Relative Truth Definability of Axiomatic Truth Theories
- Formalizing Scientifically Applicable Mathematics in a Definitional Framework
- Fragments of arithmetic
- Axiomatizing Kripke's theory of truth
- Representations and the foundations of mathematics
- Well-Partial Orderings and their Maximal Order Types
- Truth, reflection and hierarchies
- EQUIVALENCES FOR TRUTH PREDICATES
- 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
- From Subsystems of Analysis to Subsystems of Set Theory
- The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule
- 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
- Applicable Mathematics in a Minimal Computational Theory of Sets
- THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION
- Beweistheoretische Abgrenzung von Teilsystemen der Analysis
- Well-Ordering Principles in Proof Theory and Reverse Mathematics
- A system of complete and consistent truth
- 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
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
- 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
- Unfolding Schematic Systems
- Feferman and the Truth
- WHAT CAN A CATEGORICITY THEOREM TELL US?
- 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
- Jean van Heijenoort's conception of modern logic, in historical perspective
- Natural well-orderings
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC
- 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
- From Mathesis Universalis to Provability, Computability, and Constructivity
- On the mathematical and foundational significance of the uncountable
- Proof Theoretic Analysis by Iterated Reflection
- The model-theoretic ordinal analysis of theories of predicative strength
- IMPS: An interactive mathematical proof system
- Foundations for analysis and proof theory
- Feferman on Set Theory: Infinity up on Trial
- Reflecting on incompleteness
- Predicativity and constructive mathematics
- Describing ordinals using functionals of transfinite type
- Proof Theory of Constructive Systems: Inductive Types and Univalence
- Error and Predicativity
- Recent Advances in Ordinal Analysis: Π12— CA and Related Systems
- Derivatives of normal functions in reverse mathematics
- The Limits of Predicativity Revisited
- Provably true sentences across axiomatizations of Kripke's theory of truth
- Ordinal notations and well-orderings in bounded arithmetic
- On Takeuti's early view of the concept of set
- Fast growing functions based on Ramsey theorems
- A Fortuitous Year with Leon Henkin
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)
