| 2007 |
|---|
| 14 | EE | Roman Kossak:
On Some Uses of Nonstandard Models.
Fundam. Inform. 81(1-3): 165-172 (2007) |
| 2004 |
|---|
| 13 | EE | Roman Kossak:
Undefinability of truth and nonstandard models.
Ann. Pure Appl. Logic 126(1-3): 115-123 (2004) |
| 12 | EE | Roman Kossak:
A note on a theorem of Kanovei.
Arch. Math. Log. 43(4): 565-569 (2004) |
| 11 | EE | Alexandre Ivanov,
Roman Kossak:
Automorphism group actions on trees.
Math. Log. Q. 50(1): 71-76 (2004) |
| 1997 |
|---|
| 10 | EE | Roman Kossak:
Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets.
Logic Journal of the IGPL 5(6): (1997) |
| 1996 |
|---|
| 9 | EE | Roman Kossak,
Nicholas Bamber:
On two questions concerning the automorphism groups of countable recursively saturated models of PA.
Arch. Math. Log. 36(1): 73-79 (1996) |
| 1995 |
|---|
| 8 | | Roman Kossak:
Four Problems Concerning Recursively Saturated Models of Arithmetic.
Notre Dame Journal of Formal Logic 36(4): 519-530 (1995) |
| 7 | | Roman Kossak,
James H. Schmerl:
Arithmetically Saturated Models of Arithmetic.
Notre Dame Journal of Formal Logic 36(4): 531-546 (1995) |
| 1993 |
|---|
| 6 | | Roman Kossak,
Henryk Kotlarski,
James H. Schmerl:
On Maximal Subgroups of the Automorphism Group of a Countable Recursively Saturated Model of PA.
Ann. Pure Appl. Logic 65(2): 125-148 (1993) |
| 1991 |
|---|
| 5 | | Richard Kaye,
Roman Kossak,
Henryk Kotlarski:
Automorphisms of Recursively Saturated Models of Arithmetic.
Ann. Pure Appl. Logic 55(1): 67-99 (1991) |
| 4 | | Roman Kossak,
James H. Schmerl:
Minimal Satisfaction Classes with an Application to Rigid Models of {Peano} Arithmetic.
Notre Dame Journal of Formal Logic 32(3): 392-398 (1991) |
| 1989 |
|---|
| 3 | | Roman Kossak:
Models with the omega-Property.
J. Symb. Log. 54(1): 177-189 (1989) |
| 2 | | Roman Kossak,
Mark E. Nadel,
James H. Schmerl:
A Note on the Multiplicative Semigroup of Models of Peano Arithmetic.
J. Symb. Log. 54(3): 936-940 (1989) |
| 1983 |
|---|
| 1 | | Roman Kossak:
A Certain Class of Models of Peano Arithmetic.
J. Symb. Log. 48(2): 311-320 (1983) |
