scientific article
From MaRDI portal
Publication:3098780
zbMath1226.03042MaRDI QIDQ3098780
Publication date: 18 November 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
2-person games (91A05) Model-theoretic algebra (03C60) Nilpotent groups (20F18) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75) Model-theoretic forcing (03C25)
Related Items (8)
Algebraically closed and existentially closed abelian lattice-ordered groups ⋮ Omitting types in logic of metric structures ⋮ Generic algebraic properties in spaces of enumerated groups ⋮ \(l\)-groups \(C(X)\) in continuous logic ⋮ Existentially closed ${\rm II}_1$ factors ⋮ On the correspondence between arithmetic theories and propositional proof systems – a survey ⋮ Model theory of 𝐶*-algebras ⋮ The Connes embedding problem: A guided tour
This page was built for publication:
