December 2005 ω-powers and descriptive set theory
Dominique Lecomte
J. Symbolic Logic 70(4): 1210-1232 (December 2005). DOI: 10.2178/jsl/1129642123

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.

Citation

Download Citation

Dominique Lecomte. "ω-powers and descriptive set theory." J. Symbolic Logic 70 (4) 1210 - 1232, December 2005. https://doi.org/10.2178/jsl/1129642123

Information

Published: December 2005
First available in Project Euclid: 18 October 2005

zbMATH: 1117.03055
MathSciNet: MR2194245
Digital Object Identifier: 10.2178/jsl/1129642123

Rights: Copyright © 2005 Association for Symbolic Logic

JOURNAL ARTICLE
23 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.70 • No. 4 • December 2005
Back to Top