Pages that link to "Item:Q1166517"
From MaRDI portal
The following pages link to Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies (Q1166517):
Displaying 50 items.
- An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137) (← links)
- Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees (Q582289) (← links)
- The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories (Q639666) (← links)
- Type-theoretic interpretation of iterated, strictly positive inductive definitions (Q688845) (← links)
- Proofs, programs, processes (Q693063) (← links)
- Extended bar induction in applicative theories (Q753810) (← links)
- Fragments of arithmetic (Q762484) (← links)
- Foundations for analysis and proof theory (Q798634) (← links)
- Generalizing classical and effective model theory in theories of operations and classes (Q810008) (← links)
- The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417) (← links)
- Ordinal arithmetic based on Skolem hulling (Q866560) (← links)
- A logic of abstraction related to finite constructive number classes (Q910401) (← links)
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- Ordinal notations based on a weakly Mahlo cardinal (Q920986) (← links)
- The metamathematics of ergodic theory (Q1006602) (← links)
- Patterns of resemblance of order 2 (Q1011757) (← links)
- Addendum to ``Countable algebra and set existence axioms'' (Q1063594) (← links)
- An independence result for \((\Pi^ 1_ 1-CA)+BI\) (Q1097882) (← links)
- Ordinal notations based on a hierarchy of inaccessible cardinals (Q1109768) (← links)
- Monotone inductive definitions in a constructive theory of functions and classes (Q1115865) (← links)
- Between constructive mathematics and PROLOG (Q1173742) (← links)
- Fixed points in Peano arithmetic with ordinals (Q1210139) (← links)
- Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) (Q1295369) (← links)
- Well-ordering proofs for Martin-Löf type theory (Q1295372) (← links)
- Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. I (Q1314542) (← links)
- Realizability interpretation of generalized inductive definitions (Q1331920) (← links)
- Proof theory of reflection (Q1332853) (← links)
- The strength of some Martin-Löf type theories (Q1344548) (← links)
- On the proof-theoretic strength of monotone induction in explicit mathematics (Q1356976) (← links)
- Inductively generated formal topologies. (Q1412832) (← links)
- Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
- Saturated models of universal theories (Q1861531) (← links)
- Universes over Frege structures (Q1861539) (← links)
- An intensional fixed point theory over first order arithmetic (Q1877095) (← links)
- Understanding uniformity in Feferman's explicit mathematics (Q1899146) (← links)
- Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones (Q1908812) (← links)
- Second order theories with ordinals and elementary comprehension (Q1908814) (← links)
- Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
- The implicit commitment of arithmetical theories and its semantic core (Q2051133) (← links)
- Predicativity and constructive mathematics (Q2080590) (← links)
- Lower bounds on \(\beta (\alpha)\) (Q2104252) (← links)
- Reverse mathematics of the uncountability of \(\mathbb{R}\) (Q2104277) (← links)
- Splittings and robustness for the Heine-Borel theorem (Q2117802) (← links)
- Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts (Q2144614) (← links)
- Betwixt Turing and Kleene (Q2151412) (← links)
- Between Turing and Kleene (Q2151416) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- A note on the theory of positive induction, \({{\text{ID}}^*_1}\) (Q2267752) (← links)
- An ordinal analysis for theories of self-referential truth (Q2267754) (← links)
