A cardinal preserving extension making the set of points of countable V cofinality nonstationary (English)
- New search for: Gitik, Moti
- New search for: Neeman, Itay
- New search for: Sinapova, Dima
- New search for: Gitik, Moti
- New search for: Neeman, Itay
- New search for: Sinapova, Dima
In:
Archive for Mathematical Logic
;
46
, 5-6
;
451-456
;
2007
- Article (Journal) / Electronic Resource
-
Title:A cardinal preserving extension making the set of points of countable V cofinality nonstationary
-
Additional title:Arch. Math. Logic
-
Contributors:
-
Published in:Archive for Mathematical Logic ; 46, 5-6 ; 451-456
-
Publisher:
- New search for: Springer-Verlag
-
Place of publication:Berlin/Heidelberg
-
Publication date:2007-07-01
-
Size:6 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 46, 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.
- 347
-
Normal forms for fuzzy logics: a proof-theoretic approachCintula, Petr / Metcalfe, George et al. | 2007
- 365
-
Provability in predicate product logicLaskowski, Michael C. / Malekpour, Shirin et al. | 2007
- 379
-
$ Δ_{1} $ Ultrapowers are totally rigidMcLaughlin, T. G. et al. | 2007
- 385
-
Analytic proof systems for λ-calculus: the elimination of transitivity, and why it mattersMinari, Pierluigi et al. | 2007
- 425
-
Fuzzy logics based on [0,1)-continuous uninormsGabbay, Dov / Metcalfe, George et al. | 2007
- 451
-
A cardinal preserving extension making the set of points of countable V cofinality nonstationaryGitik, Moti / Neeman, Itay / Sinapova, Dima et al. | 2007
- 457
-
Antichains in partially ordered sets of singular cofinalityRinot, Assaf et al. | 2007
-
The Jordan curve theorem and the Schönflies theorem in weak second-order arithmeticSakamoto, Nobuyuki / Yokoyama, Keita et al. | 2007
- 481
-
On some sheaves of special groupsAstier, Vincent et al. | 2007
- 489
-
Generalized quantifier and a bounded arithmetic theory for LOGCFLKuroda, Satoru et al. | 2007
- 517
-
Theories with constants and three countable modelsTanović, Predrag et al. | 2007