Volume 160; Issue 1

Annals of Pure and Applied Logic

Volume 160; Issue 1
1

On the strength of dependent products in the type theory of Martin-Löf

Richard Garner
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 672 KB
english, 2009
2

Full operational set theory with unbounded existential quantification and power set

Gerhard Jäger
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 1.04 MB
english, 2009
4

Syntactic cut-elimination for common knowledge

Kai Brünnler, Thomas Studer
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 1.36 MB
english, 2009
5

Organic and tight

J. Cummings, M. Foreman, E. Schimmerling
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 489 KB
english, 2009
6

A game on Boolean algebras describing the collapse of the continuum

Miloš S. Kurilić, Boris Šobot
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 709 KB
english, 2009
8

Editorial Board

Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 37 KB
english, 2009
9

The structure of the -degrees contained within a single -degree

Thomas F. Kent
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 574 KB
english, 2009
10

Dynamic topological S5

Philip Kremer
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 1.15 MB
english, 2009