scientific article; zbMATH DE number 3532912

MaRDI QIDQ4109641zbMATH OpenFDO

Authors Jörg Flum

Publication date 1975

Mathematics Subject Classification ID

Classical first-order logic (03B10) Other classical first-order model theory (03C68) Other infinitary logic (03C75) Model theory (03C99)

Cited in

(15)

• Elementary extensions of topological models in \(L_ t\) language
• A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes
• Existentially closed linear groups
• A further glance at classifiable 1-ary functions
• A Lindström theorem for intuitionistic propositional logic
• Lindström theorems in graded model theory
• A unifying approach to theorems on preservation and interpolation for binary relations between structures
• Some model theory for monotone quantifiers
• On the elementary theory of inductive order
• On the Ehrenfeucht-Fraïssé game in theoretical computer science (extended abstract)
• A Lindström theorem for intuitionistic first-order logic
• MAXIMALITY OF LOGIC WITHOUT IDENTITY
• On simplicity of formulas
• The model-theoretic structure of Abelian group rings
• Positive results in abstract model theory: a theory of compact logics

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 Q4109641)