The following pages link to (Q4220572):
Displaying 50 items.
- Reverse mathematical bounds for the termination theorem (Q324248) (← links)
- A proof-theoretic account of classical principles of truth (Q385807) (← links)
- Cohesive sets and rainbows (Q386619) (← links)
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Unconventional algorithms: complementarity of axiomatics and construction (Q406192) (← links)
- The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma (Q408156) (← links)
- \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs (Q436224) (← links)
- Gödel functional interpretation and weak compactness (Q450951) (← links)
- Independence in computable algebra (Q497725) (← links)
- On the concept of finitism (Q510710) (← links)
- A simple proof of Parsons' theorem (Q558443) (← links)
- Infinite saturated orders (Q634735) (← links)
- Classical predicative logic-enriched type theories (Q636367) (← links)
- A measure-theoretic proof of Turing incomparability (Q638476) (← links)
- The strength of extensionality. II: Weak weak set theories without infinity (Q639665) (← links)
- An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN (Q649610) (← links)
- The metamathematics of Putnam's model-theoretic arguments (Q651367) (← links)
- Equivalents of the (weak) fan theorem (Q703836) (← links)
- Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA (Q711565) (← links)
- Mass problems associated with effectively closed sets (Q765664) (← links)
- Formal notes on the substitutional analysis of logical consequence (Q778737) (← links)
- Mathematics based on incremental learning -- excluded middle and inductive inference (Q817838) (← links)
- Automorphisms of models of arithmetic: a unified view (Q866555) (← links)
- Complex analysis in subsystems of second order arithmetic (Q866888) (← links)
- The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic (Q884957) (← links)
- On classifying abduction (Q898774) (← links)
- Borel complexity and computability of the Hahn-Banach theorem (Q926175) (← links)
- Subsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\) (Q938231) (← links)
- Model theory of the regularity and reflection schemes (Q938239) (← links)
- Harrington's conservation theorem redone (Q948908) (← links)
- Ramsey's theorem for trees: the polarized tree theorem and notions of stability (Q964459) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- A standard model of Peano arithmetic with no conservative elementary extension (Q998319) (← links)
- The metamathematics of ergodic theory (Q1006602) (← links)
- A computable version of Banach's inverse mapping theorem (Q1006604) (← links)
- Injecting uniformities into Peano arithmetic (Q1006608) (← links)
- The strength of extensionality. I: Weak weak set theories with infinity (Q1006617) (← links)
- The polarized Ramsey's theorem (Q1014283) (← links)
- Partitions of trees and \({{\text \textsf{ACA}}^\prime_{0}}\) (Q1016503) (← links)
- \({\Pi^1_2}\)-comprehension and the property of Ramsey (Q1016505) (← links)
- Reverse mathematics and well-ordering principles: a pilot study (Q1032626) (← links)
- On Fraïssé's conjecture for linear orders of finite Hausdorff rank (Q1032636) (← links)
- Countable algebra and set existence axioms (Q1063593) (← links)
- Necessary uses of abstract set theory in finite mathematics (Q1088658) (← links)
- Reverse mathematics and completeness theorems for intuitionistic logic (Q1422103) (← links)
- Computability-theoretic and proof-theoretic aspects of partial and linear orderings (Q1425651) (← links)
- Computability on subsets of metric spaces. (Q1427773) (← links)
- \(\Pi_{1}^{0}\) classes and orderable groups (Q1612488) (← links)
- Fixed points of self-embeddings of models of arithmetic (Q1709680) (← links)
- The binary expansion and the intermediate value theorem in constructive reverse mathematics (Q1712938) (← links)
