Systems of predicative analysis

DOI10.2307/2269764zbMath0134.01101OpenAlexW2081002360MaRDI QIDQ5344166

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

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