Roman Kossak

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Mathematical logic. On numbers, sets, structures, and symmetry	2024-05-21	Paper
Book review of: T. Bedürftig and R. Murawski, Philosophy of mathematics The Mathematical Intelligencer	2023-07-12	Paper
63 Years of the MacDowell-Specker Theorem	2022-08-05	Paper
Undefinability and Absolute Undefinability in Arithmetic	2022-05-12	Paper
DISJUNCTIONS WITH STOPPING CONDITIONS The Bulletin of Symbolic Logic	2022-01-11	Paper
scientific article; zbMATH DE number 7385379 (Why is no real title available?)	2021-08-25	Paper
Book review of: J. T. Baldwin, Model theory and the philosophy of mathematical practice. Formalization without foundationalism The Mathematical Intelligencer	2020-10-16	Paper
Neutrally expandable models of arithmetic Mathematical Logic Quarterly	2020-05-06	Paper
Adding standardness to nonstandard arithmetic	2020-03-30	Paper
Book review of: M. D. Davis, The universal computer. The road from Leibniz to Turing. 3rd edition The Mathematical Intelligencer	2019-07-26	Paper
Book review of: J. Stillwell, Reverse mathematics: proofs from the inside out. The Mathematical Intelligencer	2019-03-12	Paper
Disjunctions with stopping condition (available as arXiv preprint)	2018-10-17	Paper
Mathematical logic. On numbers, sets, structures, and symmetry Springer Graduate Texts in Philosophy	2018-09-28	Paper
Book review of: P. Mancosu, Abstraction and infinity The Mathematical Intelligencer	2018-09-06	Paper
Neutrally Expandable Models of Arithmetic (available as arXiv preprint)	2017-12-18	Paper
Book review of: P. Mancosu, The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900--1940 The Mathematical Intelligencer	2015-07-10	Paper
Book review of: Craig Smoryński, Adventures in formalism The Mathematical Intelligencer	2014-07-02	Paper
Book review of: J. Väänänen, Models and games The Mathematical Intelligencer	2013-11-27	Paper
On cofinal submodels and elementary interstices Notre Dame Journal of Formal Logic	2012-11-23	Paper
Introduction	2012-03-02	Paper
What is \dots a resplendent structure?	2011-10-10	Paper
The complexity of classification problems for models of arithmetic The Bulletin of Symbolic Logic	2010-10-26	Paper
More on extending automorphisms of models of Peano Arithmetic Fundamenta Mathematicae	2008-06-23	Paper
On some uses of nonstandard models	2008-03-03	Paper
The structure of models of Peano arithmetic	2006-08-23	Paper
scientific article; zbMATH DE number 2236641 (Why is no real title available?)	2005-12-08	Paper
A note on a theorem of Kanovei Archive for Mathematical Logic	2004-12-16	Paper
Undefinability of truth and nonstandard models Annals of Pure and Applied Logic	2004-08-06	Paper
Automorphism group actions on trees Mathematical Logic Quarterly	2004-03-15	Paper
scientific article; zbMATH DE number 1222926 (Why is no real title available?)	2001-10-23	Paper
The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic Journal of the London Mathematical Society	1999-02-02	Paper
Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets Logic Journal of the IGPL	1997-12-17	Paper
On two questions concerning the automorphism groups of countable recursively saturated models of PA Archive for Mathematical Logic	1997-10-26	Paper
What Are Infinitesimals and Why They Cannot Be Seen The American Mathematical Monthly	1997-07-17	Paper
scientific article; zbMATH DE number 889876 (Why is no real title available?)	1996-08-04	Paper
Four problems concerning recursively saturated models of arithmetic Notre Dame Journal of Formal Logic	1996-05-22	Paper
Arithmetically saturated models of arithmetic Notre Dame Journal of Formal Logic	1996-05-22	Paper
GAME APPROXIMATIONS OF SATISFACTION CLASSES MODELS Mathematical Logic Quarterly	1994-12-01	Paper
On maximal subgroups of the automorphism group of a countable recursively saturated model of PA Annals of Pure and Applied Logic	1994-09-26	Paper
Subsets of models of arithmetic Archive for Mathematical Logic	1994-01-13	Paper
scientific article; zbMATH DE number 57851 (Why is no real title available?)	1992-09-27	Paper
Minimal satisfaction classes with an application to rigid models of Peano arithmetic Notre Dame Journal of Formal Logic	1992-06-28	Paper
Automorphisms of recursively saturated models of arithmetic Annals of Pure and Applied Logic	1992-06-28	Paper
A Correction to "On Extensions of Models of Strong Fragments of Arithmetic" Proceedings of the American Mathematical Society	1991-01-01	Paper
On Extensions of Models of Strong Fragments of Arithmetic	1990-01-01	Paper
Models with the <i>ω</i>-property Journal of Symbolic Logic	1989-01-01	Paper
A note on the multiplicative semigroup of models of Peano arithmetic Journal of Symbolic Logic	1989-01-01	Paper
A Note on BΣ<sub><i>n</i></sub> and an Intermediate Induction Schema Mathematical Logic Quarterly	1988-01-01	Paper
Results on automorphisms of recursively saturated models of PA Fundamenta Mathematicae	1988-01-01	Paper
scientific article; zbMATH DE number 4010521 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 4035826 (Why is no real title available?)	1986-01-01	Paper
A note on satisfaction classes Notre Dame Journal of Formal Logic	1985-01-01	Paper
Recursively saturated $\omega _ 1$-like models of arithmetic Notre Dame Journal of Formal Logic	1985-01-01	Paper
scientific article; zbMATH DE number 3928991 (Why is no real title available?)	1984-01-01	Paper
scientific article; zbMATH DE number 3895045 (Why is no real title available?)	1984-01-01	Paper
$L_{∞ ω_1}-elementary equivalence of $ω_1$-like models of PA Fundamenta Mathematicae	1984-01-01	Paper
A certain class of models of Peano arithmetic Journal of Symbolic Logic	1983-01-01	Paper
scientific article; zbMATH DE number 3715528 (Why is no real title available?)	1980-01-01	Paper

Research outcomes over time

This page was built for person: Roman Kossak