Theories with the independence property
Studia Logica 95 (3) (2010)
| Abstract | A first-order theory has the Independence Property provided implies for some i whenever are formulae of a suitable type and ( Q ) is any quantifier sequence. Variants of this property have been noticed for some time in logic programming and in linear programming. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,882 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMitsuhiro Okada & Kazushige Terui (1999). The Finite Model Property for Various Fragments of Intuitionistic Linear Logic. Journal of Symbolic Logic 64 (2):790-802.
Andreas Baudisch (1989). Classification and Interpretation. Journal of Symbolic Logic 54 (1):138-159.
Douglas E. Ensley (1996). Automorphism-Invariant Measures on ℵ0-Categorical Structures Without the Independence Property. Journal of Symbolic Logic 61 (2):640 - 652.
Hirotaka Kikyo (2000). Model Companions of Theories with an Automorphism. Journal of Symbolic Logic 65 (3):1215-1222.
Alf Onshuus (2006). Properties and Consequences of Thorn-Independence. Journal of Symbolic Logic 71 (1):1 - 21.
Eric Jaligot, Alexey Muranov & Azadeh Neman (2008). Independence Property and Hyperbolic Groups. The Bulletin of Symbolic Logic 14 (1):88 - 98.
James H. Schmerl (1989). Partially Ordered Sets and the Independence Property. Journal of Symbolic Logic 54 (2):396-401.
Analytics
Monthly downloads |
Added to index2010-07-26Total downloads6 ( #147,143 of 556,909 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
