Pages that link to "Item:Q5496624"
From MaRDI portal
The following pages link to Model theory and the Tannakian formalism (Q5496624):
Displaying 17 items.
- On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge) (Q598281) (← links)
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- Useful mathematical relationships embedded in Tversky's \textit{elimination by aspects} model. (Q1427268) (← links)
- Structuralism, model theory and reduction (Q1611236) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- Calculating differential Galois groups of parametrized differential equations, with applications to hypertranscendence (Q2396234) (← links)
- Isomonodromic differential equations and differential categories (Q2453263) (← links)
- (Q3409340) (← links)
- (Q3699662) (← links)
- Frege, hilbert, and the conceptual structure of model theory (Q4312343) (← links)
- Calculating Galois groups of third-order linear differential equations with parameters (Q4563682) (← links)
- Models of intuitionistic TT and NF (Q4842637) (← links)
- (Q4944337) (← links)
- Model theory of proalgebraic groups (Q4963643) (← links)
- Intrinsic Approach to Galois Theory of 𝑞-Difference Equations (Q5097145) (← links)
- (Q5203706) (← links)
- Jewels of Institution-Independent Model Theory (Q5757924) (← links)