Model Theory and Algebra

A Memorial Tribute to Abraham Robinson
Herausgegeben:Saracino, D. H.; Weispfennig, V. B.

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Mathematics 498
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-07538-7
• 1975.
• Seitenzahl: 480
• Erscheinungstermin: 1. Dezember 1975
• Englisch
• Abmessung: 235mm x 155mm x 26mm
• Gewicht: 750g
• ISBN-13: 9783540075387
• ISBN-10: 3540075380
• Artikelnr.: 23575257

Inhaltsangabe

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.