Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Equimorphism invariants for scattered linear orderings

100%

Montalbán A.

Fundamenta Mathematicae

2006

tom 191

nr 2

151-173

Two linear orderings are equimorphic if they can be embedded in each other. We define invariants for scattered linear orderings which classify them up to equimorphism. Essentially, these invariants are finite sequences of finite trees with ordinal labels. Also, for each ordinal α, we explicitly describe the finite set of minimal scattered equimorphism types of Hausdorff rank α. We compute the invariants of each of these minimal types..

The strength of Turing determinacy within second order arithmetic

63%

Montalbán A., Shore R.

Fundamenta Mathematicae

2016

tom 232

nr 3

249-268

We investigate the reverse mathematical strength of Turing determinacy up to Σ₅⁰, which is itself not provable in second order arithmetic.

Ograniczanie wyników

2 Fundamenta Mathematicae

2 Montalbán A.

1 Shore R.

1 2016

1 2006

Wyniki wyszukiwania

Equimorphism invariants for scattered linear orderings

The strength of Turing determinacy within second order arithmetic