Volume 161; Issue 10

Annals of Pure and Applied Logic

Volume 161; Issue 10
1

Martin’s Axiom and embeddings of upper semi-lattices into the Turing degrees

Wang Wei
Journal:
Annals of Pure and Applied Logic
Year:
2010
Language:
english
File:
PDF, 309 KB
english, 2010
2

Relativized Grothendieck topoi

Nathanael Leedom Ackerman
Journal:
Annals of Pure and Applied Logic
Year:
2010
Language:
english
File:
PDF, 433 KB
english, 2010
3

Club-guessing, stationary reflection, and coloring theorems

Todd Eisworth
Journal:
Annals of Pure and Applied Logic
Year:
2010
Language:
english
File:
PDF, 647 KB
english, 2010
4

Higher Kurtz randomness

Bjørn Kjos-Hanssen, André Nies, Frank Stephan, Liang Yu
Journal:
Annals of Pure and Applied Logic
Year:
2010
Language:
english
File:
PDF, 368 KB
english, 2010
5

Countable partition ordinals

Rene Schipperus
Journal:
Annals of Pure and Applied Logic
Year:
2010
Language:
english
File:
PDF, 707 KB
english, 2010
6

A minimal classical sequent calculus free of structural rules

Dominic Hughes
Journal:
Annals of Pure and Applied Logic
Year:
2010
Language:
english
File:
PDF, 333 KB
english, 2010
7

Games with 1-backtracking

Stefano Berardi, Thierry Coquand, Susumu Hayashi
Journal:
Annals of Pure and Applied Logic
Year:
2010
Language:
english
File:
PDF, 545 KB
english, 2010
8

Borel reductions of profinite actions of

Samuel Coskey
Journal:
Annals of Pure and Applied Logic
Year:
2010
Language:
english
File:
PDF, 352 KB
english, 2010