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.

Saved in:
Bibliographic Details
Main Authors: Hirschfeld, Joram. author., Wheeler, William H. author., SpringerLink (Online service)
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