Completing theories by forcing
From MaRDI portal
Publication:5626648
DOI10.1016/0003-4843(70)90008-2zbMath0222.02058OpenAlexW2008907564MaRDI QIDQ5626648
Publication date: 1970
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(70)90008-2
Related Items (45)
The model-theoretic significance of complemented existential formulas ⋮ On countable locally described structures ⋮ FIELDS WITH SEVERAL COMMUTING DERIVATIONS ⋮ Unnamed Item ⋮ Generalized hyperarithmetical computability over structures ⋮ Groupes nilpotents existentiellement clos de classe fixée ⋮ On the notion of algebraic closedness for noncommutative groups and fields ⋮ The model completion of the theory of commutative regular rings ⋮ Countable infinite existentially closed models of universally axiomatizable theories ⋮ Omitting types: application to recursion theory ⋮ On algebraically closed commutative indecomposable rings ⋮ Step by step – Building representations in algebraic logic ⋮ A counterexample in the theory of model companions ⋮ Forcing formulas in Fraïssé structures and classes ⋮ Iterated admissibility through forcing in strategic belief models ⋮ Forcing in Łukasiewicz predicate logic ⋮ Abraham Robinson, 1918-1974 ⋮ A Note on Model Complete Models and Generic Models ⋮ Existentially closed regular commutative semigroups ⋮ The forcing companions of number theories ⋮ Existentially closed structures ⋮ Algebraically closed commutative rings ⋮ Infinite coforcing in model theory ⋮ Omitting quantifier-free types in generic structures ⋮ Algebraically closed groups ⋮ Generic models ⋮ Algebraically closed commutative local rings ⋮ Robinson forcing is not absolute ⋮ Finite forcing, existential types and complete types ⋮ A generalized model companion for a theory of partially ordered fields ⋮ Forcing infinito generalizzato in teoria dei modelli ⋮ Generic models of countable theories ⋮ Model-companions and definability in existentially complete structures ⋮ Model companions and k-model completeness for the complete theories of Boolean algebras ⋮ Algebraically closed semigroups ⋮ Using forcing to prove completeness of resolution and paramodulation ⋮ Wreath Products and Existentially Complete Solvable Groups ⋮ Examples in the theory of existential completeness ⋮ Commutative Regular Rings without Prime Model Extensions ⋮ Inductive theories and their forcing companions ⋮ On algebraic closure and amalgamation of semigroups ⋮ Classifying topoi and finite forcing ⋮ Uncountable extensions of countable algebraically closed semigroups ⋮ Generic expansions of structures ⋮ The word problem for division rings
This page was built for publication: Completing theories by forcing
