scientific article; zbMATH DE number 3192066

Cited in

(44)

The Craig interpolation theorem in abstract model theory
Game sentences and ultrapowers
Operations on elementary classes of groups
Ultraproducts and elementary types of some groups related to infinite symmetric groups
Key notions of Tarski's methodology of deductive systems
A semigroup of theories and its lattice of idempotent elements
Isomorphic limit ultrapowers for infinitary logic
Elementary equivalence of linear groups over rings with a finite number of central idempotents and over Boolean rings.
A.D. Taimanov and model theory in Kazakhstan
One dimensional tilting modules are of finite type.
On structures defined by mapping filters
Every two elementarily equivalent models have isomorphic ultrapowers
Problems of the theory of models, related to categoricity
Model theories with truth values in a uniform space
Models of complete theories
Saturation and omitting types
Saturated models of incomplete theories
Recursive axiomatizations for representable posets
Recursive axiomatisations from separation properties
CONTINUOUS SENTENCES PRESERVED UNDER REDUCED PRODUCTS
Isomorphisms and elementary equivalence of Chevalley groups over commutative rings
On cardinalities of ultraproducts
On Automorphisms of Polyadic Algebras
Categoricity in Power
Reduced products, Horn sentences, and decision problems
Nonstandard arithmetic
Reduced Products and Horn Classes
On a generalization of a theorem of E. W. Beth
An Application of Valuation Theory to Rings of Continuous Real and Complex-Valued Functions
Monads of Infinite Points and Finite Product Spaces
Adequate Ultrafilters of Special Boolean Algebras
Limit Ultrapowers
The Keisler–Shelah isomorphism theorem and the continuum hypothesis
The Keisler-Shelah isomorphism theorem and the continuum hypothesis. II
Universal algebraic methods for non-classical logics
Regular bi-interpretability of Chevalley groups over local rings
Tilting modules arising from ring epimorphisms.
Elementary equivalence of stable linear groups over fields of characteristic 2
Elementary equivalence in positive logic via prime products
On absorption's formula definable semigroups of complete theories
On the isomorphism problem for ultraproducts of \(\mathrm{C}^*\)-algebras in continuous model theory
On the model theory of second-order objects
A portrait of Alfred Tarski
Existence of optimal ultrafilters and the fundamental complexity of simple theories

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5728445)