DEPENDENCE LOGIC IN PREGEOMETRIES AND <i>ω</i>-STABLE THEORIES (Q2805022): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / OpenAlex ID
 
Property / OpenAlex ID: W2963301981 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1310.7719 / rank
 
Normal rank
Property / cites work
 
Property / cites work: First-order theories of abstract dependence relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dependence relation in pregeometries / rank
 
Normal rank
Property / cites work
 
Property / cites work: On definability in dependence logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dependence and independence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Axioms and algorithms for inferences involving probabilistic independence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies'' / rank
 
Normal rank
Property / cites work
 
Property / cites work: Separoids: a mathematical framework for conditional independence and irrelevance / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the undecidability of implications between embedded multivalued database dependencies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4301150 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Abstract Properties of Linear Dependence / rank
 
Normal rank

Latest revision as of 23:03, 11 July 2024

scientific article
Language Label Description Also known as
English
DEPENDENCE LOGIC IN PREGEOMETRIES AND <i>ω</i>-STABLE THEORIES
scientific article

    Statements

    DEPENDENCE LOGIC IN PREGEOMETRIES AND <i>ω</i>-STABLE THEORIES (English)
    0 references
    0 references
    0 references
    0 references
    9 May 2016
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    closure operator
    0 references
    dependence
    0 references
    forking
    0 references
    independence
    0 references
    matroid
    0 references
    stable theory
    0 references
    0 references
    0 references