Volume 109; Issue 1-2

Annals of Pure and Applied Logic

Volume 109; Issue 1-2
1

Petr Vopěnka (∗16.5.1935)

A. Sochor
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 103 KB
english, 2001
2

List of publications of Petr Vopěnka

Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 46 KB
english, 2001
3

Realism, nonstandard set theory, and large cardinals

Karel Hrbacek
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 244 KB
english, 2001
4

On the computational content of intuitionistic propositional proofs

Samuel R Buss, Pavel Pudlák
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 115 KB
english, 2001
5

A note on the notion of truth in fuzzy logic

Petr Hájek, John Shepherdson
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 74 KB
english, 2001
6

Three clouds may cover the plane

Péter Komjáth
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 69 KB
english, 2001
7

Needed reals and recursion in generic reals

Andreas Blass
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 107 KB
english, 2001
8

Terminal notions in set theory

Jindřich Zapletal
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 231 KB
english, 2001
9

Fallen cardinals

Menachem Kojman, Saharon Shelah
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 137 KB
english, 2001
10

The name for Kojman–Shelah collapsing function

Bohuslav Balcar, Petr Simon
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 95 KB
english, 2001
11

Contents

Journal:
Annals of Pure and Applied Logic
Year:
2001
File:
PDF, 23 KB
2001