Volume 24; Issue 1

Notre Dame Journal of Formal Logic

Volume 24; Issue 1

1

Why I am not a nominalist.

Burgess, John P.

Journal:

Notre Dame Journal of Formal Logic

Year:

1983

Language:

english

File:

PDF, 1.51 MB

english, 1983

2

A note on intuitionistic models of ${\rm ZF}$.

Lavendhomme, R., Lucas, T.

Journal:

Notre Dame Journal of Formal Logic

Year:

1983

Language:

english

File:

PDF, 1.12 MB

english, 1983

3

On measures and distinguishability.

Mellema, Gregory

Journal:

Notre Dame Journal of Formal Logic

Year:

1983

Language:

english

File:

PDF, 877 KB

english, 1983

4

On the Borel classification of the isomorphism class of a countable model.

Miller, Arnold W.

Journal:

Notre Dame Journal of Formal Logic

Year:

1983

Language:

english

File:

PDF, 1.18 MB

english, 1983

5

A note on Conway multiplication of ordinals.

Journal:

Notre Dame Journal of Formal Logic

Year:

1983

Language:

english

File:

PDF, 351 KB

english, 1983

6

Sequential compactness and the axiom of choice.

Brunner, Norbert

Journal:

Notre Dame Journal of Formal Logic

Year:

1983

Language:

english

File:

PDF, 379 KB

english, 1983

7

The transitivity of implication in tree logic.

Journal:

Notre Dame Journal of Formal Logic

Year:

1983

Language:

english

File:

PDF, 707 KB

english, 1983