The structure of models of Peano arithmetic R Kossak, J Schmerl Clarendon Press, 2006 | 169 | 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 |