The following pages link to Philosophy and Model Theory (Q4610152):
Displaying 30 items.
- The Thomsen-Bachmann correspondence in metric geometry. I (Q669609) (← links)
- The Thomsen-Bachmann correspondence in metric geometry. II (Q669614) (← links)
- On the virtue of categoricity (Q1981999) (← links)
- Grounding, quantifiers, and paradoxes (Q2056222) (← links)
- Rescuing implicit definition from abstractionism (Q2080582) (← links)
- Structural relativity and informal rigour (Q2080583) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- Set theory and the analyst (Q2419681) (← links)
- Andrzej Mostowski and the Notion of a Model (Q4611699) (← links)
- Proofs and Models in Philosophical Logic (Q5021146) (← links)
- LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS (Q5037520) (← links)
- LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY (Q5037521) (← links)
- AGAINST CUMULATIVE TYPE THEORY (Q5046602) (← links)
- LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS (Q5067870) (← links)
- ON MORITA EQUIVALENCE AND INTERPRETABILITY (Q5107539) (← links)
- THE POTENTIAL IN FREGE’S THEOREM (Q6045102) (← links)
- Fibered universal algebra for first-order logics (Q6051097) (← links)
- STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-<i>L</i> (Q6051424) (← links)
- RAMSIFICATION AND SEMANTIC INDETERMINACY (Q6051427) (← links)
- Internal categoricity, truth and determinacy (Q6054059) (← links)
- Conceptual orthospaces -- convexity meets negation (Q6066848) (← links)
- Troubles with the Canberra plan (Q6142491) (← links)
- A step towards absolute versions of metamathematical results (Q6150669) (← links)
- Boolean valued models, Boolean valuations, and Löwenheim-Skolem theorems (Q6150671) (← links)
- Bicontextualism (Q6158340) (← links)
- Reflective mereology (Q6166131) (← links)
- Logic as a methodological discipline (Q6187749) (← links)
- INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S <i>GEOMETRY IN THE SENSIBLE WORLD</i> (Q6188336) (← links)
- How to count structure (Q6495241) (← links)
- Beyond linguistic interpretation in theory comparison (Q6638236) (← links)
