Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options questions only not deleted user 1946

Descriptive Set Theory is the study of definable subsets of Polish spaces, where definable is taken to mean from the Borel or projective hierarchies. Other topics include infinite games and determinacy, definable equivalence relations and Borel reductions between them, Polish groups, and effective descriptive set theory.

9 votes
1 answer
603 views

Does every cofinal branch through Kleene's O compute true arithmetic?

My question concerns cofinal branches through Kleene's $O$, which is a set of natural numbers and a computably enumerable relation $<_O$ on this set that provides ordinal denotations for any desired c …
Joel David Hamkins's user avatar
92 votes
3 answers
14k views

Is every sigma-algebra the Borel algebra of a topology?

This question arises from the excellent question posed on math.SE by Salvo Tringali, namely, Correspondence between Borel algebras and topology. Since the question was not answered there after some ti …
Joel David Hamkins's user avatar
13 votes
1 answer
746 views

Is there a class of mathematical structures with non-isomorphic natural representations as a...

Background. The field of Borel equivalence relation theory provides a robust, unifying theory that organizes most of the classification problems of classical mathematics into a hierarchy, allowing us …
Joel David Hamkins's user avatar
24 votes
2 answers
1k views

What is the complexity of the winning condition in infinite Hex? In particular, is infinite ...

Consider the game of infinite Hex, where two players Red and Blue alternately place their stones on the infinite hex grid, each aiming to create a winning configuration. Red wins after infinite play, …
Joel David Hamkins's user avatar
49 votes
0 answers
3k views

Concerning proofs from the axiom of choice that ℝ³ admits surprising geometrical decompositi...

This question follows up on a comment I made on Joseph O'Rourke's recent question, one of several questions here on mathoverflow concerning surprising geometric partitions of space using the axiom of …
Joel David Hamkins's user avatar