Theories with the independence property

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Untersuchungen über das logische Schliessen. I
• Relation algebras
• Model theory.
• 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
• Reduced products, Horn sentences, and decision problems

Cited In (6)

• On the independence property
• Title not available (Why is that?)
• An independence theorem for \(\mathrm{NTP}_{2}\) theories
• Properties and consequences of Thorn-independence
• Independence of higher Kurepa hypotheses
• Strongly dependent theories

   Recommendations

• On a classification of theories without the independence property 👍 👎
• AN INDEPENDENCE THEOREM AND ITS CONSEQUENCES 👍 👎
• Title not available (Why is that?) 👍 👎
• Independence in Model Theory 👍 👎
• A THEOREM ON INDEPENDENCE RELATIONS 👍 👎
• A theorem on independence 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Independence concepts in possibility theory. I 👍 👎
• Independence concepts in possibility theory: II 👍 👎

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)