| Publication | Date of Publication | Type |
|---|
| CP‐generic expansions of models of Peano Arithmetic | 2023-09-12 | Paper |
| The diversity of minimal cofinal extensions | 2022-12-19 | Paper |
| Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures | 2022-04-07 | Paper |
| The Diversity of Minimal Cofinal Extensions | 2021-09-16 | Paper |
| The Barwise-Schlipf theorem | 2021-01-26 | Paper |
| A remark on a theorem of Erdős | 2020-08-11 | Paper |
| Lofty Models of Peano Arithmetic | 2020-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5213554 | 2020-02-03 | Paper |
| The Pentagon as a Substructure Lattice of Models of Peano Arithmetic | 2019-10-11 | Paper |
| Kernels, truth and satisfaction | 2019-06-18 | Paper |
| ACCEPTABLE COLORINGS OF INDEXED HYPERSPACES | 2019-01-04 | Paper |
| More automorphism groups of countable, arithmetically saturated models of Peano arithmetic | 2018-12-21 | Paper |
| Chromatic numbers of algebraic hypergraphs | 2018-10-25 | Paper |
| DECIDING THE CHROMATIC NUMBERS OF ALGEBRAIC HYPERGRAPHS | 2018-05-02 | Paper |
| Minimal elementary end extensions | 2017-09-15 | Paper |
| Cofinal Extensions and Coded Sets | 2017-08-02 | Paper |
| Automorphism groups of countable arithmetically saturated models of Peano arithmetic | 2016-03-22 | Paper |
| Semialgebraic graphs having countable list-chromatic numbers | 2016-03-03 | Paper |
| UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS | 2015-08-14 | Paper |
| Automorphism groups of saturated models of Peano arithmetic | 2014-09-30 | Paper |
| Subsets coded in elementary end extensions | 2014-08-29 | Paper |
| Cofinal elementary extensions | 2014-03-21 | Paper |
| A generalization of Sierpiński's paradoxical decompositions: Coloring semialgebraic grids | 2013-01-07 | Paper |
| On cofinal submodels and elementary interstices | 2012-11-23 | Paper |
| The automorphism group of a resplendent model | 2012-09-18 | Paper |
| Elementary cuts in saturated models of Peano arithmetic | 2012-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3118401 | 2012-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3118396 | 2012-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3115048 | 2012-02-20 | Paper |
| GRAPHS ON EUCLIDEAN SPACES DEFINED USING TRANSCENDENTAL DISTANCES | 2012-02-10 | Paper |
| Dividing a polygon into two similar polygons | 2011-02-18 | Paper |
| Infinite substructure lattices of models of Peano Arithmetic | 2011-01-12 | Paper |
| Reverse mathematics and Grundy colorings of graphs | 2010-11-04 | Paper |
| Covering the plane with sprays | 2010-06-01 | Paper |
| Some 2-point sets | 2010-04-22 | Paper |
| An improvement to ``A note on Euclidean Ramsey theory | 2010-03-04 | Paper |
| Self-embeddings of computable trees | 2010-01-13 | Paper |
| Nondiversity in substructures | 2008-05-08 | Paper |
| A note on Euclidean Ramsey theory | 2007-10-11 | Paper |
| The structure of models of Peano arithmetic | 2006-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711894 | 2005-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711895 | 2005-12-08 | Paper |
| Generic automorphisms and graph coloring | 2005-04-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4656806 | 2005-03-14 | Paper |
| Substructure lattices and almost minimal end extensions of models of Peano arithmetic | 2005-02-16 | Paper |
| Partitioning large vector spaces | 2005-02-09 | Paper |
| Automorphism groups of models of Peano arithmetic | 2004-03-01 | Paper |
| Some highly saturated models of Peano arithmetic | 2004-03-01 | Paper |
| Minimal spanning trees | 2003-10-29 | Paper |
| How many clouds cover the plane? | 2003-09-10 | Paper |
| Closed normal subgroups | 2002-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531091 | 2002-11-11 | Paper |
| Obstacles to extending Mirsky's theorem | 2002-09-18 | Paper |
| The two points theorem of Mazurkiewicz | 2002-09-12 | Paper |
| Coloring \({\mathbb R}^n\) | 2001-12-10 | Paper |
| Recursive models and the divisibility poset | 2001-07-17 | Paper |
| Elementary extensions of models of set theory | 2001-07-12 | Paper |
| Graph Coloring and Reverse Mathematics | 2001-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494898 | 2000-08-09 | Paper |
| Avoidable algebraic subsets of Euclidean space | 2000-05-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4700519 | 1999-12-19 | Paper |
| What's the difference | 1999-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222594 | 1999-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218531 | 1999-07-07 | Paper |
| Difference Sets and Recursion Theory | 1999-05-24 | Paper |
| The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic | 1999-02-02 | Paper |
| Countable partitions of Euclidean space | 1998-05-14 | Paper |
| \(\text{PA} (aa)\) | 1996-10-27 | Paper |
| A reflection principle and its applications to nonstandard models | 1996-09-30 | Paper |
| Arithmetically saturated models of arithmetic | 1996-05-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873221 | 1996-04-16 | Paper |
| The isomorphism property for nonstandard universes | 1996-03-17 | Paper |
| Triangle-Free Partitions of Euclidean Space | 1995-12-11 | Paper |
| Fractional products of sets | 1995-09-22 | Paper |
| Tiling space with notched cubes | 1995-03-15 | Paper |
| The regularity of some 1-additive sequences | 1995-01-03 | Paper |
| On maximal subgroups of the automorphism group of a countable recursively saturated model of PA | 1994-09-26 | Paper |
| A weakly definable type which is not definable | 1994-09-19 | Paper |
| The order dimension of relatively free lattices | 1994-05-15 | Paper |
| Combinatorial Dimension of Fractional Cartesian Products | 1994-03-10 | Paper |
| Partitioning Euclidean space | 1993-09-02 | Paper |
| Critically indecomposable partially ordered sets, graphs, tournaments and other binary relational structures | 1993-06-29 | Paper |
| Finite Substructure Lattices of Models of Peano Arithmetic | 1993-06-29 | Paper |
| End extensions of models of arithmetic | 1993-02-22 | Paper |
| A general framework for discovering and proving theorems of the Erdős- Ko-Rado type | 1993-01-17 | Paper |
| Minimal satisfaction classes with an application to rigid models of Peano arithmetic | 1992-06-28 | Paper |
| Prime ideals in incidence algebras | 1992-06-28 | Paper |
| Binary relational structures having only countably many nonisomorphic substructures | 1992-06-27 | Paper |
| Making the hyperreal line both saturated and complete | 1992-06-27 | Paper |
| Isomorphic incidence algebras | 1990-01-01 | Paper |
| Coinductive ℵ0-categorical theories | 1990-01-01 | Paper |
| A note on the multiplicative semigroup of models of Peano arithmetic | 1989-01-01 | Paper |
| A combinatorial result about points and balls in Euclidean space | 1989-01-01 | Paper |
| Partially ordered sets and the independence property | 1989-01-01 | Paper |
| Large resplendent models generated by indiscernibles | 1989-01-01 | Paper |
| Remarks on weak notions of saturation in models of Peano arithmetic | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727997 | 1986-01-01 | Paper |
| Ordered sets with small width and large jump number | 1986-01-01 | Paper |
| The chromatic number of graphs which induce neither \(K_{1,3}\) nor \(K_ 5-e\) | 1986-01-01 | Paper |
| Jump number and width | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3724317 | 1986-01-01 | Paper |
| Theories Having Finitely Many Countable Homogeneous Models | 1986-01-01 | Paper |
| Peano Arithmetic and Hyper-Ramsey Logic | 1986-01-01 | Paper |
| Recursively saturated models generated by indiscernibles | 1985-01-01 | Paper |
| Models of Peano arithmetic and a question of Sikorski on ordered fields | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3679213 | 1985-01-01 | Paper |
| Saturation and simple extensions of models of Peano arithmetic | 1984-01-01 | Paper |
| On the size of jump-critical ordered sets | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3344183 | 1984-01-01 | Paper |
| ℵ 0 -Categorical Distributive Lattices of Finite Breadth | 1983-01-01 | Paper |
| Some applications of Vizing's theorem to vertex colorings of graphs | 1983-01-01 | Paper |
| On the role of Ramsey quantifiers in first order arithmetic | 1982-01-01 | Paper |
| The Effective Version of Brooks' Theorem | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3931368 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922684 | 1981-01-01 | Paper |
| Decidability and finite axiomatizability of theories of ℵ0-categorical partially ordered sets | 1981-01-01 | Paper |
| Arborescent Structures. II: Interpretability in the Theory of Trees | 1981-01-01 | Paper |
| Correction to Peano models with many generic classes | 1981-01-01 | Paper |
| Recursive Colorings of Graphs | 1980-01-01 | Paper |
| Decidability and ℵ0-categoricity of theories of partially ordered sets | 1980-01-01 | Paper |
| Countable homogeneous partially ordered sets | 1979-01-01 | Paper |
| Theories with recursive models | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3882437 | 1978-01-01 | Paper |
| Extending models of arithmetic | 1978-01-01 | Paper |
| A decidable $ℵ_0$-categorical theory with a non-recursive Ryll-Nardzewski function | 1978-01-01 | Paper |
| On \(\aleph_0\)-categoricity of filtered Boolean extensions | 1978-01-01 | Paper |
| On $ℵ_0$-categoricity and the theory of trees | 1977-01-01 | Paper |
| ℵ 0 -Categoricity of Partially Ordered Sets of Width 2 | 1977-01-01 | Paper |
| An axiomatization for a class of two-cardinal models | 1977-01-01 | Paper |
| Theories with only a finite number of existentially complete models | 1977-01-01 | Paper |
| Remarks on Self‐Extending Models | 1976-01-01 | Paper |
| Effectiveness and Vaught's Gap ω Two-Cardinal Theorem | 1976-01-01 | Paper |
| The decidability of some $ℵ_0$-categorical theories | 1976-01-01 | Paper |
| On κ-like structures which embed stationary and closed unbounded subsets | 1976-01-01 | Paper |
| Generalizing special Aronszajn trees | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4081238 | 1975-01-01 | Paper |
| The Undecidability of Theories of Groupoids with an Extra Predicate | 1974-01-01 | Paper |
| The Undecidability of Theories of Groupoids with an Extra Predicate | 1974-01-01 | Paper |
| A Partition Property Characterizing Cardinals Hyperinaccessible of Finite Type | 1974-01-01 | Paper |
| Peano models with many generic classes | 1973-01-01 | Paper |
| On power-like models for hyperinaccessible cardinals | 1972-01-01 | Paper |
| An elementary sentence which has ordered models | 1972-01-01 | Paper |
