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

Other Versions

No versions found

Links

PhilArchive

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 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.
Complexity Results for Modal Dependence Logic.Peter Lohmann & Heribert Vollmer - 2013 - Studia Logica 101 (2):343-366.
Interpreting groups in ω-categorical structures.Dugald Macpherson - 1991 - Journal of Symbolic Logic 56 (4):1317-1324.
Counting in Uncountably Categorical Pseudofinite Structures.Alexander van Abel - 2024 - Journal of Symbolic Logic 89 (4):1455-1475.
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.
Finite conformal hypergraph covers and Gaifman cliques in finite structures.Ian Hodkinson & Martin Otto - 2003 - Bulletin of Symbolic Logic 9 (3):387-405.
Degree of Satisfiability in Heyting Algebras.Benjamin Merlin Bumpus & Zoltan A. Kocsis - 2025 - Journal of Symbolic Logic 90 (2):533-551.
Computable categoricity of trees of finite height.Steffen Lempp, Charles McCoy, Russell Miller & Reed Solomon - 2005 - Journal of Symbolic Logic 70 (1):151-215.

Analytics

Added to PP
2010-08-24

Downloads
114 (#420,209)

6 months
24 (#431,277)

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.
Independence and the finite submodel property.Vera Koponen - 2009 - Annals of Pure and Applied Logic 158 (1-2):58-79.
Random ℓ‐colourable structures with a pregeometry.Ove Ahlman & Vera Koponen - 2017 - Mathematical Logic Quarterly 63 (1-2):32-58.

View all 7 citations / Add more citations

References found in this work

[Introduction].Wilfrid Hodges - 1988 - Journal of Symbolic Logic 53 (1):1.
ℵ0-Categorical, ℵ0-stable structures.Gregory Cherlin, Leo Harrington & Alistair H. Lachlan - 1985 - Annals of Pure and Applied Logic 28 (2):103-135.

Add more references