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/Q3118396 | 2012-03-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q3118401 | 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 |
https://portal.mardi4nfdi.de/entity/Q5484945 | 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 |
https://portal.mardi4nfdi.de/entity/Q4531091 | 2002-11-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q2765571 | 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 |
https://portal.mardi4nfdi.de/entity/Q4521128 | 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 |
Finite Substructure Lattices of Models of Peano Arithmetic | 1993-06-29 | Paper |
Critically indecomposable partially ordered sets, graphs, tournaments and other binary relational structures | 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 |
Coinductive ℵ0-categorical theories | 1990-01-01 | Paper |
Isomorphic incidence algebras | 1990-01-01 | Paper |
A combinatorial result about points and balls in Euclidean space | 1989-01-01 | Paper |
A note on the multiplicative semigroup of models of Peano arithmetic | 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 |
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 |
Peano Arithmetic and Hyper-Ramsey Logic | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3724317 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3727997 | 1986-01-01 | Paper |
Theories Having Finitely Many Countable Homogeneous Models | 1986-01-01 | Paper |
Models of Peano arithmetic and a question of Sikorski on ordered fields | 1985-01-01 | Paper |
Recursively saturated models generated by indiscernibles | 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 |
Some applications of Vizing's theorem to vertex colorings of graphs | 1983-01-01 | Paper |
ℵ 0 -Categorical Distributive Lattices of Finite Breadth | 1983-01-01 | Paper |
The Effective Version of Brooks' Theorem | 1982-01-01 | Paper |
On the role of Ramsey quantifiers in first order arithmetic | 1982-01-01 | Paper |
Correction to Peano models with many generic classes | 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 |
https://portal.mardi4nfdi.de/entity/Q3931368 | 1981-01-01 | Paper |
Arborescent Structures. II: Interpretability in the Theory of Trees | 1981-01-01 | Paper |
Decidability and ℵ0-categoricity of theories of partially ordered sets | 1980-01-01 | Paper |
Recursive Colorings of Graphs | 1980-01-01 | Paper |
Countable homogeneous partially ordered sets | 1979-01-01 | Paper |
Theories with recursive models | 1979-01-01 | Paper |
On \(\aleph_0\)-categoricity of filtered Boolean extensions | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3882437 | 1978-01-01 | Paper |
A decidable $ℵ_0$-categorical theory with a non-recursive Ryll-Nardzewski function | 1978-01-01 | Paper |
Extending models of arithmetic | 1978-01-01 | Paper |
Theories with only a finite number of existentially complete models | 1977-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 |
Remarks on Self‐Extending Models | 1976-01-01 | Paper |
Effectiveness and Vaught's Gap ω Two-Cardinal Theorem | 1976-01-01 | Paper |
On κ-like structures which embed stationary and closed unbounded subsets | 1976-01-01 | Paper |
The decidability of some $ℵ_0$-categorical theories | 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 |
An elementary sentence which has ordered models | 1972-01-01 | Paper |
On power-like models for hyperinaccessible cardinals | 1972-01-01 | Paper |