Conference in mathematical logic, London '70
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in mathematics
255 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Conference in mathematical logic, London '70, edited by Wilfrid Hodges,..., 1972, Berlin [etc.], Springer-Verlag, 1 vol. (VI-351 p.), Lecture notes in mathematics, 3-540-05744-7 • Conference in Mathematical Logic - London '70, Texte imprimé, 9783662204368 |
İçindekiler:
- Inductive definitions and analogues of large cardinals
- Compact injectives and Non-Standard Analysis
- Non-axiomatizability results in infinitary languages for higher-order structures
- ? 1 1 models and ? 1 1 -categoricity
- Infinitary properties, local functors, and systems of ordinal functions
- Logics containing S4 without the finite model property
- An ?-calculus system for first-order S4
- Craig's interpolation theorem for modal logics
- A note on models and submodels of arithmetic
- An application of ultra-products to prime rings with polynomial identities
- Embedding nondistributive lattices in the recursively enumerable degrees
- Direct powers with distinguished diagonal
- Solution of problems of choquet and puritz
- Some B. Russell's sprouts (1903 1908)
- On models of arithmetic
- -definability in set theory
- Initial segments and implications for the structure of degrees
- Abstracts of contributed papers.