Real Analysis Exchange

On Monotone Presentations of Borel Sets

Tamás Mátrai and Miroslav Zelený

Full-text: Open access

Abstract

If $A$ is a ${\bf \Sigma}^{0}_{\xi}$ set and $A_{n}$ $(n \omega)$ are Borel sets then we call $\{A_{n} \colon n \omega\}$ a presentation of $A$ if $A = \bigcup_{n \omega}A_{n}$ and $A_{n}$ $(n \omega)$ have lower Borel class than $A$ has. We show that for $2 \leq \xi \omega_{1}$ it is not possible to assign a presentation to ${\bf \Sigma}^{0}_{\xi}$ sets in a monotone way; i.e., it is not possible to define functions $f_{n} \colon {\bf \Sigma}^{0}_{\xi} \rightarrow {\bf \Pi}^{0}_{\xi}$ $(n \omega)$ such that for every $A \in {\bf \Sigma}^{0}_{\xi}$ we have $A = \bigcup_{n \omega}f_{n}(A)$ and $A, A' \in {\bf \Sigma}^{0}_{\xi}$, $A \subseteq A'$ implies $f_{n}(A) \subseteq f_{n}(A')$ $(n \omega)$. This answers a question of M\'arton Elekes in the negative. We also show the nonexistence of monotone presentation for Borel functions.

Article information

Source
Real Anal. Exchange Volume 34, Number 2 (2008), 311-318.

Dates
First available in Project Euclid: 29 October 2009

Permanent link to this document
http://projecteuclid.org/euclid.rae/1256835189

Mathematical Reviews number (MathSciNet)
MR2569189

Zentralblatt MATH identifier
1187.03038

Subjects
Primary: 03E15: Descriptive set theory [See also 28A05, 54H05]
Secondary: 54H05: Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) [See also 03E15, 26A21, 28A05] 28A05: Classes of sets (Borel fields, $\sigma$-rings, etc.), measurable sets, Suslin sets, analytic sets [See also 03E15, 26A21, 54H05] 28A10: Real- or complex-valued set functions 26A21: Classification of real functions; Baire classification of sets and functions [See also 03E15, 28A05, 54C50, 54H05] 54C50: Special sets defined by functions [See also 26A21]

Keywords
Borel set Borel function canonical presentation monotone presentation

Citation

Mátrai, Tamás; Zelený, Miroslav. On Monotone Presentations of Borel Sets. Real Anal. Exchange 34 (2008), no. 2, 311--318. http://projecteuclid.org/euclid.rae/1256835189.


Export citation

References

  • A. Andretta, G. Hjorth, I. Neeman, Effective cardinals of boldface pointclasses, J. Math. Log., 7(1) (2007), 35–82.
  • M. Elekes, Linearly ordered families of Baire 1 functions, Real Anal. Exchange, 27(1) (2001/02), 49–63.
  • M. Elekes, A. Máthé, Can we assign the Borel hulls in a monotone way?, Fund. Math., to appear.
  • D. H. Fremlin, Consequences of Martin's Axiom, Cambridge Tracts in Mathematics, 84, Cambridge University Press, Cambridge, 1984.
  • S. Gao, S. Jackson, M. Laczkovich, R. D. Mauldin, On the unique representation of families of sets, Trans. Amer. Math. Soc., 360(2) (2008), 939–958.
  • G. Hjorth, An Absoluteness Principle for Borel Sets, J. Symbolic Logic, 63(2) (1998), 663–693.
  • G. Hjorth, Cardinalities in the projective hierarchy, J. Symbolic Logic, 67(4) (2002), 1351–1372.
  • A. S. Kechris, Classical Descriptive Set Theory, Graduate Texts in Mathematics, 156, Springer-Verlag, New York, 1995.
  • P. Komjáth, Ordered families of Baire-2-functions, Real Anal. Exchange, 15 (1989/90), 442–444.
  • R. Laver, Linear orders in $(\omega)\sp\omega$ under eventual dominance, Logic colloquium '78 (Mons, 1978), Stud. Logic Foundations Math., 97, North-Holland, Amsterdam-New York, 1979, 299–302.