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