ESI Workshop on Large Cardinals and Descriptive Set Theory Vienna, June 14–27, 2009 Organized by the Erwin Schr¨ odinger Institute (ESI) and financed by the ESI and Austrian

Source URL: www.logic.univie.ac.at

University of Warsaw Faculty of Mathematics, Informatics, and Mechanics Michał Skrzypczak Descriptive set theoretic methods in automata theory

Source URL: www.mimuw.edu.pl

Introduction Descriptive Set Theory in SOA Collapsing a model of ZFC Sharps # Collapsing a model of ZFC

Source URL: www.math.uni-bonn.de

• Mathematics
• Mathematical logic
• Logic
• Foundations of mathematics
• Z notation
• ZermeloFraenkel set theory
• Determinacy
• Set theory
• Second-order arithmetic
• Constructible universe
• Model theory
• Descriptive set theory

Extendability of Eigenvalues for Continuous Families of Self-Adjoint Operators Alexander Y. Gordon∗† and Elijah Ray‡ Department of Mathematics and Statistics University of North Carolina at Charlotte

Source URL: clas-math.uncc.edu

• Algebra
• Mathematics
• Operator theory
• Functional analysis
• Linear algebra
• Spectral theory
• Descriptive set theory
• General topology
• Hilbert space
• Spectrum
• Self-adjoint operator
• Eigenvalues and eigenvectors

Introduction Open games Determinacy and the Axiom of Choice Axiom of Determinacy The Perfect Subset Property

Source URL: www.math.uni-bonn.de

• Determinacy
• Axioms of set theory
• Descriptive set theory
• Axiom of determinacy
• Axiom of choice
• L
• Borel determinacy theorem
• Wadge hierarchy

On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness Ulrich Kohlenbach BRICSy

Source URL: www.mathematik.tu-darmstadt.de

• Complexity classes
• Computability theory
• Effective descriptive set theory
• Arithmetical hierarchy
• Hierarchy
• FO

Game characterizations of function classes and Weihrauch degrees MSc Thesis (Afstudeerscriptie) written by Hugo de Holanda Cunha Nobrega (born September 5, 1987 in Petrópolis, Brazil)

Source URL: www.illc.uva.nl

• Mathematical logic
• Mathematics
• Set theory
• Descriptive set theory
• Wadge hierarchy
• Determinacy
• Axiom of countable choice
• Ordinal numbers
• -consistent theory
• Ordinal arithmetic

. . Recursion Theoretic Methods in Descriptive Set Theory and Infinite Dimensional Topology

Source URL: logic.berkeley.edu.

WORKSHOP ON APPLICATIONS OF DESCRIPTIVE SET THEORY TO FUNCTIONAL ANALYSIS Monday. 9:30am Dima Shlyakhtenko, Free monotone transport 11:00am Bradd Hart, Model theory of tracial von Neumann algebras

Source URL: www.birs.ca

University of Warsaw Faculty of Mathematics, Informatics, and Mechanics Michał Skrzypczak Descriptive set theoretic methods in automata theory

Source URL: www.mimuw.edu.pl