Forcing, Arithmetic, Division Rings [electronic resource] /
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.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,
1975
|
Subjects: | Mathematics., Mathematics, general., |
Online Access: | http://dx.doi.org/10.1007/BFb0064082 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:195427 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:1954272018-07-30T23:21:14ZForcing, Arithmetic, Division Rings [electronic resource] / Hirschfeld, Joram. author. Wheeler, William H. author. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,1975.engExistentially 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.Mathematics.Mathematics.Mathematics, general.Springer eBookshttp://dx.doi.org/10.1007/BFb0064082URN:ISBN:9783540374855 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Mathematics. Mathematics. Mathematics, general. Mathematics. Mathematics. Mathematics, general. |
spellingShingle |
Mathematics. Mathematics. Mathematics, general. Mathematics. Mathematics. Mathematics, general. Hirschfeld, Joram. author. Wheeler, William H. author. SpringerLink (Online service) Forcing, Arithmetic, Division Rings [electronic resource] / |
description |
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. |
format |
Texto |
topic_facet |
Mathematics. Mathematics. Mathematics, general. |
author |
Hirschfeld, Joram. author. Wheeler, William H. author. SpringerLink (Online service) |
author_facet |
Hirschfeld, Joram. author. Wheeler, William H. author. SpringerLink (Online service) |
author_sort |
Hirschfeld, Joram. author. |
title |
Forcing, Arithmetic, Division Rings [electronic resource] / |
title_short |
Forcing, Arithmetic, Division Rings [electronic resource] / |
title_full |
Forcing, Arithmetic, Division Rings [electronic resource] / |
title_fullStr |
Forcing, Arithmetic, Division Rings [electronic resource] / |
title_full_unstemmed |
Forcing, Arithmetic, Division Rings [electronic resource] / |
title_sort |
forcing, arithmetic, division rings [electronic resource] / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, |
publishDate |
1975 |
url |
http://dx.doi.org/10.1007/BFb0064082 |
work_keys_str_mv |
AT hirschfeldjoramauthor forcingarithmeticdivisionringselectronicresource AT wheelerwilliamhauthor forcingarithmeticdivisionringselectronicresource AT springerlinkonlineservice forcingarithmeticdivisionringselectronicresource |
_version_ |
1756266740970422272 |