Games characterizing certain families of functions

, &
Archive for Mathematical Logic:1-14 (forthcoming)
  Copy   BIBTEX

Abstract

We obtain several game characterizations of Baire 1 functions between Polish spaces _X_, _Y_ which extends the recent result of V. Kiss. Then we propose similar characterizations for equi-Bare 1 families of functions. Also, using related ideas, we give game characterizations of Baire measurable and Lebesgue measurable functions.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-024-00922-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,682

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

Correction to: Towers, mad families, and unboundedness.Vera Fischer, Marlene Koelbing & Wolfgang Wohofsky - 2023 - Archive for Mathematical Logic 62 (7):1159-1160.
The canonical function game.Paul B. Larson - 2005 - Archive for Mathematical Logic 44 (7):817-827.
Logic games are complete for game logics.Johan van Benthem - 2003 - Studia Logica 75 (2):183-203.
On the non-existence of $$\kappa $$-mad families.Haim Horowitz & Saharon Shelah - 2023 - Archive for Mathematical Logic 62 (7):1033-1039.
Hardness assumptions in the foundations of theoretical computer science.Jan Krajíček - 2005 - Archive for Mathematical Logic 44 (6):667-675.
Propositional logic of continuous transformations in Cantor space.Grigori Mints & Ting Zhang - 2005 - Archive for Mathematical Logic 44 (6):783-799.
Erratum: “Forcing and antifoundation”. [REVIEW]Athanassios Tzouvaras - 2005 - Archive for Mathematical Logic 44 (5):663-663.
Well-foundedness in Realizability.M. Hofmann, J. van Oosten & T. Streicher - 2006 - Archive for Mathematical Logic 45 (7):795-805.
Well-foundedness in Realizability.M. Hofmann, J. Oosten & T. Streicher - 2006 - Archive for Mathematical Logic 45 (7):795-805.
Preface.Douglas Cenzer & Rebecca Weber - 2008 - Archive for Mathematical Logic 46 (7-8):529-531.
Preface.Douglas Cenzer, Valentina Harizanov, David Marker & Carol Wood - 2009 - Archive for Mathematical Logic 48 (1):1-6.
Computability in Europe 2008.Arnold Beckmann, Costas Dimitracopoulos & Benedikt Löwe - 2010 - Archive for Mathematical Logic 49 (2):119-121.
A note on sharply bounded arithmetic.Jan Johannsen - 1994 - Archive for Mathematical Logic 33 (2):159-165.
A computably stable structure with no Scott family of finitary formulas.Peter Cholak, Richard A. Shore & Reed Solomon - 2006 - Archive for Mathematical Logic 45 (5):519-538.
Linear orders with distinguished function symbol.Douglas Cenzer, Barbara F. Csima & Bakhadyr Khoussainov - 2009 - Archive for Mathematical Logic 48 (1):63-76.

Analytics

Added to PP
2024-04-06

Downloads
11 (#1,157,103)

6 months
11 (#267,580)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

More on Wadge determinacy.Alessandro Andretta - 2006 - Annals of Pure and Applied Logic 144 (1-3):2-32.
Playing in the first Baire class.Raphaël Carroy - 2014 - Mathematical Logic Quarterly 60 (1-2):118-132.

View all 9 references / Add more references