Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable

DOI10.4064/fm-89-2-111-130zbMath0335.02034OpenAlexW777133687MaRDI QIDQ4101813

Solomon Feferman

Publication date: 1975

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/214839

Mathematics Subject Classification ID

Model theory (03C99) Other classical first-order model theory (03C68)

Related Items

Remarks in abstract model theory, A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes, Inner models from extended logics: Part 1, From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory, Harmonious logic: Craig's interpolation theorem and its descendants, The Craig interpolation theorem in abstract model theory