Theories with the independence property
From MaRDI portal
Publication:993495
DOI10.1007/S11225-010-9263-5zbMATH Open1202.03043OpenAlexW2152646692MaRDI QIDQ993495FDOQ993495
Publication date: 20 September 2010
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://research.vu.nl/ws/files/2727188/248908.pdf
Recommendations
- On a classification of theories without the independence property
- AN INDEPENDENCE THEOREM AND ITS CONSEQUENCES
- scientific article; zbMATH DE number 3964050
- Independence in model theory
- A THEOREM ON INDEPENDENCE RELATIONS
- A theorem on independence
- scientific article; zbMATH DE number 3928984
- scientific article
- Independence concepts in possibility theory. I
- Independence concepts in possibility theory: II
Classical first-order logic (03B10) Logic in computer science (03B70) Basic properties of first-order languages and structures (03C07) Convex sets without dimension restrictions (aspects of convex geometry) (52A05)
Cites Work
- Untersuchungen über das logische Schliessen. I
- Title not available (Why is that?)
- Relation algebras
- Model theory.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some Varieties Containing Relation Algebras
- Interpreting first-order theories into a logic of records
- Records for logic programming
- A feature constraint system for logic programming with entailment
- A complete axiomatization of a theory with feature and arity constraints
- A complete and recursive feature theory
- Title not available (Why is that?)
- Reduced products, Horn sentences, and decision problems
Cited In (7)
This page was built for publication: Theories with the independence property
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q993495)
