vix.ing · top · new · best · stats · spec

Long Games and σ-Projective Sets

2020/11/10 by Juan P. Aguilera, Sandra Müller, Aguilera, Juan P. +3
Computer Science · Economics, Econometrics and Finance · Mathematics · #03E15 #03E30 #03E45 #03E55 #03E60 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #Economic theories and models #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis

paper · pdf · doi:10.48550/arxiv.2011.04947

openalex publication_date 2020/11/10 · openalex created_date 2022/07/25 · openalex updated_date 2026/07/28

Abstract

We prove a number of results on the determinacy of σ-projective sets of reals, i.e., those belonging to the smallest pointclass containing the open sets and closed under complements, countable unions, and projections. We first prove the equivalence between σ-projective determinacy and the determinacy of certain classes of games of variable length

Related