TitleModel Theory and Algebra [electronic resource] : A Memorial Tribute to Abraham Robinson / edited by Daniel H. Saracino, Volker B. Weispfenning
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1975
Connect tohttp://dx.doi.org/10.1007/BFb0080972
Descript X, 466 p. online resource

CONTENT

On recursively saturated models of arithmetic -- A note on existentially complete division rings -- Ideals of integers in nonstandard number fields -- Categories of local functors -- Impredicativity of the existence of the largest divisible subgroup of an Abelian p-group -- Elementary equivalence classes of generic structures and existentially complete structures -- The number of equivalence classes of existentially complete structures -- Finite forcing and generic filters in arithmetic -- Dense embeddings I: A theorem of Robinson in a general setting -- New facts about Hilbert's seventeenth problem -- Nonstandard aspects of Hilbert's irreducibility theorem -- Projective model theory and coforcing -- On algebraic curves over commutative regular rings -- Existence of rigid-like families of Abelian p-groups -- The complexity of Tf and omitting types in FT -- Model-completeness and skolem expansions


SUBJECT

  1. Mathematics
  2. Algebra
  3. Mathematics
  4. Algebra