Roman Kossak

25 papers Journal 23
YearRankTypeTitle / Venue / Authors
2021 J jnl
Disjunctions with Stopping conditions.
Bull. Symb. Log.
Roman Kossak, Bartosz Wcislo
2019 J jnl
Neutrally expandable models of arithmetic.
Math. Log. Q.
Athar Abdul-Quader, Roman Kossak
2015 — ch.
From the editors.
Logic Without Borders
Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces
2015 — book
Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics
Logic Without Borders
Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces
2012 J jnl
On Cofinal Submodels and Elementary Interstices.
Notre Dame J. Formal Log.
Roman Kossak, James H. Schmerl
2010 J jnl
The complexity of classification problems for models of arithmetic.
Bull. Symb. Log.
Samuel Coskey, Roman Kossak
2007 J jnl
On Some Uses of Nonstandard Models.
Fundam. Informaticae
Roman Kossak
2004 J jnl
A note on a theorem of Kanovei.
Arch. Math. Log.
Roman Kossak
2004 J jnl
Automorphism group actions on trees.
Math. Log. Q.
Aleksander Ivanov, Roman Kossak
2004 J jnl
Undefinability of truth and nonstandard models.
Ann. Pure Appl. Log.
Roman Kossak
1997 J jnl
Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets.
Log. J. IGPL
Roman Kossak
1996 J jnl
On two questions concerning the automorphism groups of countable recursively saturated models of PA.
Arch. Math. Log.
Roman Kossak, Nicholas Bamber
1995 J jnl
Arithmetically Saturated Models of Arithmetic.
Notre Dame J. Formal Log.
Roman Kossak, James H. Schmerl
1995 J jnl
Four Problems Concerning Recursively Saturated Models of Arithmetic.
Notre Dame J. Formal Log.
Roman Kossak
1993 J jnl
On Maximal Subgroups of the Automorphism Group of a Countable Recursively Saturated Model of PA.
Ann. Pure Appl. Logic
Roman Kossak, Henryk Kotlarski, James H. Schmerl
1992 J jnl
Game Approximations of Satisfaction Classes Models.
Math. Log. Q.
Roman Kossak, Henryk Kotlarski
1992 J jnl
Subsets of models of arithmetic.
Arch. Math. Log.
Roman Kossak, Jeffrey B. Paris
1991 J jnl
Automorphisms of Recursively Saturated Models of Arithmetic.
Ann. Pure Appl. Log.
Richard Kaye, Roman Kossak, Henryk Kotlarski
1991 J jnl
Minimal Satisfaction Classes with an Application to Rigid Models of Peano Arithmetic.
Notre Dame J. Formal Log.
Roman Kossak, James H. Schmerl
1989 J jnl
A Note on the Multiplicative Semigroup of Models of Peano Arithmetic.
J. Symb. Log.
Roman Kossak, Mark E. Nadel, James H. Schmerl
1989 J jnl
Models with the omega-Property.
J. Symb. Log.
Roman Kossak
1988 J jnl
A Note on BΣ
Math. Log. Q.
Zofia Adamowicz, Roman Kossak
1985 J jnl
A note on satisfaction classes.
Notre Dame J. Formal Log.
Roman Kossak
1985 J jnl
Recursively saturated ω
Notre Dame J. Formal Log.
Roman Kossak
1983 J jnl
A Certain Class of Models of Peano Arithmetic.
J. Symb. Log.
Roman Kossak