Pages that link to "Item:Q1073012"
From MaRDI portal
The following pages link to First-order theories of abstract dependence relations (Q1073012):
Displayed 11 items.
- Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures (Q1083446) (← links)
- Categoricity and generalized model completeness (Q1098836) (← links)
- Dependence systems with the operator-image exchange property (Q1336705) (← links)
- Generic pairs of SU-rank 1 structures (Q1861327) (← links)
- Dependency relations (Q2011325) (← links)
- DEPENDENCE LOGIC IN PREGEOMETRIES AND <i>ω</i>-STABLE THEORIES (Q2805022) (← links)
- Weakly one-based geometric theories (Q2892666) (← links)
- Orbits of Creative Subspaces (Q3028998) (← links)
- v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC (Q3112588) (← links)
- Independence logic and abstract independence relations (Q5258482) (← links)
- Independence, dimension and continuity in non-forking frames (Q5300081) (← links)