scientific article; zbMATH DE number 3532912
From MaRDI portal
Publication:4109641
zbMath0342.02007MaRDI QIDQ4109641
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model theory (03C99) Classical first-order logic (03B10) Other infinitary logic (03C75) Other classical first-order model theory (03C68)
Related Items (15)
A further glance at classifiable 1-ary functions ⋮ On the Ehrenfeucht-Fraïssé game in theoretical computer science ⋮ Elementary extensions of topological models in \(L_ t\) language ⋮ A Lindström theorem for intuitionistic propositional logic ⋮ A Lindström theorem for intuitionistic first-order logic ⋮ MAXIMALITY OF LOGIC WITHOUT IDENTITY ⋮ A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes ⋮ Existentially closed linear groups ⋮ Lindström theorems in graded model theory ⋮ Some model theory for monotone quantifiers ⋮ On the elementary theory of inductive order ⋮ On simplicity of formulas ⋮ The model-theoretic structure of Abelian group rings ⋮ A unifying approach to theorems on preservation and interpolation for binary relations between structures ⋮ Positive results in abstract model theory: a theory of compact logics
This page was built for publication:
