Theories with the independence property
type: Item
instance of: scholarly article
title: Theories with the independence property
zbMATH Open document ID: 1202.03043
published in: Studia Logica
publication date: 2010-09-20T00:00:00Z
full work available at URL: 248908.pdf
Mathematics Subject Classification ID: 03C07
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 52A05
zbMATH DE Number: 5788052
zbMATH Keywords: complete theory
zbMATH Keywords: crisp theory
zbMATH Keywords: free model
zbMATH Keywords: Horn sentence
zbMATH Keywords: independence property
zbMATH Keywords: reduced product
author: Marcel van de Vel
MaRDI profile type: Publication
OpenAlex ID: W2152646692
cites work: A feature constraint system for logic programming with entailment
cites work: A complete axiomatization of a theory with feature and arity constraints
cites work: A complete and recursive feature theory
cites work: Model theory.
cites work: Reduced products, Horn sentences, and decision problems
cites work: Untersuchungen über das logische Schliessen. I
cites work: Q3789064
cites work: Some Varieties Containing Relation Algebras
cites work: Relation algebras
cites work: Q3677149
cites work: Q4124795
cites work: Records for logic programming
cites work: Q3141898
cites work: Interpreting first-order theories into a logic of records
DOI: 10.1007/S11225-010-9263-5
Recommended article: On a classification of theories without the independence property
Recommended article: AN INDEPENDENCE THEOREM AND ITS CONSEQUENCES
Recommended article: Q3731771
Recommended article: Independence in Model Theory
Recommended article: A THEOREM ON INDEPENDENCE RELATIONS
Recommended article: A theorem on independence
Recommended article: Q3703885
Recommended article: Q3837734
Recommended article: Independence concepts in possibility theory. I
Recommended article: Independence concepts in possibility theory: II
description: scientific article; zbMATH DE number 5788052