Roman Kossak - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

The complexity of classification problems for models of arithmeticSamuel Coskey, Roman Kossak. bsl, 16(3):345-358, 2010. [doi]

2007

On Some Uses of Nonstandard ModelsRoman Kossak. FUIN, 81(1-3):165-172, 2007. [doi]

2004

Automorphism group actions on treesAlexandre Ivanov, Roman Kossak. mlq, 50(1):71-76, 2004. [doi]

A note on a theorem of KanoveiRoman Kossak. AML, 43(4):565-569, 2004. [doi]

Undefinability of truth and nonstandard modelsRoman Kossak. APAL, 126(1-3):115-123, 2004. [doi]

1997

Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point SetsRoman Kossak. igpl, 5(6), 1997. [doi]

1996

On two questions concerning the automorphism groups of countable recursively saturated models of PARoman Kossak, Nicholas Bamber. AML, 36(1):73-79, 1996. [doi]

1995

Four Problems Concerning Recursively Saturated Models of ArithmeticRoman Kossak. ndjfl, 36(4):519-530, 1995.

Arithmetically Saturated Models of ArithmeticRoman Kossak, James H. Schmerl. ndjfl, 36(4):531-546, 1995.

1993

On Maximal Subgroups of the Automorphism Group of a Countable Recursively Saturated Model of PARoman Kossak, Henryk Kotlarski, James H. Schmerl. APAL, 65(2):125-148, 1993.

1991

Automorphisms of Recursively Saturated Models of ArithmeticRichard Kaye, Roman Kossak, Henryk Kotlarski. APAL, 55(1):67-99, 1991.

Minimal Satisfaction Classes with an Application to Rigid Models of {Peano} ArithmeticRoman Kossak, James H. Schmerl. ndjfl, 32(3):392-398, 1991.

1989

Models with the omega-PropertyRoman Kossak. JSYML, 54(1):177-189, 1989.

A Note on the Multiplicative Semigroup of Models of Peano ArithmeticRoman Kossak, Mark E. Nadel, James H. Schmerl. JSYML, 54(3):936-940, 1989.

1983

A Certain Class of Models of Peano ArithmeticRoman Kossak. JSYML, 48(2):311-320, 1983.