Systems of predicative analysis

Cites work

scientific article; zbMATH DE number 3167150 (Why is no real title available?)
Hierarchies of number-theoretic predicates
Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
On the fundamental conjecture of GLC, VI
On the inductive definition with quantifiers of second order
Ordinal Numbers and Predicative Set Theory

Cited in

(only showing first 100 items - show all)

The Limits of Predicativity Revisited
Unfolding schematic systems
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
Operation and predicativity: Lorenzen's approach to arithmetic
Why Predicative Sets?
Predicative provability in set theory
Relative Truth Definability of Axiomatic Truth Theories
IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)
Formalizing Scientifically Applicable Mathematics in a Definitional Framework
Syntactical truth predicates for second order arithmetic
Fragments of arithmetic
A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
Axiomatizing Kripke's theory of truth
Representations and the foundations of mathematics
Truth, reflection and hierarchies
Feferman on set theory: infinity up on trial
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
What's so special about Kruskal's theorem and the ordinal $\Gamma{}_ 0$? A survey of some results in proof theory
The non-constructive operator, fixed point theories with ordinals, and the bar rule
Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis
More on Systems of Truth and Predicative Comprehension
Proof theory of constructive systems: inductive types and univalence
Proof theoretic analysis by iterated reflection
A walk with Goodstein and Ackermann
NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
An ordinal analysis of parameter free $\Pi^{1}_{2}$-comprehension
Proof theory in philosophy of mathematics
Feferman's skepticism about set theory
Diversity in proof appraisal
Generalized fusible numbers and their ordinals
SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT
scientific article; zbMATH DE number 3290305 (Why is no real title available?)
Predicativity, the Russell-Myhill paradox, and Church's intensional logic
Generalizations of the one-dimensional version of the Kruskal-Friedman theorems
Reflection algebras and conservation results for theories of iterated truth
scientific article; zbMATH DE number 3259043 (Why is no real title available?)
PREDICATIVISM AS A FORM OF POTENTIALISM
Weyl reexamined: ``Das Kontinuum 100 years later
Beweistheoretische Abgrenzung von Teilsystemen der Analysis
A system of complete and consistent truth
Well-Ordering Principles in Proof Theory and Reverse Mathematics
From mathesis universalis to provability, computability, and constructivity
Predicativity and structuralism in Dedekind's construction of the reals
Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$
Reminiscences of Kurt Schütte
Analysis in a formal predicative set theory
Cognitive projects and the trustworthiness of positive truth
The modal logic of potential infinity: branching versus convergent possibilities
An Argumentative Approach to Ideal Elements in Mathematics
Predicativity and Feferman
The strength of admissibility without foundation
What is forcing potentialism?
An ordinal bound for the set of polynomial functions with exponentiation
Predicative foundations of arithmetic
A Neglected Interpretation of Das Kontinuum
Gaps, gluts, and theoretical equivalence
An ordinal analysis for theories of self-referential truth
Predicative logic and formal arithmetic
Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees
Iterating reflection over intuitionistic arithmetic
PREDICATIVITY THROUGH TRANSFINITE REFLECTION
On mathematical instrumentalism
Iterated reflection principles and the ω-rule
Equivalences for truth predicates
Error and predicativity
Feferman and the Truth
The implicit commitment of arithmetical theories and its semantic core
Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1
Consistent ultrafinitist logic
Lorenzen and constructive mathematics
Predicatively unprovable termination of the Ackermannian Goodstein process
POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND
scientific article; zbMATH DE number 7228887 (Why is no real title available?)
A fortuitous year with Leon Henkin
From hierarchies to well-foundedness
Jean van Heijenoort's conception of modern logic, in historical perspective
Deducibility and independence in Beklemishev's autonomous provability calculus
Eine Funktionalinterpretation der prädikativen Analysis
A comparison of well-known ordinal notation systems for $\varepsilon _{0}$
Natural well-orderings
A new concept of predicative truth and definability
Constructibility and Geometry
The strength of abstraction with predicative comprehension
On the mathematical and foundational significance of the uncountable
On inverse Goodstein sequences
IMPS: An interactive mathematical proof system
The model-theoretic ordinal analysis of theories of predicative strength
The prehistory of the subsystems of second-order arithmetic
Foundations for analysis and proof theory
Reflecting on incompleteness
The generic multiverse is not going away
Predicativity and constructive mathematics
Describing ordinals using functionals of transfinite type
1998–99 Annual Meeting of the Association for Symbolic Logic
Applicable mathematics in a minimal computational theory of sets

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)