Andrzej Mostowski and the Notion of a Model

DOI10.1007/978-3-319-65430-0_46OpenAlexW2808716508MaRDI QIDQ4611699

Wilfrid Hodges

Publication date: 21 January 2019

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-65430-0_46

zbMATH Keywords

TarskimetamathematicsmodelinterpretationAbraham RobinsonMostowski

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Cites Work

• What languages have Tarski truth definitions?
• Complete theories
• Some methodological investigations on the definability of concepts
• The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
• Undecidable theories
• Models of axiomatic theories admitting automorphisms
• Concerning a problem of H. Scholz
• On a generalization of quantifiers
• The first order properties of products of algebraic systems
• A Fortuitous Year with Leon Henkin
• Philosophy and Model Theory
• The Discovery of My Completeness Proofs
• Fifty years of the spectrum problem: survey and new results
• From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory
• On absolute properties of relations
• On direct products of theories
• Some Interconnections Between Modern Algebra and Mathematical Logic
• Models of axiomatic systems
• 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