Roman Kossak

According to our database, Roman Kossak authored at least 24 papers between 1983 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2021

Disjunctions with Stopping conditions.

Roman Kossak, Bartosz Wcislo

Bull. Symb. Log., 2021

2019

Neutrally expandable models of arithmetic.

Athar Abdul-Quader, Roman Kossak

Math. Log. Q., 2019

2015

From the editors.

Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces

Proceedings of the Logic Without Borders, 2015

2012

On Cofinal Submodels and Elementary Interstices.

Roman Kossak, James H. Schmerl

Notre Dame J. Formal Log., 2012

2010

The complexity of classification problems for models of arithmetic.

Samuel Coskey, Roman Kossak

Bull. Symb. Log., 2010

2007

On Some Uses of Nonstandard Models.

Roman Kossak

Fundam. Informaticae, 2007

2004

Automorphism group actions on trees.

Aleksander Ivanov, Roman Kossak

Math. Log. Q., 2004

Undefinability of truth and nonstandard models.

Roman Kossak

Ann. Pure Appl. Log., 2004

A note on a theorem of Kanovei.

Roman Kossak

Arch. Math. Log., 2004

1997

Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets.

Roman Kossak

Log. J. IGPL, 1997

1996

On two questions concerning the automorphism groups of countable recursively saturated models of PA.

Roman Kossak, Nicholas Bamber

Arch. Math. Log., 1996

1995

Arithmetically Saturated Models of Arithmetic.

Roman Kossak, James H. Schmerl

Notre Dame J. Formal Log., 1995

Four Problems Concerning Recursively Saturated Models of Arithmetic.

Roman Kossak

Notre Dame J. Formal Log., 1995

1993

On Maximal Subgroups of the Automorphism Group of a Countable Recursively Saturated Model of PA.

Roman Kossak, Henryk Kotlarski, James H. Schmerl

Ann. Pure Appl. Logic, 1993

1992

Game Approximations of Satisfaction Classes Models.

Roman Kossak, Henryk Kotlarski

Math. Log. Q., 1992

Subsets of models of arithmetic.

Roman Kossak, Jeffrey B. Paris

Arch. Math. Log., 1992

1991

Minimal Satisfaction Classes with an Application to Rigid Models of Peano Arithmetic.

Roman Kossak, James H. Schmerl

Notre Dame J. Formal Log., 1991

Automorphisms of Recursively Saturated Models of Arithmetic.

Richard Kaye, Roman Kossak, Henryk Kotlarski

Ann. Pure Appl. Log., 1991

1989

A Note on the Multiplicative Semigroup of Models of Peano Arithmetic.

Roman Kossak, Mark E. Nadel, James H. Schmerl

J. Symb. Log., 1989

Models with the omega-Property.

Roman Kossak

J. Symb. Log., 1989

1988

A Note on BΣ_<i>n</i> and an Intermediate Induction Schema.

Zofia Adamowicz, Roman Kossak

Math. Log. Q., 1988

1985

Recursively saturated ω₁-like models of arithmetic.

Roman Kossak

Notre Dame J. Formal Log., 1985

A note on satisfaction classes.

Roman Kossak

Notre Dame J. Formal Log., 1985

1983

A Certain Class of Models of Peano Arithmetic.

Roman Kossak

J. Symb. Log., 1983