Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Coding the universe / A. Beller, R. Jensen, P. Welch
| Coding the universe / A. Beller, R. Jensen, P. Welch |
| Autore | Beller, A. |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, c1982 |
| Descrizione fisica | 353 p. ; 23 cm |
| Disciplina | 511.322 |
| Altri autori (Persone) |
Jensen, Ronald Bjorn
Welch, P. |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 47 |
| Soggetto topico |
Axiomatic set theory
Set theory Symbolic logic and mathematical |
| ISBN | 0521280404 |
| Classificazione | AMS 03E |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000748689707536 |
Beller, A.
|
||
| Cambridge : Cambridge University Press, c1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Modelle der Mengenlehre [e-book]
| Modelle der Mengenlehre [e-book] |
| Autore | Jensen, Ronald Bjorn |
| Pubbl/distr/stampa | New York : Springer, 2007 |
| Descrizione fisica | 1 online resource (192 p.) |
| Disciplina | 511.322 |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 37 |
| ISBN |
9783540039082
3540039082 |
| Classificazione | AMS 03E |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Das System ZF Die Formale Sprache -- Die Metasprache -- Modelle -- Absolutheit und Definierbarkeit -- Innere Modelle -- Das konstruktible Modell -- Die Cohensche Erzwingungsmethode -- Lösung der Frage von Addison -- Die Erzwingungsbeziehung als Booleschwertige Wahrheitsdefinition -- B-wertige Modelle -- Generische Modelle -- Maximale innere IB-Modelle -- Unabhängigkeit von V=L -- Unabhängigkeit der Kontinuum-Hypothese -- Einbettungssatz für ZF-Modelle -- Unabhängigkeit des Auswahlaxioms |
| Record Nr. | UNISALENTO-991003681799707536 |
|
Jensen, Ronald Bjorn
|
||
| New York : Springer, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Modelle der Mengenlehre : widerspruchsfreiheit und Unabhangigkeit der Kontinuum-Hypothese und des Auswahlaxioms / Ronald Bjorn Jensen ; ausgearbeitet von Franz Josef Leven
| Modelle der Mengenlehre : widerspruchsfreiheit und Unabhangigkeit der Kontinuum-Hypothese und des Auswahlaxioms / Ronald Bjorn Jensen ; ausgearbeitet von Franz Josef Leven |
| Autore | Jensen, Ronald Bjorn |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1967 |
| Descrizione fisica | 176 p. ; 26 cm |
| Disciplina | 511.322 |
| Altri autori (Persone) | Leven, Franz Joseph |
| Collana | Lecture notes in mathematics, 0075-8434 ; 37 |
| Soggetto topico | Set theory |
| Classificazione | AMS 03E |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISALENTO-991001150269707536 |
|
Jensen, Ronald Bjorn
|
||
| Berlin : Springer-Verlag, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
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
| 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 |
| Autore | Jensen, Ronald Bjorn |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
| Descrizione fisica | 174 p. ; 25 cm. |
| Disciplina |
510
511.322 |
| Altri autori (Persone) | Prestel, Alexander |
| Collana | Lecture notes in mathematics, 0075-8434 ; 872 |
| Soggetto topico |
Model theory - Congresses
Set theory - Congresses |
| ISBN | 0387109491 |
| Classificazione | AMS 03C55 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001340099707536 |
|
Jensen, Ronald Bjorn
|
||
| Berlin : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||