James H. Schmerl

Orcid: 0000-0003-0545-8339

According to our database1, James H. Schmerl authored at least 72 papers between 1972 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
CP-generic expansions of models of Peano Arithmetic.
Math. Log. Q., 2022

2018
More Automorphism Groups of Countable, Arithmetically Saturated Models of Peano Arithmetic.
Notre Dame J. Formal Log., 2018

Acceptable colorings of Indexed Hyperspaces.
J. Symb. Log., 2018

Deciding the chromatic numbers of Algebraic hypergraphs.
J. Symb. Log., 2018

2017
Chromatic numbers of algebraic hypergraphs.
Comb., 2017

Minimal elementary end extensions.
Arch. Math. Log., 2017

2015
Automorphism Groups of Countable Arithmetically saturated Models of Peano Arithmetic.
J. Symb. Log., 2015

Uncountable Real Closed Fields with PA Integer Parts.
J. Symb. Log., 2015

2014
Cofinal elementary extensions.
Math. Log. Q., 2014

Automorphism Groups of saturated Models of Peano Arithmetic.
J. Symb. Log., 2014

Subsets coded in elementary end extensions.
Arch. Math. Log., 2014

2012
Elementary Cuts in Saturated Models of Peano Arithmetic.
Notre Dame J. Formal Log., 2012

On Cofinal Submodels and Elementary Interstices.
Notre Dame J. Formal Log., 2012

A generalization of Sierpiński's paradoxical decompositions: Coloring semialgebraic grids.
J. Symb. Log., 2012

The automorphism group of a resplendent model.
Arch. Math. Log., 2012

2011
Dividing a polygon into two similar polygons.
Discret. Math., 2011

2010
Reverse Mathematics and Grundy colorings of graphs.
Math. Log. Q., 2010

Infinite substructure lattices of models of Peano Arithmetic.
J. Symb. Log., 2010

An Improvement to "A Note on Euclidean Ramsey Theory".
Discret. Comput. Geom., 2010

2008
Self-Embeddings of Computable Trees.
Notre Dame J. Formal Log., 2008

Nondiversity in substructures.
J. Symb. Log., 2008

2007
A Note on Euclidean Ramsey Theory.
Discret. Comput. Geom., 2007

2005
Generic automorphisms and graph coloring.
Discret. Math., 2005

2004
Substructure lattices and almost minimal end extensions of models of Peano arithmetic.
Math. Log. Q., 2004

2003
Partitioning large vector spaces.
J. Symb. Log., 2003

2002
Obstacles to Extending Mirsky's Theorem.
Order, 2002

Moving Intersticial Gaps.
Math. Log. Q., 2002

Some Highly Saturated Models of Peano Arithmetic.
J. Symb. Log., 2002

Automorphism Groups of Models of Peano Arithmetic.
J. Symb. Log., 2002

The Two Points Theorem of Mazurkiewicz.
J. Comb. Theory, Ser. A, 2002

2001
Closed Normal Subgroups.
Math. Log. Q., 2001

2000
Graph Coloring and Reverse Mathematics.
Math. Log. Q., 2000

Elementary extensions of models of set theory.
Arch. Math. Log., 2000

1998
Recursive Models and the Divisibility Poset.
Notre Dame J. Formal Log., 1998

Difference Sets and Recursion Theory.
Math. Log. Q., 1998

What's the Difference?
Ann. Pure Appl. Log., 1998

1995
Fractional Products of Sets.
Random Struct. Algorithms, 1995

PA(aa).
Notre Dame J. Formal Log., 1995

Arithmetically Saturated Models of Arithmetic.
Notre Dame J. Formal Log., 1995

A Reflection Principle and its Applications to Nonstandard Models.
J. Symb. Log., 1995

The Isomorphism Property for Nonstandard Universes.
J. Symb. Log., 1995

1994
The Regularity of Some 1-Additive Sequences.
J. Comb. Theory, Ser. A, 1994

Tiling space with notched cubes.
Discret. Math., 1994

1993
Critically indecomposable partially ordered sets, graphs, tournaments and other binary relational structures.
Discret. Math., 1993

Partitioning Euclidean Space.
Discret. Comput. Geom., 1993

On Maximal Subgroups of the Automorphism Group of a Countable Recursively Saturated Model of PA.
Ann. Pure Appl. Logic, 1993

A weakly definable type which is not definable.
Arch. Math. Log., 1993

1992
End Extensions of Models of Arithmetic.
Notre Dame J. Formal Log., 1992

A General Framework for Discovering and Proving Theorems of the Erdös-Ko-Rado Type.
J. Comb. Theory, Ser. A, 1992

1991
Minimal Satisfaction Classes with an Application to Rigid Models of Peano Arithmetic.
Notre Dame J. Formal Log., 1991

Binary Relational Structures Having Only Countably Many Nonisomorphic Substructures.
J. Symb. Log., 1991

Making the Hyperreal Line Both Saturated and Complete.
J. Symb. Log., 1991

1990
Coinductive aleph<sub>0</sub>-Categorical Theories.
J. Symb. Log., 1990

1989
Large Resplendent Models Generated by Indiscernibles.
J. Symb. Log., 1989

Partially Ordered Sets and the Independence Property.
J. Symb. Log., 1989

A Note on the Multiplicative Semigroup of Models of Peano Arithmetic.
J. Symb. Log., 1989

A Combinatorial Result About Points and Balls in Euclidean Space.
Discret. Comput. Geom., 1989

1987
Remarks on Weak Notions of Saturation in Models of Peano Arithmetic.
J. Symb. Log., 1987

1986
Theories Having Finitely Many Countable Homogeneous Models.
Math. Log. Q., 1986

The chromatic number of graphs which induce neither K<sub>1, 3</sub> nor K<sub>5</sub>-e.
Discret. Math., 1986

1985
Recursively saturated models generated by indiscernibles.
Notre Dame J. Formal Log., 1985

1984
Saturation and simple extensions of models of peano arithmetic.
Ann. Pure Appl. Log., 1984

1983
Some applications of Vizing's theorem to vertex colorings of graphs.
Discret. Math., 1983

1982
On the Role of Ramsey Quantifiers in First Order Arithmetic.
J. Symb. Log., 1982

1981
Decidability and Finite Axiomatizability of Theories of <sub>0</sub>-Categorical Partially Ordered Sets.
J. Symb. Log., 1981

1980
Decidability and <sub>0</sub>-Categoricity of Theories of Partially Ordered Sets.
J. Symb. Log., 1980

1979
Theories with Recursive Models.
J. Symb. Log., 1979

1977
An Axiomatization for a Class of Two-Cardinal Models.
J. Symb. Log., 1977

1976
Remarks on Self-Extending Models.
Math. Log. Q., 1976

1974
Generalizing Special Aronszajn Trees.
J. Symb. Log., 1974

1972
On Power-like Models for Hyperinaccessible Cardinals.
J. Symb. Log., 1972

An Elementary Sentence which Has Ordered Models.
J. Symb. Log., 1972


  Loading...