Set Theory and Model Theory : Proceedings of an Informal Symposium Held at Bonn, June 1 3, 1979
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Drugi avtorji: | |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in mathematics
872 |
| Teme: | |
| Online dostop: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Sporočilo: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Set theory and model theory, proceedings of an informal symposium held at Bonn, June 1-3, 1979, edited by R.B. Jensen and A. Prestel, 1981, Berlin [etc.], Springer-Verlag, 1 volume (174 p.), Lecture notes in mathematics, 0-387-10849-1 • Set Theory and Model Theory, Texte imprimé, 9783662203651 |
Kazalo:
- Morass-like constructions of ?2-trees in L
- Coarse morasses in L
- Some applications of the core model
- A lattice structure on the isomorphism types of complete boolean algebras
- Pseudo real closed fields
- Some remarks on the mathematical incompleteness of Peano s arithmetic found by paris and harrington.