Some Dichotomy Theorems for Isomorphism Relations of Countable Models
colorful horizontal rule

Su Gao

Abstract

Strengthening known instances of Vaught Conjecture, we prove the Glimm-Effros dichotomy theorems for countable linear orderings and for simple trees. Corollaries of the theorems answer some open questions of Friedman and Stanley in an L1-interpretability theory. We also give a survey of this theory.

Table of Contents

  1. Introduction
  2. Linear Orderings
  3. Simple Trees
  4. FS-Reducibility
    References
This paper was published in The Journal of Symbolic Logic 62 (2001), no. 2, 902-922.

Back to Su Gao's Homepage