The following pages link to (Q5393646):
Displaying 26 items.
- Inversive meadows and divisive meadows (Q420833) (← links)
- Pairs, sets and sequences in first-order theories (Q943342) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Conceptual divergence -- canons and taboos -- and critique: reflections on explanatory categories (Q1877686) (← links)
- On the virtue of categoricity (Q1981999) (← links)
- Constructive Ackermann's interpretation (Q2120969) (← links)
- The predicative Frege hierarchy (Q2271986) (← links)
- On generalization of definitional equivalence to non-disjoint languages (Q2323696) (← links)
- Glymour and Quine on theoretical equivalence (Q2397813) (← links)
- Set theory with and without urelements and categories of interpretations (Q2505133) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- Extension and interpretability (Q2658276) (← links)
- (Q4345376) (← links)
- Model theory of proalgebraic groups (Q4963643) (← links)
- Set theory with a proper class of indiscernibles (Q5101293) (← links)
- ON MORITA EQUIVALENCE AND INTERPRETABILITY (Q5107539) (← links)
- DISTANCES BETWEEN FORMAL THEORIES (Q5117596) (← links)
- BI-INTERPRETATION IN WEAK SET THEORIES (Q5159491) (← links)
- The Interpretation Existence Lemma (Q5214783) (← links)
- EQUIVALENCES FOR TRUTH PREDICATES (Q5274881) (← links)
- Categories in Context: Historical, Foundational, and Philosophical (Q5692819) (← links)
- Reducible Theories and Amalgamations of Models (Q5875951) (← links)
- WHAT IS A RESTRICTIVE THEORY? (Q6131223) (← links)
- A step towards absolute versions of metamathematical results (Q6150669) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)
- Beyond linguistic interpretation in theory comparison (Q6638236) (← links)
