scientific article
From MaRDI portal
zbMath0569.03015MaRDI QIDQ3686704
Publication date: 1985
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
Generic expansions of ω-categorical structures and semantics of generalized quantifiers, Existentially closed models of the theory of artinian local rings, Prime e.c. commutative rings in characteristic n ≥ 2, Unnamed Item, On CT and CSA groups and related ideas, A game-theoretic equivalence to the Hahn-Banach theorem, Amalgamation of locally finite p-groups over a countable FC-group, Existentially closed \(\mathrm{W}^*\)-probability spaces, Observations about Scott and Karp trees, $C(\beta\mathbb{N}\setminus\mathbb{N})$ among the Archimedean $\ell$-groups with strong unit, More on generic dimension groups, Weak Fraisse categories, Step by step – Building representations in algebraic logic, Omega-categoricity, relative categoricity and coordinatisation, Universell axiomatisierbare Klassen von Fastkörpern. (Universally axiomatizable classes of near-fields), The model-theoretic approach to aggregation: impossibility results for finite and infinite electorates, From “Metabelian ℚ-Vector Spaces” to New ω-Stable Groups, Gδ‐pieces of canonical partitions of G‐spaces, The complexity of recursion theoretic games, Existentially closed dimension groups, Polish group actions, nice topologies, and admissible sets, The finitely axiomatizable complete theories of non-associative arrow frames, AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS, Model theory of the regularity and reflection schemes, Games with finitely generated structures, ENFORCEABLE OPERATOR ALGEBRAS, Existentially closed closure algebras, Game-theoretic characterization of the Gurarii space, Models with second order properties. V: A general principle, Magidor-Malitz reflection, Generic expansions of countable models, Partially definable forcing and bounded arithmetic, LOGICS AND ALGEBRAS FOR MULTIPLE PLAYERS, Existentially closed exponential fields, Sub-arithmetical ultrapowers: A survey, Coinductive ℵ0-categorical theories, Notions of relative ubiquity for invariant sets of relational structures, SPACES OF TYPES IN POSITIVE MODEL THEORY, Infinite forcing and the generic multiverse, On nilpotent groups on exponent p, Factorial relative commutants and the generalized Jung property for \(\mathrm{II}_1\) factors, A characterization of retracts in certain Fraïssé limits, Strongly determined types, Finite games for a predicate logic without contractions
