Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Roman Kossak
@article{DBLP:journals/bsl/KossakW21,
author = {Roman Kossak and
Bartosz Wcislo},
title = {Disjunctions with Stopping conditions},
journal = {Bull. Symb. Log.},
volume = {27},
number = {3},
pages = {231--253},
year = {2021},
url = {https://doi.org/10.1017/bsl.2019.55},
doi = {10.1017/BSL.2019.55},
timestamp = {Wed, 22 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/KossakW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Abdul-QuaderK19,
author = {Athar Abdul{-}Quader and
Roman Kossak},
title = {Neutrally expandable models of arithmetic},
journal = {Math. Log. Q.},
volume = {65},
number = {2},
pages = {212--217},
year = {2019},
url = {https://doi.org/10.1002/malq.201800043},
doi = {10.1002/MALQ.201800043},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Abdul-QuaderK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/HirvonenKKV15,
author = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {From the editors},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {VII--VIII},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.vii},
doi = {10.1515/9781614516873.VII},
timestamp = {Tue, 16 May 2017 14:01:41 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/HirvonenKKV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0035342,
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873},
doi = {10.1515/9781614516873},
isbn = {978-1-61451-687-3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0035342.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/KossakS12,
author = {Roman Kossak and
James H. Schmerl},
title = {On Cofinal Submodels and Elementary Interstices},
journal = {Notre Dame J. Formal Log.},
volume = {53},
number = {3},
pages = {267--287},
year = {2012},
url = {https://doi.org/10.1215/00294527-1716802},
doi = {10.1215/00294527-1716802},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/KossakS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/CoskeyK10,
author = {Samuel Coskey and
Roman Kossak},
title = {The complexity of classification problems for models of arithmetic},
journal = {Bull. Symb. Log.},
volume = {16},
number = {3},
pages = {345--358},
year = {2010},
url = {https://doi.org/10.2178/bsl/1286284557},
doi = {10.2178/BSL/1286284557},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/CoskeyK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Kossak07,
author = {Roman Kossak},
title = {On Some Uses of Nonstandard Models},
journal = {Fundam. Informaticae},
volume = {81},
number = {1-3},
pages = {165--172},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi81-1-3-10},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Kossak07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Kossak04,
author = {Roman Kossak},
title = {A note on a theorem of Kanovei},
journal = {Arch. Math. Log.},
volume = {43},
number = {4},
pages = {565--569},
year = {2004},
url = {https://doi.org/10.1007/s00153-004-0218-2},
doi = {10.1007/S00153-004-0218-2},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Kossak04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kossak04,
author = {Roman Kossak},
title = {Undefinability of truth and nonstandard models},
journal = {Ann. Pure Appl. Log.},
volume = {126},
number = {1-3},
pages = {115--123},
year = {2004},
url = {https://doi.org/10.1016/j.apal.2003.10.011},
doi = {10.1016/J.APAL.2003.10.011},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Kossak04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/IvanovK04,
author = {Aleksander Ivanov and
Roman Kossak},
title = {Automorphism group actions on trees},
journal = {Math. Log. Q.},
volume = {50},
number = {1},
pages = {71--76},
year = {2004},
url = {https://doi.org/10.1002/malq.200310078},
doi = {10.1002/MALQ.200310078},
timestamp = {Sat, 01 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/IvanovK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Kossak97,
author = {Roman Kossak},
title = {Automorphisms of Recursively Saturated Models of Peano Arithmetic:
Fixed Point Sets},
journal = {Log. J. {IGPL}},
volume = {5},
number = {6},
pages = {787--794},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.6.787},
doi = {10.1093/JIGPAL/5.6.787},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Kossak97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/KossakB96,
author = {Roman Kossak and
Nicholas Bamber},
title = {On two questions concerning the automorphism groups of countable recursively
saturated models of {PA}},
journal = {Arch. Math. Log.},
volume = {36},
number = {1},
pages = {73--79},
year = {1996},
url = {https://doi.org/10.1007/s001530050056},
doi = {10.1007/S001530050056},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/KossakB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kossak95,
author = {Roman Kossak},
title = {Four Problems Concerning Recursively Saturated Models of Arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {4},
pages = {519--530},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040136913},
doi = {10.1305/NDJFL/1040136913},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kossak95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/KossakS95,
author = {Roman Kossak and
James H. Schmerl},
title = {Arithmetically Saturated Models of Arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {4},
pages = {531--546},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040136914},
doi = {10.1305/NDJFL/1040136914},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/KossakS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KossakKS93,
author = {Roman Kossak and
Henryk Kotlarski and
James H. Schmerl},
title = {On Maximal Subgroups of the Automorphism Group of a Countable Recursively
Saturated Model of {PA}},
journal = {Ann. Pure Appl. Logic},
volume = {65},
number = {2},
pages = {125--148},
year = {1993},
url = {https://doi.org/10.1016/0168-0072(93)90035-C},
doi = {10.1016/0168-0072(93)90035-C},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/KossakKS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/KossakP92,
author = {Roman Kossak and
Jeffrey B. Paris},
title = {Subsets of models of arithmetic},
journal = {Arch. Math. Log.},
volume = {32},
number = {1},
pages = {65--73},
year = {1992},
url = {https://doi.org/10.1007/BF01270396},
doi = {10.1007/BF01270396},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/KossakP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KossakK92,
author = {Roman Kossak and
Henryk Kotlarski},
title = {Game Approximations of Satisfaction Classes Models},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {21--26},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380103},
doi = {10.1002/MALQ.19920380103},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/KossakK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KayeKK91,
author = {Richard Kaye and
Roman Kossak and
Henryk Kotlarski},
title = {Automorphisms of Recursively Saturated Models of Arithmetic},
journal = {Ann. Pure Appl. Log.},
volume = {55},
number = {1},
pages = {67--99},
year = {1991},
url = {https://doi.org/10.1016/0168-0072(91)90098-7},
doi = {10.1016/0168-0072(91)90098-7},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/KayeKK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/KossakS91,
author = {Roman Kossak and
James H. Schmerl},
title = {Minimal Satisfaction Classes with an Application to Rigid Models of
Peano Arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {32},
number = {3},
pages = {392--398},
year = {1991},
url = {https://doi.org/10.1305/ndjfl/1093635835},
doi = {10.1305/NDJFL/1093635835},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/KossakS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kossak89,
author = {Roman Kossak},
title = {Models with the omega-Property},
journal = {J. Symb. Log.},
volume = {54},
number = {1},
pages = {177--189},
year = {1989},
url = {https://doi.org/10.2307/2275023},
doi = {10.2307/2275023},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kossak89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KossakNS89,
author = {Roman Kossak and
Mark E. Nadel and
James H. Schmerl},
title = {A Note on the Multiplicative Semigroup of Models of Peano Arithmetic},
journal = {J. Symb. Log.},
volume = {54},
number = {3},
pages = {936--940},
year = {1989},
url = {https://doi.org/10.2307/2274754},
doi = {10.2307/2274754},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KossakNS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/AdamowiczK88,
author = {Zofia Adamowicz and
Roman Kossak},
title = {A Note on B{\(\Sigma\)}\({}_{\mbox{\emph{n}}}\) and an Intermediate
Induction Schema},
journal = {Math. Log. Q.},
volume = {34},
number = {3},
pages = {261--264},
year = {1988},
url = {https://doi.org/10.1002/malq.19880340309},
doi = {10.1002/MALQ.19880340309},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/AdamowiczK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kossak85,
author = {Roman Kossak},
title = {A note on satisfaction classes},
journal = {Notre Dame J. Formal Log.},
volume = {26},
number = {1},
pages = {1--8},
year = {1985},
url = {https://doi.org/10.1305/ndjfl/1093870757},
doi = {10.1305/NDJFL/1093870757},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kossak85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kossak85a,
author = {Roman Kossak},
title = {Recursively saturated {\(\omega\)}\({}_{\mbox{1}}\)-like models of
arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {26},
number = {4},
pages = {413--422},
year = {1985},
url = {https://doi.org/10.1305/ndjfl/1093870932},
doi = {10.1305/NDJFL/1093870932},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kossak85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kossak83,
author = {Roman Kossak},
title = {A Certain Class of Models of Peano Arithmetic},
journal = {J. Symb. Log.},
volume = {48},
number = {2},
pages = {311--320},
year = {1983},
url = {https://doi.org/10.2307/2273548},
doi = {10.2307/2273548},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kossak83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
