Forcing, arithmetic, division rings
From MaRDI portal
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model-theoretic algebra (03C60) Consistency and independence results (03E35) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10) 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)
Cited in
(83)- Existentially closed locally finite p-groups
- Correction to: Each regular number structure is biregular
- Each regular number structure is biregular
- Finitely Generic Abelian Lattice-Ordered Groups
- Kripke submodels and universal sentences
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- Independence in generic incidence structures
- Existentially Complete Abelian Lattice-Ordered Groups
- Forcing infinito generalizzato in teoria dei modelli
- Robinson forcing is not absolute
- On countable locally described structures
- Embeddings of and into Nerode semirings
- Existentiell abgeschlossene Sylowturmgruppen. (Existentially closed Sylow tower groups)
- 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)\)
- Existentially Incomplete Tame Models and a Conjecture of Ellentuck
- Cohesive powers of structures
- Generic pairs of SU-rank 1 structures
- Model-companions and definability in existentially complete structures
- Infinite forcing and the generic multiverse
- Prime e.c. commutative rings in characteristic n ≥ 2
- Recursive Fibers of RST Isols
- $C(\beta\mathbb{N}\setminus\mathbb{N})$ among the Archimedean $\ell$-groups with strong unit
- Partially definable forcing and bounded arithmetic
- On the simplicity of the multiplicative group of an existentially closed skew field
- Existentially closed L\({\mathfrak X}\)-groups
- HNN-extensions of algebras and applications
- Model completions and omitting types
- Existentially closed central extensions of locally finite p-groups
- Model-theoretic and algorithmic questions in group theory
- Some observations on the substructure lattice of a \(\Delta_1\) ultrapower
- Finite forcing, existential types and complete types
- Amalgamation and Elimination of Quantifiers for Theories of Fields
- On nilpotent groups on exponent p
- More on generic dimension groups
- A characterization of companionable, universal theories
- A note on ℵ0-categorical model-companions
- Existentially closed closure algebras
- \(\Delta_{1}\) ultrapowers are totally rigid
- Interpreting number theory in nilpotent groups
- ON COHESIVE POWERS OF LINEAR ORDERS
- Algebraically complete lattices
- Infinite groups
- Existentially closed groups in locally finite group classes
- Existentially closed models in the framework of arithmetic
- Existentially complete lattice-ordered groups
- R.e. Prime powers and total rigidity
- Existentially closed locally cofinite groups
- The Lattice of Computably Enumerable Vector Spaces
- Existentially closed torsion-free nilpotent groups of class three
- Existentially closed models via constructible sets: There are 2ℵ0 existentially closed pairwise non elementarily equivalent existentially closed ordered groups
- Existentially closed locally FC-groups
- Classifying topoi and finite forcing
- scientific article; zbMATH DE number 3916259 (Why is no real title available?)
- Overspill and fragments of arithmetic
- scientific article; zbMATH DE number 203220 (Why is no real title available?)
- Duality, non-standard elements, and dynamic properties of r.e. sets
- Universal graphs with forbidden subgraphs and algebraic closure
- On co-simple isols and their intersection types
- Bowtie‐free graphs and generic automorphisms
- On algebraic closure and amalgamation of semigroups
- Eight problems about Nerode semirings (recursive ultrapowers)
- Model-theoretic aspects of unification
- Existentially closed \(\mathrm{ II}_1\) factors
- A note on Σ1-maximal models
- Existentially closed linear groups
- Sub-arithmetical ultrapowers: A survey
- Examples in the theory of existential completeness
- Existentially closed structures and Jensen's principle
- Periodic existentially closed nilpotent groups
- On existentially closed and generic nilpotent groups
- Amalgamation of pure embeddings
- Combinatorial extensions of radical, nil, and locally nilpotent algebras
- Amalgamation in small varieties of lattices
- Second order arithmetic as the model companion of set theory
- Examples of highly transitive permutation groups
- Existenziell abgeschlossene lokal endliche p-Gruppen
- Independence results in computer science?
- Groupes nilpotents existentiellement clos de classe fixée
- Countable existentially closed locally FC-groups
- Forcing in Łukasiewicz predicate logic
- Modal logic and model theory
- Ideals in the multiplication algebra of a non-associative K-algebra
- Algebraically closed distributive p-algebras
This page was built for publication: Forcing, arithmetic, division rings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1216298)
