Theories with the independence property

DOI10.1007/S11225-010-9263-5zbMATH Open1202.03043OpenAlexW2152646692MaRDI QIDQ993495FDOQ993495

Authors 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

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)

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; zbMATH DE number 956477
• Independence concepts in possibility theory. I
• Independence concepts in possibility theory: II

Cites work

• scientific article; zbMATH DE number 439012 (Why is no real title available?)
• scientific article; zbMATH DE number 3898209 (Why is no real title available?)
• scientific article; zbMATH DE number 4053011 (Why is no real title available?)
• scientific article; zbMATH DE number 3550662 (Why is no real title available?)
• A complete and recursive feature theory
• A complete axiomatization of a theory with feature and arity constraints
• A feature constraint system for logic programming with entailment
• Interpreting first-order theories into a logic of records
• Model theory.
• Records for logic programming
• Reduced products, Horn sentences, and decision problems
• Relation algebras
• Some Varieties Containing Relation Algebras
• Untersuchungen über das logische Schliessen. I

Cited in

(7)

• scientific article; zbMATH DE number 1164049 (Why is no real title available?)
• Properties and consequences of Thorn-independence
• scientific article; zbMATH DE number 3841826 (Why is no real title available?)
• An independence theorem for \(\mathrm{NTP}_{2}\) theories
• Independence of higher Kurepa hypotheses
• On the independence property
• Strongly dependent theories

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)