# Journal of Philosophical Logic

Journal of Philosophical Logic > 1997 > 26 > 1 > 57-67

Journal of Philosophical Logic > 1997 > 26 > 1 > 69-80

Journal of Philosophical Logic > 1997 > 26 > 1 > 45-56

Journal of Philosophical Logic > 1997 > 26 > 1 > 103-119

Journal of Philosophical Logic > 1997 > 26 > 1 > 1-43

Journal of Philosophical Logic > 1997 > 26 > 2 > 129-141

Journal of Philosophical Logic > 1997 > 26 > 2 > 223-235

*LP*which model theories properly containing all the sentences of first order arithmetic. The paper demonstrates the existence of such models and provides a complete taxonomy of the finite ones.

Journal of Philosophical Logic > 1997 > 26 > 2 > 121-127

Journal of Philosophical Logic > 1997 > 26 > 2 > 169-180

*k*=1.

Journal of Philosophical Logic > 1997 > 26 > 2 > 181-222

Journal of Philosophical Logic > 1997 > 26 > 2 > 143-168

Journal of Philosophical Logic > 1997 > 26 > 3 > 251-309

Journal of Philosophical Logic > 1997 > 26 > 3 > 241-250

Journal of Philosophical Logic > 1997 > 26 > 3 > 341-356

Journal of Philosophical Logic > 1997 > 26 > 3 > 237-239

Journal of Philosophical Logic > 1997 > 26 > 3 > 311-339

Journal of Philosophical Logic > 1997 > 26 > 4 > 377-389

Journal of Philosophical Logic > 1997 > 26 > 4 > 411-422

Journal of Philosophical Logic > 1997 > 26 > 4 > 391-409