Philosophy and model theory
From MaRDI portal
Publication:4610152
DOI10.1093/OSO/9780198790396.001.0001zbMATH Open1384.03001OpenAlexW2794786258MaRDI QIDQ4610152FDOQ4610152
Authors: Tim Button, Sean Walsh
Publication date: 5 April 2018
Full work available at URL: https://discovery.ucl.ac.uk/id/eprint/10137288/
Recommendations
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophy of mathematics (00A30) Applications of model theory (03C98)
Cited In (31)
- Troubles with the Canberra plan
- A step towards absolute versions of metamathematical results
- Boolean valued models, Boolean valuations, and Löwenheim-Skolem theorems
- Bicontextualism
- LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS
- THE POTENTIAL IN FREGE’S THEOREM
- Conceptual orthospaces -- convexity meets negation
- Fibered universal algebra for first-order logics
- STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L
- Set theory and the analyst
- RAMSIFICATION AND SEMANTIC INDETERMINACY
- Reflective mereology
- Proofs and Models in Philosophical Logic
- 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
- LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY
- LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS
- Grounding, quantifiers, and paradoxes
- Beyond linguistic interpretation in theory comparison
- On Morita equivalence and interpretability
- AGAINST CUMULATIVE TYPE THEORY
- How to count structure
- Internal categoricity, truth and determinacy
- A.D. Taimanov and model theory in Kazakhstan
- Rescuing implicit definition from abstractionism
- Structural relativity and informal rigour
- The Thomsen-Bachmann correspondence in metric geometry. I
- The Thomsen-Bachmann correspondence in metric geometry. II
- Hierarchical multiverse of sets
- On the virtue of categoricity
This page was built for publication: Philosophy and model theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4610152)