The structure of models of Peano arithmetic R Kossak, J Schmerl
Clarendon Press, 2006
170 2006 Automorphisms of recursively saturated models of arithmetic R Kaye, R Kossak, H Kotlarski
Annals of Pure and Applied Logic 55 (1), 67-99, 1991
58 1991 On maximal subgroups of the automorphism group of a countable recursively saturated model of PA R Kossak, H Kotlarski, JH Schmerl
Annals of Pure and Applied Logic 65 (2), 125-148, 1993
34 1993 Results on automorphisms of recursively saturated models of PA R Kossak, H Kotlarski
Fundamenta Mathematicae 1 (129), 9-15, 1988
31 1988 The automorphism group of an arithmetically saturated model of Peano arithmetic R Kossak, JH Schmerl
Journal of the London Mathematical Society 52 (2), 235-244, 1995
26 1995 Set theory, arithmetic, and foundations of mathematics: theorems, philosophies J Kennedy, R Kossak
Cambridge University Press, 2011
25 2011 Arithmetically saturated models of arithmetic R Kossak, JH Schmerl
Notre Dame Journal of Formal Logic 36 (4), 531-546, 1995
25 1995 A note on satisfaction classes. R Kossak
Notre Dame journal of formal logic 26 (1), 1-8, 1985
25 1985 What are infinitesimals and why they cannot be seen R Kossak
The American mathematical monthly 103 (10), 846-853, 1996
16 1996 Subsets of models of arithmetic R Kossak, JB Paris
Archive for Mathematical Logic 32, 65-73, 1992
16 1992 A certain class of models of Peano arithmetic R Kossak
The Journal of Symbolic Logic 48 (2), 311-320, 1983
15 1983 On two questions concerning the automorphism groups of countable recursively saturated models of PA. R Kossak, N Bamber
Archive for Mathematical Logic 36 (1), 1996
14 1996 Minimal satisfaction classes with an application to rigid models of Peano arithmetic. R Kossak, JH Schmerl
Notre Dame journal of formal logic 32 (3), 392-398, 1991
13 1991 On extensions of models of strong fragments of arithmetic R Kossak
Proceedings of the American Mathematical Society 108 (1), 223-232, 1990
12 1990 Models with the ω-property R Kossak
The Journal of symbolic logic 54 (1), 177-189, 1989
12 1989 Simplicity: ideals of practice in mathematics and the arts R Kossak, P Ording
Springer, 2017
11 2017 Four problems concerning recursively saturated models of arithmetic R Kossak
Notre Dame Journal of Formal Logic 36 (4), 519-530, 1995
10 1995 Recursively saturated -like models of arithmetic. R Kossak
Notre Dame journal of formal logic 26 (4), 413-422, 1985
9 1985 a Resplendent Structure? R Kossak
Notices of the AMS 58 (6), 812-814, 2011
8 2011 On extending automorphisms of models of Peano arithmetic R Kossak, H Kotlarski
Fundamenta Mathematicae 149 (3), 245-263, 1996
8 1996