scientific article; zbMATH DE number 3192066
From MaRDI portal
Publication:5728445
zbMath0118.01501MaRDI QIDQ5728445
Publication date: 1961
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (39)
Isomorphic limit ultrapowers for infinitary logic ⋮ Nonstandard arithmetic ⋮ On a generalization of a theorem of E. W. Beth ⋮ On Automorphisms of Polyadic Algebras ⋮ Categoricity in Power ⋮ CONTINUOUS SENTENCES PRESERVED UNDER REDUCED PRODUCTS ⋮ On cardinalities of ultraproducts ⋮ 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 ⋮ Existence of optimal ultrafilters and the fundamental complexity of simple theories ⋮ Reduced Products and Horn Classes ⋮ An Application of Valuation Theory to Rings of Continuous Real and Complex-Valued Functions ⋮ Model theories with truth values in a uniform space ⋮ Tilting modules arising from ring epimorphisms. ⋮ Monads of Infinite Points and Finite Product Spaces ⋮ Saturation and omitting types ⋮ One dimensional tilting modules are of finite type. ⋮ Elementary equivalence of linear groups over rings with a finite number of central idempotents and over Boolean rings. ⋮ Game sentences and ultrapowers ⋮ Models of complete theories ⋮ Adequate Ultrafilters of Special Boolean Algebras ⋮ Operations on elementary classes of groups ⋮ Ultraproducts and elementary types of some groups related to infinite symmetric groups ⋮ A semigroup of theories and its lattice of idempotent elements ⋮ On structures defined by mapping filters ⋮ Recursive axiomatizations for representable posets ⋮ A.D. Taimanov and model theory in Kazakhstan ⋮ Limit Ultrapowers ⋮ The Craig interpolation theorem in abstract model theory ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Every two elementarily equivalent models have isomorphic ultrapowers ⋮ Problems of the theory of models, related to categoricity ⋮ Isomorphisms and elementary equivalence of Chevalley groups over commutative rings ⋮ RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES ⋮ Saturated models of incomplete theories ⋮ A portrait of Alfred Tarski ⋮ Reduced products, Horn sentences, and decision problems
This page was built for publication:
