Skip to main content
×
Home
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 1
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Solecki, Sławomir 2002. Recent Progress in General Topology II.


    ×

The topological Vaught's conjecture and minimal counterexamples

  • Howard Becker (a1)
  • DOI: http://dx.doi.org/10.2307/2275907
  • Published online: 01 March 2014
Abstract

Let G be a Polish topological group, let X be a Polish space, let J: G × XX be a Borel-measurable action of G on X, and let AX be a Borel set which is invariant with respect to J, i.e., a Borel set of orbits. The following statement, or various equivalent versions of it, is known as the Topological Vaught's Conjecture.

Let (G, X, J, A) be as above. Either A contains only countably many orbits, or else, A contains perfectly many orbits.

We say that A contains perfectly many orbits if there is a perfect set PA such that no two elements of P are in the same orbit. (Assuming ¬CH, A contains perfectly many orbits iff it contains 2ℵ0 orbits.) The Topological Vaught's Conjecture implies the usual, model theoretic, Vaught's Conjecture for Lω1ω, since the isomorphism classes are the orbits of an action of the group of permutations of ω; we give details in §0. The “Borel” assumption cannot be weakened for either A or J.

Given a Borel-measurable Polish action (G,X,J) and an invariant Borel set BX, we say that B is a minimal counterexample if (G,X,J,B) is a counterexample to the Topological Vaught's Conjecture and for every invariant Borel C ⊂ B, either C or B\C contains only countably many orbits. This paper is concerned with counterexamples to the Topological Vaught's Conjecture (of course, there may not be any), and in particular, with minimal counterexamples. First, there is a theorem on the existence of minimal counterexamples. This theorem was known for the model theoretic case (it is due to Harnik and Makkai), and is here generalized to arbitrary Borel-measurable Polish actions. Second, we study the properties of minimal counterexamples. We give two different necessary and sufficient conditions for a counterexample to be minimal, as well as some consequences of minimality. Some of these results are proved assuming determinacy axioms.This second part seems to be new even in the model theoretic case.

Copyright
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[2]J. P. Burgess , Equivalences generated by families of Borel sets, Proceedings of the American Mathematical Society, vol. 69 (1978), pp. 323–326.

[3]J. P. Burgess , Effective enumeration of classes in a equivalence relation, Indiana University Mathematics Journal, vol. 28 (1979), pp. 353–364.

[5]J. Dixmier , Duel et quasi-duel d’une algebre de Banach involutive, Transactions the American Mathematical Society, vol. 104 (1962), pp. 278–283.

[8]R. O. Gandy , On a problem of Kleene's, Bulletin of the American Mathematical Society, vol. 66, 1960, pp. 501–502.

[9]V. Harnik and M. Makkai , A tree argument in infinitary model theory, Proceedings of the American Mathematical Society, vol. 67 (1977), pp. 309–314.

[13]A. Louveau , A separation theorem for sets, Transactions of the American Mathematical Society, vol. 260 (1980), pp. 363–378.

[16]D. E. Miller , On the measurability of orbits in Borel actions, Proceedings of the American Mathematical Society, vol. 63 (1977), pp. 165–170.

[19]M. Nadel , Scott sentences and admissible sets, Annals of Mathematical Logic, vol. 7 (1974), pp. 267–294.

[22]R. L. Sami , Polish group actions and the Vaught conjecture, Transactions of the American Mathematical Society, vol. 341, (1994), pp. 335–353.

[23]J. R. Steel , Forcing with tagged trees, Annals of Mathematical Logic, vol. 15 (1978), pp. 55–74.

[26]V. S. Varadarajan , Groups of automorphisms of Borel spaces, Transactions of the American Mathematical Society, vol. 109 (1963), pp. 191–220.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×