From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory

DOI10.1007/978-3-319-63334-3_1zbMath1429.03005OpenAlexW2794509003MaRDI QIDQ5214779

Wilfrid Hodges

Publication date: 5 February 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-63334-3_1

zbMATH Keywords

model theoryinterpolation theoremFeferman-Vaught theoremSolomon Feferman

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Interpolation, preservation, definability (03C40)

Related Items

Andrzej Mostowski and the Notion of a Model

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some supplements to Feferman-Vaught related to the model theory of adeles
• Tarski's conception of logic
• Algorithmic uses of the Feferman-Vaught theorem
• An interpolation theorem in the predicate calculus
• Properties preserved under homomorphism
• Set-theoretical invariance criteria for logicality
• Harmonious logic: Craig's interpolation theorem and its descendants
• A model theoretic proof of Feferman's preservation theorem
• An Interpolation Theorem
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• The first order properties of products of algebraic systems
• Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion
• A Fortuitous Year with Leon Henkin
• Automorphisms of Bounded Abelian Groups
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
• A new look at the interpolation problem
• Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable
• LTL-Model-Checking via Model Composition
• Persistent and invariant formulas relative to theories of higher order
• On direct products of theories
• On the extending of models (I)
• Logic, logics, and logicism