Roman Kossak
According to our database^{1},
Roman Kossak
authored at least 24 papers
between 1983 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org
On csauthors.net:
Bibliography
2021
Bull. Symb. Log., 2021
2019
Math. Log. Q., 2019
2015
Proceedings of the Logic Without Borders, 2015
2012
Notre Dame J. Formal Log., 2012
2010
Bull. Symb. Log., 2010
2007
Fundam. Informaticae, 2007
2004
Math. Log. Q., 2004
Ann. Pure Appl. Log., 2004
Arch. Math. Log., 2004
1997
Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets.
Log. J. IGPL, 1997
1996
On two questions concerning the automorphism groups of countable recursively saturated models of PA.
Arch. Math. Log., 1996
1995
Notre Dame J. Formal Log., 1995
Notre Dame J. Formal Log., 1995
1993
On Maximal Subgroups of the Automorphism Group of a Countable Recursively Saturated Model of PA.
Ann. Pure Appl. Logic, 1993
1992
Math. Log. Q., 1992
Arch. Math. Log., 1992
1991
Minimal Satisfaction Classes with an Application to Rigid Models of Peano Arithmetic.
Notre Dame J. Formal Log., 1991
Ann. Pure Appl. Log., 1991
1989
J. Symb. Log., 1989
J. Symb. Log., 1989
1988
Math. Log. Q., 1988
1985
Notre Dame J. Formal Log., 1985
Notre Dame J. Formal Log., 1985
1983
J. Symb. Log., 1983