Sets, models and recursion theory : proceedings of the Summer School in mathematical logic and tenth Logic Colloquium, Leicester, August-September 1965
Amsterdam : North-Holland Publishing Co., 1967
Abstract/Sommario:
A proof of the relative consistency of the continuum hypothesis - Equivalences between Godel's definitions of constructibility - Concrete models of set theory - Independence of the axiom of choice from variants of the generalized continuum hypothesis - Ultraproducts and other methods of constructing models - Uniform extension operators for models and their applications - Representations of probabilities defined on first order languages - On Lowenheim-Skolem-Type insufficiencies of seco ...; [leggi tutto]
| Campo | Valore |
|---|---|
| Descrizione | Sets, models and recursion theory : proceedings of the Summer School in mathematical logic and tenth Logic Colloquium, Leicester, August-September 1965 / edited by John N. Crossley. - Amsterdam : North-Holland Publishing Co., 1967. - 331 p. ; 23 cm. - (Studies in logic and the foundations of mathematics ; 46) |
| Collezione |
|
| Autori |
|
| Chiavi | |
| Luogo di pubblicazione |
|
| Editore |
|
| Categorie | |
| Paese | |
| Lingua | |
| ID scheda | 44041 |
| Biblioteca | Inv. | Ubi. | Collocazione | Prestabilità | Stato | Prenotazioni |
|---|---|---|---|---|---|---|
| Biblio Conf | 0095323 | Biblioteca | LC / 967 / 19 | Ammesso al prestito | A scaffale | Nessuna |