Theories with the independence property

DOI10.1007/s11225-010-9263-5zbMath1202.03043OpenAlexW2152646692MaRDI QIDQ993495

Marcel van de Vel

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

zbMATH Keywords

independence propertyreduced productcomplete theoryHorn sentencecrisp theoryfree model

Mathematics Subject Classification ID

Logic in computer science (03B70) Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07) Convex sets without dimension restrictions (aspects of convex geometry) (52A05)

Cites Work

• A complete and recursive feature theory
• Relation algebras
• Model theory.
• A feature constraint system for logic programming with entailment
• Untersuchungen über das logische Schliessen. I
• Interpreting first-order theories into a logic of records
• A complete axiomatization of a theory with feature and arity constraints
• Some Varieties Containing Relation Algebras
• Records for logic programming
• Reduced products, Horn sentences, and decision problems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item