Open Questions in Reverse Mathematics (Q3174640)

From MaRDI portal

Revision as of 12:05, 4 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Open Questions in Reverse Mathematics	scientific article

Statements

scholarly article

0 references

Open Questions in Reverse Mathematics (English)

0 references

Antonio Montalbán

0 references

The Bulletin of Symbolic Logic

0 references

publication date

11 October 2011

0 references

full work available at URL

https://semanticscholar.org/paper/5a88c5dc085f02a0cb991f5e89358e2172a3aea2

0 references

zbMATH Keywords

reverse mathematics

0 references

RCA

0 references

WKL

0 references

WWKL

0 references

ACA

0 references

ATR

0 references

MaRDI profile type

MaRDI publication profile

0 references

Proof-theoretic investigations on Kruskal's theorem

0 references

Combinatorial principles weaker than Ramsey's Theorem for pairs

0 references

Some unifying principles in Ramsey theory

0 references

Ranked structures and arithmetic transfinite recursion

0 references

Located sets and reverse mathematics

0 references

Infinite games in the Cantor space and subsystems of second order arithmetic

0 references

Determinacy of Wadge classes and subsystems of second order arithmetic

0 references

0 references

Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic

0 references

0 references

Π12-logic, Part 1: Dilators

0 references

Equivalence between Fraïssé's conjecture and Jullien's theorem

0 references

Countable algebra and set existence axioms

0 references

Comparing DNR and WWKL

0 references

A note on the theory of positive induction, \({{\text{ID}}^*_1}\)

0 references

INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS

0 references

Up to equimorphism, hyperarithmetic is recursive

0 references

Measure theory and weak König's lemma

0 references

Groundwork for weak analysis

0 references

Δ<sub>3</sub><sup>O</sup>-determinacy, comprehension and induction

0 references

Ramsey's theorem for trees: the polarized tree theorem and notions of stability

0 references

Assignment of ordinals to patterns of resemblance

0 references

The polarized Ramsey's theorem

0 references

The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity

0 references

On Fraïssé's conjecture for linear orders of finite Hausdorff rank

0 references

Computability-theoretic and proof-theoretic aspects of partial and linear orderings

0 references

0 references

Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction

0 references

Chain conditions in computable rings

0 references

On Fraissé's order type conjecture

0 references

0 references

Reverse mathematics, computability, and partitions of trees

0 references

On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics

0 references

Reverse mathematics and the equivalence of definitions for well and better quasi-orders

0 references

Corrigendum to: “On the strength of Ramsey's Theorem for pairs”

0 references

Class groups of integral group rings

0 references

On the strength of Ramsey's theorem for pairs

0 references

Ramsey's theorem and recursion theory

0 references

Uniform versions of some axioms of second order arithmetic

0 references

A dual form of Ramsey's theorem

0 references

Hindman's theorem, ultrafilters, and reverse mathematics

0 references

Patterns of resemblance of order 2

0 references

Reverse mathematics and ordinal exponentiation

0 references

Identifiers

zbMATH Open document ID

0 references

10.2178/bsl/1309952320

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3174640

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3174640&oldid=35248108"