Ω-powers and descriptive set theory

Journal of Symbolic Logic 70 (4):1210-1232 (2005)
  Copy   BIBTEX

Abstract

We study the sets of the infinite sentences constructible with a dictionary over a finite alphabet, from the viewpoint of descriptive set theory. Among others, this gives some true co-analytic sets. The case where the dictionary is finite is studied and gives a natural example of a set at level ω of the Wadge hierarchy

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1129642123

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,829

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

Omega-Powers and Descriptive Set Theory.Dominique Lecourt - 2005 - Journal of Symbolic Logic 70 (4):1210-1232.
The graph-theoretic approach to descriptive set theory.Benjamin D. Miller - 2012 - Bulletin of Symbolic Logic 18 (4):554-575.
Descriptive set theory of families of small sets.Étienne Matheron & Miroslav Zelený - 2007 - Bulletin of Symbolic Logic 13 (4):482-537.
Descriptive set theory over hyperfinite sets.H. Jerome Keisler, Kenneth Kunen, Arnold Miller & Steven Leth - 1989 - Journal of Symbolic Logic 54 (4):1167-1180.
Truth in V for Ǝ ∀∀-Sentences Is Decidable.D. Bellé & F. Parlamento - 2006 - Journal of Symbolic Logic 71 (4):1200 - 1222.
Wadge hierarchy and veblen hierarchy part I: Borel sets of finite rank.J. Duparc - 2001 - Journal of Symbolic Logic 66 (1):56-86.
How set theory impinges on logic.Jesus Mosterin - unknown
Decidability and finite axiomatizability of theories of ℵ0-categorical partially ordered sets.James H. Schmerl - 1981 - Journal of Symbolic Logic 46 (1):101 - 120.
Some results about borel sets in descriptive set theory of hyperfinite sets.Boško Živaljević - 1990 - Journal of Symbolic Logic 55 (2):604-614.
The ordertype of β-r.E. Sets.Klaus Sutner - 1990 - Journal of Symbolic Logic 55 (2):573-576.
Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
Two consistency results on set mappings.Péter Komjáth & Saharon Shelah - 2000 - Journal of Symbolic Logic 65 (1):333-338.
Dual easy uniformization and model-theoretic descriptive set theory.Shaughan Lavine - 1991 - Journal of Symbolic Logic 56 (4):1290-1316.
Constructible sets with applications.Andrzej Mostowski - 1969 - Warszawa,: PWN--Polish Scientific Publishers.
Naïve set theory is innocent!A. Weir - 1998 - Mind 107 (428):763-798.

Analytics

Added to PP
2010-08-24

Downloads
36 (#443,144)

6 months
12 (#213,237)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Classical and effective descriptive complexities of ω-powers.Olivier Finkel & Dominique Lecomte - 2009 - Annals of Pure and Applied Logic 160 (2):163-191.
On some sets of dictionaries whose ω ‐powers have a given.Olivier Finkel - 2010 - Mathematical Logic Quarterly 56 (5):452-460.

Add more citations

References found in this work

Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.

Add more references