Pages that link to "Item:Q1073012"
From MaRDI portal
The following pages link to First-order theories of abstract dependence relations (Q1073012):
Displaying 20 items.
- Axiomatizing first-order consequences in dependence logic (Q388209) (← links)
- Algebras with dimension (Q690115) (← links)
- 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)
- Dependence relation in pregeometries (Q1866842) (← links)
- Dependency relations (Q2011325) (← links)
- First-order abduction as enumeration of stable models (Q2284490) (← links)
- A generalization of linear dependence in a vector space (Q2739068) (← links)
- Dependence logic in pregeometries and \(\omega\)-stable theories (Q2805022) (← links)
- Generalized decomposability notions for first-order theories (Q2882989) (← links)
- Weakly one-based geometric theories (Q2892666) (← links)
- The First-Order Nominal Link (Q3003496) (← 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)
- First-Order Theories of Orthogonality Structures (Q5435115) (← links)
- Strongly first order, domain independent dependencies: the union-closed case (Q6160748) (← links)
