|
SEMINARS |
Seminars
"Proof Theory" and "Logic Online Seminar"
|
|||
|
Determined admissible sets Juan Aguilera |
|||
Abstract: We study the consistency strength of the axioms of determinacy for infinite games on the natural numbers and the real numbers, AD and AD_R respectively, in the context of Kripke-Platek set theory. We see that $\mathsf{KP} + \text{“}\mathbb{R}\text{ exists”} + \mathsf{AD}$ has strength similar to that of Language: English |