Volume 106; Issue 1-3

Annals of Pure and Applied Logic

Volume 106; Issue 1-3
1

Decidable fragments of first-order temporal logics

Ian Hodkinson, Frank Wolter, Michael Zakharyaschev
Journal:
Annals of Pure and Applied Logic
Year:
2000
Language:
english
File:
PDF, 342 KB
english, 2000
2

Martin's Maximum and the Pmaxaxiom(∗)

Paul Larson
Journal:
Annals of Pure and Applied Logic
Year:
2000
Language:
english
File:
PDF, 128 KB
english, 2000
3

Unraveling Π11 sets

Itay Neeman
Journal:
Annals of Pure and Applied Logic
Year:
2000
Language:
english
File:
PDF, 463 KB
english, 2000
4

The definable multiplicity property and generic automorphisms

Hirotaka Kikyo, Anand Pillay
Journal:
Annals of Pure and Applied Logic
Year:
2000
Language:
english
File:
PDF, 106 KB
english, 2000
6

Notions of symmetry in set theory with classes

Athanassios Tzouvaras
Journal:
Annals of Pure and Applied Logic
Year:
2000
Language:
english
File:
PDF, 171 KB
english, 2000
7

Index

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

Ranks and pregeometries in finite diagrams

Olivier Lessmann
Journal:
Annals of Pure and Applied Logic
Year:
2000
Language:
english
File:
PDF, 228 KB
english, 2000