Finite Satisfiability and N₀-Categorical Structures with Trivial Dependence

Journal of Symbolic Logic 71 (3):810 - 830 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1154698579

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Supersimple ω-categorical groups and theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
Supersimple $\omega$-Categorical Groups and Theories.David Evans & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
The First-Order Structure of Weakly Dedekind-Finite Sets.A. C. Walczak-Typke - 2005 - Journal of Symbolic Logic 70 (4):1161 - 1170.
Interpreting Groups in $\omega$-Categorical Structures.Dugald Macpherson - 1991 - Journal of Symbolic Logic 56 (4):1317-1324.
Interpreting groups in ω-categorical structures.Dugald Macpherson - 1991 - Journal of Symbolic Logic 56 (4):1317-1324.
Complexity Results for Modal Dependence Logic.Peter Lohmann & Heribert Vollmer - 2013 - Studia Logica 101 (2):343-366.
Special Groups Whose Isometry Relation Is a Finite Union of Cosets.Vincent Astier - 2008 - Journal of Symbolic Logic 73 (2):448 - 473.
The geometry of forking and groups of finite Morley rank.Anand Pillay - 1995 - Journal of Symbolic Logic 60 (4):1251-1259.
Review: Laszlo Kalmar, Reduction of the Decision Problem to the Satisfiability Question of Logical Formulae on a Finite Set. [REVIEW]Rózsa Péter - 1955 - Journal of Symbolic Logic 20 (1):72-72.
Degree of Satisfiability in Heyting Algebras.Benjamin Merlin Bumpus & Zoltan A. Kocsis - forthcoming - Journal of Symbolic Logic:1-19.

Analytics

Added to PP
2010-08-24

Downloads
20 (#792,731)

6 months
2 (#1,259,626)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Binary simple homogeneous structures.Vera Koponen - 2018 - Annals of Pure and Applied Logic 169 (12):1335-1368.
Binary primitive homogeneous simple structures.Vera Koponen - 2017 - Journal of Symbolic Logic 82 (1):183-207.
Random ℓ‐colourable structures with a pregeometry.Ove Ahlman & Vera Koponen - 2017 - Mathematical Logic Quarterly 63 (1-2):32-58.
Super/rosy L k -theories and classes of finite structures.Cameron Donnay Hill - 2013 - Annals of Pure and Applied Logic 164 (10):907-927.

View all 7 citations / Add more citations

References found in this work

[Introduction].Wilfrid Hodges - 1988 - Journal of Symbolic Logic 53 (1):1.
[Introduction].Wilfrid Hodges - 1986 - Journal of Symbolic Logic 51 (4):865.
ℵ0-Categorical, ℵ0-stable structures.G. Cherlin, L. Harrington & A. H. Lachlan - 1985 - Annals of Pure and Applied Logic 28 (2):103-135.

View all 7 references / Add more references