Forcing, arithmetic, division rings
From MaRDI portal
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model-theoretic algebra (03C60) Other classical first-order model theory (03C68) Applications of computability and recursion theory (03D80) Consistency and independence results (03E35) Foundations of algebraic geometry (14A99) Research exposition (monographs, survey articles) pertaining to associative rings and algebras (16-02) Division rings and semisimple Artin rings (16Kxx) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10)
Cited in
(84)- 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
- 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
- Existentially closed closure algebras
- Partially definable forcing and bounded arithmetic
- Sub-arithmetical ultrapowers: A survey
- R.e. Prime powers and total rigidity
- Infinite forcing and the generic multiverse
- Duality, non-standard elements, and dynamic properties of r.e. sets
- Second order arithmetic as the model companion of set theory
- Existentially closed \(\mathrm{ II}_1\) factors
- The Lattice of Computably Enumerable Vector Spaces
- Existentially closed models in the framework of arithmetic
- Groupes nilpotents existentiellement clos de classe fixée
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- Some observations on the substructure lattice of a _1 ultrapower
- Finitely Generic Abelian Lattice-Ordered Groups
- HNN-extensions of algebras and applications
- scientific article; zbMATH DE number 3916259 (Why is no real title available?)
- 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
- Finite forcing, existential types and complete types
- Amalgamation and Elimination of Quantifiers for Theories of Fields
- Interpreting number theory in nilpotent groups
- Existentially Complete Abelian Lattice-Ordered Groups
- Existentially closed locally cofinite 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
- 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
- scientific article; zbMATH DE number 203220 (Why is no real title available?)
- 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
- Independence in generic incidence structures
- Kripke submodels and universal sentences
- A note on Σ1-maximal models
- $C(\beta\mathbb{N}\setminus\mathbb{N})$ among the Archimedean $\ell$-groups with strong unit
- ON COHESIVE POWERS OF LINEAR ORDERS
- Bowtie‐free graphs and generic automorphisms
- Model-theoretic aspects of unification
- Cohesive powers of structures
- Forcing with invariant measures
- 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
- More on generic dimension groups
- Forcing in Łukasiewicz predicate logic
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)
