Forcing, arithmetic, division rings

zbMath0304.02024MaRDI QIDQ1216298

William H. Wheeler, Joram Hirschfeld

Publication date: 1975

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (82)

Existentially closed L\({\mathfrak X}\)-groups ⋮ Existentially closed locally finite p-groups ⋮ Modal logic and model theory ⋮ Existentially closed torsion-free nilpotent groups of class three ⋮ Prime e.c. commutative rings in characteristic n ≥ 2 ⋮ Kripke submodels and universal sentences ⋮ 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)\) ⋮ Duality, non-standard elements, and dynamic properties of r.e. sets ⋮ On countable locally described structures ⋮ Existentially closed locally FC-groups ⋮ Ideals in the multiplication algebra of a non-associative K-algebra ⋮ Amalgamation and Elimination of Quantifiers for Theories of Fields ⋮ Embeddings of and into Nerode semirings ⋮ Existentiell abgeschlossene Sylowturmgruppen. (Existentially closed Sylow tower groups) ⋮ EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC ⋮ Unnamed Item ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ Periodic existentially closed nilpotent groups ⋮ Overspill and fragments of arithmetic ⋮ Existentially closed central extensions of locally finite p-groups ⋮ Model completions and omitting types ⋮ Groupes nilpotents existentiellement clos de classe fixée ⋮ \(\Delta_{1}\) ultrapowers are totally rigid ⋮ Existentially closed locally cofinite groups ⋮ $C(\beta\mathbb{N}\setminus\mathbb{N})$ among the Archimedean $\ell$-groups with strong unit ⋮ More on generic dimension groups ⋮ ON COHESIVE POWERS OF LINEAR ORDERS ⋮ Bowtie‐free graphs and generic automorphisms ⋮ Model-theoretic aspects of unification ⋮ Existentially complete lattice-ordered groups ⋮ Examples of highly transitive permutation groups ⋮ Existentially Complete Abelian Lattice-Ordered Groups ⋮ The Lattice of Computably Enumerable Vector Spaces ⋮ Independence results in computer science? ⋮ Existenziell abgeschlossene lokal endliche p-Gruppen ⋮ Second order arithmetic as the model companion of set theory ⋮ Finitely Generic Abelian Lattice-Ordered Groups ⋮ Infinite groups ⋮ Existentially closed linear groups ⋮ Existentially closed models via constructible sets: There are 2^ℵ0 existentially closed pairwise non elementarily equivalent existentially closed ordered groups ⋮ Forcing in Łukasiewicz predicate logic ⋮ Existentially closed closure algebras ⋮ Eight problems about Nerode semirings (recursive ultrapowers) ⋮ On co-simple isols and their intersection types ⋮ Some observations on the substructure lattice of a Δ1 ultrapower ⋮ Partially definable forcing and bounded arithmetic ⋮ Unnamed Item ⋮ A note on Σ₁-maximal models ⋮ Sub-arithmetical ultrapowers: A survey ⋮ R.e. Prime powers and total rigidity ⋮ 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 ⋮ Finite forcing, existential types and complete types ⋮ Forcing infinito generalizzato in teoria dei modelli ⋮ Recursive Fibers of RST Isols ⋮ A characterization of companionable, universal theories ⋮ Existentially closed ${\rm II}_1$ factors ⋮ Model-companions and definability in existentially complete structures ⋮ INDEPENDENCE IN GENERIC INCIDENCE STRUCTURES ⋮ Interpreting number theory in nilpotent groups ⋮ Infinite forcing and the generic multiverse ⋮ A note on ℵ0-categorical model-companions ⋮ Examples in the theory of existential completeness ⋮ On nilpotent groups on exponent p ⋮ On the simplicity of the multiplicative group of an existentially closed skew field ⋮ Algebraically closed distributive p-algebras ⋮ Universal graphs with forbidden subgraphs and algebraic closure ⋮ On algebraic closure and amalgamation of semigroups ⋮ Algebraically complete lattices ⋮ Classifying topoi and finite forcing ⋮ On existentially closed and generic nilpotent groups ⋮ HNN-extensions of algebras and applications ⋮ Amalgamation of pure embeddings ⋮ Combinatorial extensions of radical, nil, and locally nilpotent algebras ⋮ Model-theoretic and algorithmic questions in group theory ⋮ Generic pairs of SU-rank 1 structures ⋮ Amalgamation in small varieties of lattices ⋮ Countable existentially closed locally FC-groups ⋮ Existentially Incomplete Tame Models and a Conjecture of Ellentuck ⋮ Existentially closed groups in locally finite group classes

This page was built for publication: Forcing, arithmetic, division rings