Forcing, arithmetic, division rings / / J. Hirschfeld, W. H. Wheeler
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Hirschfeld J.
|
| Titolo: |
Forcing, arithmetic, division rings / / J. Hirschfeld, W. H. Wheeler
|
| Pubblicazione: | Berlin : , : Springer, , [1975] |
| ©1975 | |
| Edizione: | 1st ed. 1975. |
| Descrizione fisica: | 1 online resource (VII, 266 p.) |
| Disciplina: | 372.7 |
| Soggetto topico: | Arithmetic - Study and teaching |
| Model theory | |
| Persona (resp. second.): | WheelerW. H. |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di contenuto: | Existentially complete structures and existentially universal structures -- Model-completions and model-companions -- Infinite forcing in model theory -- Approximating chains for -- Finite forcing in model theory -- Axiomatizations -- Forcing and recursion theory -- Existentially complete models -- Simple models and R.E. ultrapowers -- Regular models -- Regular models and second order models for arithmetic -- Generic models and the analytic hierarchy -- Applications to complete extensions of peano's arithmetic -- Existentially complete division rings -- Nullstellensatz -- Classes of existentially complete division algebras. |
| Titolo autorizzato: | Forcing, arithmetic, division rings |
| ISBN: | 3-540-37485-X |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466863703316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Mathematics, . 0075-8434 ; ; 454