The following pages link to Systems of predicative analysis (Q5344166):
Displaying 50 items.
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- From hierarchies to well-foundedness (Q481873) (← links)
- Predicativity and structuralism in Dedekind's construction of the reals (Q735349) (← links)
- Fragments of arithmetic (Q762484) (← links)
- Foundations for analysis and proof theory (Q798634) (← links)
- Beweistheoretische Abgrenzung von Teilsystemen der Analysis (Q1139586) (← links)
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
- Fast growing functions based on Ramsey theorems (Q1191932) (← links)
- An ordinal bound for the set of polynomial functions with exponentiation (Q1245856) (← links)
- IMPS: An interactive mathematical proof system (Q1319391) (← links)
- Predicative foundations of arithmetic (Q1344849) (← links)
- The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule (Q1577487) (← links)
- Provably true sentences across axiomatizations of Kripke's theory of truth (Q1708102) (← links)
- An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension (Q1777268) (← links)
- Ordinal notations and well-orderings in bounded arithmetic (Q1861331) (← links)
- A system of complete and consistent truth (Q1893134) (← links)
- Jean van Heijenoort's conception of modern logic, in historical perspective (Q1942093) (← links)
- The implicit commitment of arithmetical theories and its semantic core (Q2051133) (← links)
- Predicativity and constructive mathematics (Q2080590) (← links)
- On Takeuti's early view of the concept of set (Q2097059) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- Minimal bad sequences are necessary for a uniform Kruskal theorem (Q2125990) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- Analysis in a formal predicative set theory (Q2148788) (← links)
- Derivatives of normal functions in reverse mathematics (Q2216034) (← links)
- A new concept of predicative truth and definability (Q2264656) (← links)
- An ordinal analysis for theories of self-referential truth (Q2267754) (← links)
- Proof theory and ordinal analysis (Q2276954) (← links)
- A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) (Q2370371) (← links)
- Truth, reflection and hierarchies (Q2386109) (← links)
- Deducibility and independence in Beklemishev's autonomous provability calculus (Q2672664) (← links)
- Syntactical truth predicates for second order arithmetic (Q2732276) (← links)
- An Argumentative Approach to Ideal Elements in Mathematics (Q2950032) (← links)
- The Veblen functions for computability theorists (Q3011121) (← links)
- Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis (Q3039341) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- Relative Truth Definability of Axiomatic Truth Theories (Q3163660) (← links)
- Error and Predicativity (Q3195675) (← links)
- Well-Partial Orderings and their Maximal Order Types (Q3295157) (← links)
- More on Systems of Truth and Predicative Comprehension (Q3295826) (← links)
- (Q3305196) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
- From Mathesis Universalis to Provability, Computability, and Constructivity (Q3305633) (← links)
- WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608) (← links)
- A Fortuitous Year with Leon Henkin (Q3454802) (← links)
- The strength of admissibility without foundation (Q3710526) (← links)
- Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees (Q3731598) (← links)
- Natural well-orderings (Q3772212) (← links)
- Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1 (Q3942955) (← links)
