Philosophy and Model Theory

DOI10.1093/oso/9780198790396.001.0001zbMath1384.03001OpenAlexW2794786258MaRDI QIDQ4610152

Tim Button, Sean Walsh

Publication date: 5 April 2018

Full work available at URL: https://discovery.ucl.ac.uk/id/eprint/10137288/

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Applications of model theory (03C98)

Related Items (28)

LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS ⋮ LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY ⋮ AGAINST CUMULATIVE TYPE THEORY ⋮ LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS ⋮ THE POTENTIAL IN FREGE’S THEOREM ⋮ Fibered universal algebra for first-order logics ⋮ STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L ⋮ RAMSIFICATION AND SEMANTIC INDETERMINACY ⋮ Internal categoricity, truth and determinacy ⋮ Set theory and the analyst ⋮ Conceptual orthospaces -- convexity meets negation ⋮ ON MORITA EQUIVALENCE AND INTERPRETABILITY ⋮ Hierarchical multiverse of sets ⋮ Troubles with the Canberra plan ⋮ A step towards absolute versions of metamathematical results ⋮ Boolean valued models, Boolean valuations, and Löwenheim-Skolem theorems ⋮ Bicontextualism ⋮ Reflective mereology ⋮ Logic as a methodological discipline ⋮ INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S GEOMETRY IN THE SENSIBLE WORLD ⋮ Andrzej Mostowski and the Notion of a Model ⋮ The Thomsen-Bachmann correspondence in metric geometry. I ⋮ The Thomsen-Bachmann correspondence in metric geometry. II ⋮ On the virtue of categoricity ⋮ Grounding, quantifiers, and paradoxes ⋮ A.D. Taimanov and model theory in Kazakhstan ⋮ Rescuing implicit definition from abstractionism ⋮ Structural relativity and informal rigour

This page was built for publication: Philosophy and Model Theory