The following pages link to Fragments of arithmetic (Q762484):
Displaying 31 items.
- Fluctuations, effective learnability and metastability in analysis (Q392289) (← links)
- A simple proof of Parsons' theorem (Q558443) (← links)
- Hilbert versus Hindman (Q661295) (← links)
- The logic of \(\Pi_ 1\)-conservativity (Q749519) (← links)
- Harrington's conservation theorem redone (Q948908) (← links)
- On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness (Q1295420) (← links)
- Predicative foundations of arithmetic (Q1344849) (← links)
- Induction rules, reflection principles, and provably recursive functions (Q1361250) (← links)
- Finite left-distributive algebras and embedding algebras (Q1369254) (← links)
- Theories with self-application and computational complexity. (Q1427856) (← links)
- Remarks on Herbrand normal forms and Herbrand realizations (Q1813063) (← links)
- Which set existence axioms are needed to prove the separable Hahn-Banach theorem? (Q1820779) (← links)
- Saturated models of universal theories (Q1861531) (← links)
- Iterated local reflection versus iterated consistency (Q1899141) (← links)
- Things that can and things that cannot be done in PRA (Q1971796) (← links)
- Baire categoricity and \(\Sigma_1^0\)-induction (Q2443120) (← links)
- Formalizing forcing arguments in subsystems of second-order arithmetic (Q2563983) (← links)
- Herbrand analyses (Q2641297) (← links)
- UNFOLDING FINITIST ARITHMETIC (Q3066785) (← links)
- The Baire category theorem in weak subsystems of second-order arithmetic (Q3138013) (← links)
- Majorizing provably recursive functions in fragments of PA (Q3720596) (← links)
- Ordinal numbers and the Hilbert basis theorem (Q3809796) (← links)
- Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization (Q4032661) (← links)
- Separation and Weak König's Lemma (Q4254634) (← links)
- Hilbert's program and the omega-rule (Q4292612) (← links)
- Left-distributive embedding algebras (Q4340896) (← links)
- Extensions of the Finitist Point of View (Q4706119) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Paris, 1985 (Q4724593) (← links)
- How to characterize provably total functions by local predicativity (Q4879900) (← links)
- Bimodal logics for extensions of arithmetical theories (Q4879903) (← links)
- On mathematical instrumentalism (Q5718688) (← links)
