Rank-initial embeddings of non-standard models of set theory (English)
Free access
- New search for: Kindvall Gorbow, Paul
- Further information on Kindvall Gorbow, Paul:
- https://orcid.org/http://orcid.org/0000-0003-2118-1536
- New search for: Kindvall Gorbow, Paul
- Further information on Kindvall Gorbow, Paul:
- https://orcid.org/http://orcid.org/0000-0003-2118-1536
In:
Archive for Mathematical Logic
;
59
, 5-6
;
517-563
;
2020
- Article (Journal) / Electronic Resource
-
Title:Rank-initial embeddings of non-standard models of set theory
-
Additional title:Arch. Math. Logic
-
Contributors:Kindvall Gorbow, Paul ( author )
-
Published in:Archive for Mathematical Logic ; 59, 5-6 ; 517-563
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin/Heidelberg
-
Publication date:2020-08-01
-
Size:47 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: 03E30 / 03C62 / 03H99 (primary) / 03C15 / 03C20 / 03E55 (secondary)
- Further information on Mathematics Subject Classification
-
Keywords:
-
Classification:
MSC: 03E30 / 03C62 / 03H99 (primary) / 03C15 / 03C20 / 03E55 (secondary) -
Licence:
-
Source:
Table of contents – Volume 59, Issue 5-6
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 517
-
Rank-initial embeddings of non-standard models of set theoryKindvall Gorbow, Paul et al. | 2019
- 565
-
Reversibility of extreme relational structuresKurilić, Miloš S. / Morača, Nenad et al. | 2019
- 583
-
On Ramsey choice and partial choice for infinite families of n-element setsHalbeisen, Lorenz / Tachtsis, Eleftherios et al. | 2019
- 607
-
Finite sets and infinite sets in weak intuitionistic arithmeticNemoto, Takako et al. | 2020
- 659
-
Uniform Lyndon interpolation property in propositional modal logicsKurahashi, Taishi et al. | 2020
- 679
-
Definable combinatorics with dense linear ordersShukla, Himanshu / Jain, Arihant / Kuber, Amit et al. | 2020
- 703
-
The noneffectivity of Arslanov’s completeness criterion and related theoremsTerwijn, Sebastiaan A. et al. | 2020
- 715
-
Completeness of the primitive recursive ω-ruleFrittaion, Emanuele et al. | 2020
- 715
-
Completeness of the primitive recursive $$\omega $$-ruleFrittaion, Emanuele et al. | 2020
- 733
-
Some nondefinability results with entire functions in a polynomially bounded o-minimal structureSfouli, Hassan et al. | 2020
- 743
-
Scattered sentences have few separable randomizationsAndrews, Uri / Goldbring, Isaac / Hachtman, Sherwood / Keisler, H. Jerome / Marker, David et al. | 2020
- 755
-
A diamond-plus principle consistent with ADCunningham, Daniel W. et al. | 2020