×

Forcing, arithmetic, division rings. (English) Zbl 0304.02024

Lecture Notes in Mathematics. 454. Berlin-Heidelberg-New York: Springer-Verlag. VII, 266 p. DM 25.00 (1975).

MSC:

03C60 Model-theoretic algebra
03C68 Other classical first-order model theory
03E35 Consistency and independence results
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
16-02 Research exposition (monographs, survey articles) pertaining to associative rings and algebras
16Kxx Division rings and semisimple Artin rings
16S10 Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.)
14A99 Foundations of algebraic geometry
03D80 Applications of computability and recursion theory