Scott analysis of pseudotypes

Journal of Symbolic Logic 58 (2):648-663 (1993)
  Copy   BIBTEX

Abstract

This is a continuation of [N2]. We find a Borel definition of Q-isolation. We pursue a topological and Scott analysis of pseudotypes on S(Q)

Categories

Keywords

Reprint years

DOI

10.2307/2275225

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,518

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

A q-wadge hierarchy in quasi-polish spaces.Victor Selivanov - 2020 - Journal of Symbolic Logic:1-26.
A boundedness principle for the Hjorth rank.Ohad Drucker - 2021 - Archive for Mathematical Logic 61 (1):223-232.
Topological factors derived from Bohmian mechanics.Sheldon Goldstein - manuscript
A characterization of the Δ⁰₂ hyperhyperimmune sets.Roland Sh Omanadze & Andrea Sorbi - 2008 - Journal of Symbolic Logic 73 (4):1407-1415.
The wadge order on the Scott domain is not a well-quasi-order.Jacques Duparc & Louis Vuilleumier - 2020 - Journal of Symbolic Logic 85 (1):300-324.
A complicated ω-stable depth 2 theory.Martin Koerwien - 2011 - Journal of Symbolic Logic 76 (1):47 - 65.
Proof Mining in Topological Dynamics.Philipp Gerhardy - 2008 - Notre Dame Journal of Formal Logic 49 (4):431-446.
Inverse topological systems and compactness in abstract model theory.Daniele Mundici - 1986 - Journal of Symbolic Logic 51 (3):785-794.
Borel equivalence relations induced by actions of the symmetric group.Greg Hjorth, Alexander S. Kechris & Alain Louveau - 1998 - Annals of Pure and Applied Logic 92 (1):63-112.

Analytics

Added to PP
2009-01-28

Downloads
224 (#115,973)

6 months
11 (#370,490)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Meager forking.Ludomir Newelski - 1994 - Annals of Pure and Applied Logic 70 (2):141-175.
Relative Vaught's Conjecture for Some Meager Groups.Ludomir Newelski - 2007 - Notre Dame Journal of Formal Logic 48 (1):115-132.
A model and its subset: the uncountable case.Ludomir Newelski - 1995 - Annals of Pure and Applied Logic 71 (2):107-129.

Add more citations

References found in this work

Forking, normalization and canonical bases.Anand Pillay - 1986 - Annals of Pure and Applied Logic 32:61-81.

Add more references