Roman Kossak - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2021

Disjunctions with Stopping conditionsRoman Kossak, Bartosz Wcislo. bsl, 27(3):231-253, 2021. [doi]

2019

Neutrally expandable models of arithmeticAthar Abdul-Quader, Roman Kossak. mlq, 65(2):212-217, 2019. [doi]

2015

From the editorsÅsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces. In Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces, editors, Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Volume 5 of Ontos Mathematical Logic, De Gruyter, 2015. [doi]

2012

On Cofinal Submodels and Elementary IntersticesRoman Kossak, James H. Schmerl. ndjfl, 53(3):267-287, 2012. [doi]

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):787-794, 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.

1992

Game Approximations of Satisfaction Classes ModelsRoman Kossak, Henryk Kotlarski. mlq, 38(1):21-26, 1992. [doi]

Subsets of models of arithmeticRoman Kossak, Jeffrey B. Paris. AML, 32(1):65-73, 1992. [doi]

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.

1988

n and an Intermediate Induction SchemaZofia Adamowicz, Roman Kossak. mlq, 34(3):261-264, 1988. [doi]

1985

A note on satisfaction classesRoman Kossak. ndjfl, 26(1):1-8, 1985. [doi]

1-like models of arithmeticRoman Kossak. ndjfl, 26(4):413-422, 1985. [doi]

1983

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

Sign in or sign up to see more results.

runs on WebDSL