scientific article; zbMATH DE number 3825795
From MaRDI portal
Publication:3671967
Cited in
(24)- Weak comparability of well orderings and reverse mathematics
- Fraïssé's conjecture in \(\Pi_1^1\)-comprehension
- Levels of truth
- Countable algebra and set existence axioms
- The Galvin-Prikry theorem and set existence axioms
- Borel quasi-orderings in subsystems of second-order arithmetic
- scientific article; zbMATH DE number 7577570 (Why is no real title available?)
- Some combinatorial principles equivalent to restrictions of transfinite induction up to \(\Gamma _ 0\)
- The Operational Perspective: Three Routes
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
- Strong WQO Tree Theorems
- Generalized fusible numbers and their ordinals
- Riesz representation theorem, Borel measures and subsystems of second- order arithmetic
- A dual form of Ramsey's theorem
- Some set-theoretic reduction principles
- Connected components of graphs and reverse mathematics
- Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
- Universes in explicit mathematics
- Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
- More on lower bounds for partitioning \(\alpha\)-large sets
- Analyzing Nash-Williams' partition theorem by means of ordinal types
- The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem
- Fast growing functions based on Ramsey theorems
- The strength of infinitary Ramseyan principles can be accessed by their densities
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3671967)
