Forcing, arithmetic, division rings
From MaRDI portal
Publication:1216298
zbMath0304.02024MaRDI QIDQ1216298
Joram Hirschfeld, William H. Wheeler
Publication date: 1975
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
16S10: Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.)
03C60: Model-theoretic algebra
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03E35: Consistency and independence results
03D80: Applications of computability and recursion theory
14A99: Foundations of algebraic geometry
03C68: Other classical first-order model theory
16-02: Research exposition (monographs, survey articles) pertaining to associative rings and algebras
16Kxx: Division rings and semisimple Artin rings
Related Items
Prime e.c. commutative rings in characteristic n ≥ 2, Existentially closed locally FC-groups, Ideals in the multiplication algebra of a non-associative K-algebra, Unnamed Item, Model completions and omitting types, Existentially closed models via constructible sets: There are 2ℵ0 existentially closed pairwise non elementarily equivalent existentially closed ordered groups, Kripke submodels and universal sentences, A note on Σ1-maximal models, On algebraic closure and amalgamation of semigroups, Algebraically complete lattices, On existentially closed and generic nilpotent groups, Amalgamation of pure embeddings, Amalgamation in small varieties of lattices, Countable existentially closed locally FC-groups, \(\Delta_{1}\) ultrapowers are totally rigid, Forcing in Łukasiewicz predicate logic, Classifying topoi and finite forcing, Combinatorial extensions of radical, nil, and locally nilpotent algebras, Model-theoretic and algorithmic questions in group theory, Existentially closed L\({\mathfrak X}\)-groups, Existentially closed locally finite p-groups, Modal logic and model theory, Die Automorphismengruppe der abzählbaren, existentiell abgeschlossenen \({\mathcal P}_ A\)-Gruppe \(E_ A\). (The automorphism group of the countable existentially closed \({\mathcal P}_ A\)-group \(E_ A)\), On countable locally described structures, Embeddings of and into Nerode semirings, Existentiell abgeschlossene Sylowturmgruppen. (Existentially closed Sylow tower groups), Periodic existentially closed nilpotent groups, Overspill and fragments of arithmetic, Existentially complete lattice-ordered groups, Examples of highly transitive permutation groups, Independence results in computer science?, Existenziell abgeschlossene lokal endliche p-Gruppen, Infinite groups, Existentially closed linear groups, Eight problems about Nerode semirings (recursive ultrapowers), On co-simple isols and their intersection types, Each regular number structure is biregular, Correction to: Each regular number structure is biregular, Existentially closed structures and Jensen's principle \(\diamond\), Robinson forcing is not absolute, Forcing infinito generalizzato in teoria dei modelli, Model-companions and definability in existentially complete structures, On the simplicity of the multiplicative group of an existentially closed skew field, Universal graphs with forbidden subgraphs and algebraic closure, On nilpotent groups on exponent p, Algebraically closed distributive p-algebras, Generic pairs of SU-rank 1 structures, Sub-arithmetical ultrapowers: A survey, Groupes nilpotents existentiellement clos de classe fixée, European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988, Unnamed Item, HNN-extensions of algebras and applications, Existentially closed groups in locally finite group classes, Existentially closed torsion-free nilpotent groups of class three, Existentially closed central extensions of locally finite p-groups, Finitely Generic Abelian Lattice-Ordered Groups, Finite forcing, existential types and complete types, Interpreting number theory in nilpotent groups, Amalgamation and Elimination of Quantifiers for Theories of Fields, Existentially closed locally cofinite groups, Existentially Complete Abelian Lattice-Ordered Groups, Recursive Fibers of RST Isols, A characterization of companionable, universal theories, A note on ℵ0-categorical model-companions, Examples in the theory of existential completeness, Existentially Incomplete Tame Models and a Conjecture of Ellentuck
