Forcing, arithmetic, division rings

Author(s)

• Hirschfeld, Joram
• Wheeler, William H.

Bibliographic Information

Forcing, arithmetic, division rings

Joram Hirschfeld, William H. Wheeler

（Lecture notes in mathematics, 454）

Springer-Verlag, 1975

• : Germany
• : U.S.

Note

Bibliography: p. [253]-259

Includes index

Description and Table of Contents

Table of Contents

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.

by "Nielsen BookData"

Details

• NCID: BA06716075
• ISBN:
  • 3540071571
  • 0387071571
• LCCN: 75012981
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: vii, 266 p.
• Size: 25 cm
• Classification:
  • LCC : QA3
  • LCC : QA9.7
  • DC : 510/.8
  • DC : 511/.8
• Subject Headings:
  • LCSH : Forcing (Model theory)
  • LCSH : Model theory
  • LCSH : Division rings
• Parent Bibliography ID:
  • BA00146586