We study the proof-theoretic strength of the Π 1 1 -separation axiom scheme, and we show that Π 1 1 -separation lies strictly in between the Δ 1 1 -comprehension and Σ 1 1 -choice axiom schemes over RCA0.
Unraveling Π11 sets
✍ Scribed by Itay Neeman
- Book ID
- 104307054
- Publisher
- Elsevier Science
- Year
- 2000
- Tongue
- English
- Weight
- 463 KB
- Volume
- 106
- Category
- Article
- ISSN
- 0168-0072
No coin nor oath required. For personal study only.
✦ Synopsis
We construct coverings which unravel given 1 1 sets. This in turn is used to prove, from optimal large cardinal assumptions, the determinacy of games with A 1 1 payo and the determinacy of games with payo in the algebra generated by 1 1 sets.
📜 SIMILAR VOLUMES
Randy Kay has the perfect life with his beautiful wife and adorable son. But Randy's living a lie, untrue to himself and everyone who knows him. He's gay.Marriage and fatherhood, which he thought could change him, have failed. He doubts if anyone can love him for who he really is--especially himself
_**They want revenge, and they'll destroy her family to get it.**_ Kirin Lane barely escaped with her life from the mob boss who killed her mother. Now he's dead, and his family blames her and the man she loves. Sam Neal is playing a dangerous game, and he knows it. All he wants is to leave
**In this standalone fantasy novel by an award-winning author, the dark truth behind a string of unusual murders leads to an otherworldly exploration of spirits, myth, and memory, steeped in Caribbean storytelling.** Dr. Miranda Ecouvo, forensic therapist of the City, just helped put a serial k