Roman Kossak

	2010
15		Samuel Coskey, Roman Kossak: The complexity of classification problems for models of arithmetic. Bulletin of Symbolic Logic 16(3): 345-358 (2010)
	2007
14		Roman Kossak: On Some Uses of Nonstandard Models. Fundam. Inform. 81(1-3): 165-172 (2007)
	2004
13		Roman Kossak: Undefinability of truth and nonstandard models. Ann. Pure Appl. Logic 126(1-3): 115-123 (2004)
12		Roman Kossak: A note on a theorem of Kanovei. Arch. Math. Log. 43(4): 565-569 (2004)
11		Alexandre Ivanov, Roman Kossak: Automorphism group actions on trees. Math. Log. Q. 50(1): 71-76 (2004)
	1997
10		Roman Kossak: Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets. Logic Journal of the IGPL 5(6): 787-794 (1997)
	1996
9		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)

Coauthor Index

1	Nicholas Bamber	[9]
2	Samuel Coskey	[15]
3	Alexandre Ivanov	[11]
4	Richard Kaye	[5]
5	Henryk Kotlarski	[5] [6]
6	Mark E. Nadel	[2]
7	James H. Schmerl	[2] [4] [6] [7]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page