Volume 25; Issue 2

Annals of Pure and Applied Logic

Volume 25; Issue 2

1

Generalizing the Mahlo Hierarchy, with Applications to the Mitchell Models

Stewart Baldwin

Journal:

Annals of Pure and Applied Logic

Year:

1983

Language:

english

File:

PDF, 1.71 MB

english, 1983

2

Set existence property for intuitionistic theories with dependent choice

Harvey M. Friedman, Andrej Ščedrov

Journal:

Annals of Pure and Applied Logic

Year:

1983

Language:

english

File:

PDF, 658 KB

english, 1983

3

Countable algebra and set existence axioms

Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith

Journal:

Annals of Pure and Applied Logic

Year:

1983

Language:

english

File:

PDF, 2.97 MB

english, 1983

4

Models with second order properties IV. A general method and eliminating diamonds

Journal:

Annals of Pure and Applied Logic

Year:

1983

Language:

english

File:

PDF, 2.03 MB

english, 1983