Completing theories by forcing
From MaRDI portal
Cited in
(46)- Classifying topoi and finite forcing
- Uncountable extensions of countable algebraically closed semigroups
- On countable locally described structures
- On algebraically closed commutative indecomposable rings
- Existentially closed regular commutative semigroups
- The forcing companions of number theories
- Infinite coforcing in model theory
- Algebraically closed groups
- Generic models
- Robinson forcing is not absolute
- Forcing infinito generalizzato in teoria dei modelli
- Generic models of countable theories
- Model-companions and definability in existentially complete structures
- Algebraically closed semigroups
- The model completion of the theory of commutative regular rings
- Forcing formulas in Fraïssé structures and classes
- Iterated admissibility through forcing in strategic belief models
- Generalized hyperarithmetical computability over structures
- Inductive theories and their forcing companions
- Fields with several commuting derivations
- Countable infinite existentially closed models of universally axiomatizable theories
- Groupes nilpotents existentiellement clos de classe fixée
- Algebraically closed commutative local rings
- Finite forcing, existential types and complete types
- A generalized model companion for a theory of partially ordered fields
- Model companions and k-model completeness for the complete theories of Boolean algebras
- The model-theoretic significance of complemented existential formulas
- A counterexample in the theory of model companions
- Commutative Regular Rings without Prime Model Extensions
- Wreath Products and Existentially Complete Solvable Groups
- Abraham Robinson, 1918-1974
- Examples in the theory of existential completeness
- Step by step – Building representations in algebraic logic
- Existentially closed structures
- scientific article; zbMATH DE number 203220 (Why is no real title available?)
- Generic expansions of structures
- The word problem for division rings
- Algebraically closed commutative rings
- Omitting quantifier-free types in generic structures
- On the notion of algebraic closedness for noncommutative groups and fields
- Omitting types: application to recursion theory
- A Note on Model Complete Models and Generic Models
- Forcing with invariant measures
- Using forcing to prove completeness of resolution and paramodulation
- On algebraic closure and amalgamation of semigroups
- Forcing in Łukasiewicz predicate logic
This page was built for publication: Completing theories by forcing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5626648)
