Bases for structures and theories II.

DOI10.1007/s11787-020-00261-2zbMath1485.03081OpenAlexW4241373515MaRDI QIDQ2228350

Jeffrey Ketland

Publication date: 17 February 2021

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-020-00261-2

zbMATH Keywords

definabilitytheoriesdefinitional equivalence

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Abstract model theory (03C95)

Cites Work

• The distance between constituents
• Bases for structures and theories. I.
• POPPER'S QUALITATIVE THEORY OF VERISIMILITUDE
• Mutual definability does not imply definitional equivalence, a simple example

This page was built for publication: Bases for structures and theories II.