Introduction to alpha-Computability Theory

24 gennaio 2019
24 gennaio 2019
Contatti: 
Staff Dipartimento di Matematica

Università degli Studi Trento
38123 Povo (TN)
Tel +39 04 61/281508-1625-1701-3898-1980.
dept.math [at] unitn.it

Luogo: PovoZero, via Sommarive, 14 - Povo - Sala Seminari "-1"
Ore: 14:30

Relatore:

  • Dávid Natingga, PhD candidate - University of Leeds

Abstract:

An ordinal alpha is admissible iff alpha-th level L_alpha of Goedel's constructible hierarchy satisfies the axioms of Kripke-Platek set theory (roughly predicative part of ZFC).  Alpha-computability theory is the study of the first-order definability theory over Goedel's L_alpha for an admissible ordinal alpha.

Equivalently, alpha-computability theory studies the computability on a Turing machine with a transfinite tape and time of an order type alpha for an admissible ordinal alpha. The field of alpha-computability theory is the source of deep connections between computability theory, set theory, model theory, definability theory and other areas of mathematics.

In the seminar I will assume basic familiarity with computability theory and axiomatic set theory. Other notions such as Goedel's constructible hierarchy and an admissible ordinal will be explained.

Referente: Roberto Zunino

Download