Roman Kossak

2004
12	EE	Roman Kossak: Undefinability of truth and nonstandard models. Ann. Pure Appl. Logic 126(1-3): 115-123 (2004)
11	EE	Roman Kossak: A note on a theorem of Kanovei. Arch. Math. Log. 43(4): 565-569 (2004)
10	EE	Alexandre Ivanov, Roman Kossak: Automorphism group actions on trees. Math. Log. Q. 50(1): 71-76 (2004)
1997
9	EE	Roman Kossak: Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets. Logic Journal of the IGPL 5(6): (1997)
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)

Coauthor Index

1	Alexandre Ivanov	[10]
2	Richard Kaye	[5]
3	Henryk Kotlarski	[5] [6]
4	Mark E. Nadel	[2]
5	James H. Schmerl	[2] [4] [6] [7]

Colors in the list of coauthors