Roman Kossak

Publication Activity (10 Years)

Years Active: 1983-2021
Publications (10 Years): 2

Top Topics

Software Architecture

Multiresolution

Parametric Models

Environmental Conditions

Top Venues

Bull. Symb. Log.

Notre Dame J. Formal Log.

Publications

Roman Kossak, Bartosz Wcislo
Disjunctions with Stopping conditions. Bull. Symb. Log. 27 (3) (2021)
Athar Abdul-Quader, Roman Kossak
Neutrally expandable models of arithmetic. Math. Log. Q. 65 (2) (2019)
Roman Kossak, James H. Schmerl
On Cofinal Submodels and Elementary Interstices. Notre Dame J. Formal Log. 53 (3) (2012)
Samuel Coskey, Roman Kossak
The complexity of classification problems for models of arithmetic. Bull. Symb. Log. 16 (3) (2010)
Roman Kossak
On Some Uses of Nonstandard Models. Fundam. Informaticae 81 (1-3) (2007)
Roman Kossak
A note on a theorem of Kanovei. Arch. Math. Log. 43 (4) (2004)
Alexandre Ivanov, Roman Kossak
Automorphism group actions on trees. Math. Log. Q. 50 (1) (2004)
Roman Kossak
Undefinability of truth and nonstandard models. Ann. Pure Appl. Log. 126 (1-3) (2004)
Roman Kossak
Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets. Log. J. IGPL 5 (6) (1997)
Roman Kossak, Nicholas Bamber
On two questions concerning the automorphism groups of countable recursively saturated models of PA. Arch. Math. Log. 36 (1) (1996)
Roman Kossak, James H. Schmerl
Arithmetically Saturated Models of Arithmetic. Notre Dame J. Formal Log. 36 (4) (1995)
Roman Kossak
Four Problems Concerning Recursively Saturated Models of Arithmetic. Notre Dame J. Formal Log. 36 (4) (1995)
Roman Kossak, Henryk Kotlarski, James H. Schmerl
On Maximal Subgroups of the Automorphism Group of a Countable Recursively Saturated Model of PA. Ann. Pure Appl. Logic 65 (2) (1993)
Roman Kossak, Henryk Kotlarski
Game Approximations of Satisfaction Classes Models. Math. Log. Q. 38 (1) (1992)
Roman Kossak, Jeffrey B. Paris
Subsets of models of arithmetic. Arch. Math. Log. 32 (1) (1992)
Roman Kossak, James H. Schmerl
Minimal Satisfaction Classes with an Application to Rigid Models of Peano Arithmetic. Notre Dame J. Formal Log. 32 (3) (1991)
Richard Kaye, Roman Kossak, Henryk Kotlarski
Automorphisms of Recursively Saturated Models of Arithmetic. Ann. Pure Appl. Log. 55 (1) (1991)
Roman Kossak
Models with the omega-Property. J. Symb. Log. 54 (1) (1989)
Roman Kossak, Mark E. Nadel, James H. Schmerl
A Note on the Multiplicative Semigroup of Models of Peano Arithmetic. J. Symb. Log. 54 (3) (1989)
Zofia Adamowicz, Roman Kossak
and an Intermediate Induction Schema. Math. Log. Q. 34 (3) (1988)
Roman Kossak
-like models of arithmetic. Notre Dame J. Formal Log. 26 (4) (1985)
Roman Kossak
A note on satisfaction classes. Notre Dame J. Formal Log. 26 (1) (1985)
Roman Kossak
A Certain Class of Models of Peano Arithmetic. J. Symb. Log. 48 (2) (1983)