#### Filter Results:

- Full text PDF available (14)

#### Publication Year

1972

2017

- This year (1)
- Last 5 years (10)
- Last 10 years (21)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- James H. Schmerl, William T. Trotter
- Discrete Mathematics
- 1993

A hnite. indecomposabic partially ordered set is said to be critically indecomposahlc if. whenever an clement is removed. the resulting induced partially ordered set is not indccomposabic. The same terminology can be applied to graphs. tournaments, or any other relational structure whose relations are binary and irrcflexive. It will be shown in this paper… (More)

- Manuel Lerman, James H. Schmerl
- J. Symb. Log.
- 1979

- James H. Schmerl
- Arch. Math. Log.
- 2000

- H. Jerome Keisler, James H. Schmerl
- J. Symb. Log.
- 1991

- James H. Schmerl
- Discrete Mathematics
- 1994

- James H. Schmerl
- J. Symb. Log.
- 1995

- James H. Schmerl
- Notre Dame Journal of Formal Logic
- 1985

- Matt Kaufmann, James H. Schmerl
- Ann. Pure Appl. Logic
- 1984

Recursive saturation has come to play an important part in the model theory of Peano Arithmetic (PA). One of the neater results is the theorem of Smoryfiski and Stavi [16] that recursive saturation is preserved by cofinal extensions. (We give a quite simple proof of this in Corollary 1.3(i).) It is natural to inquire about a converse to this theorem, but… (More)

- James H. Schmerl
- Math. Log. Q.
- 2000

- James H. Schmerl
- Arch. Math. Log.
- 2014

A basic result in the model theory of Peano Arithmetic (PA) is the theorem of MacDowell and Specker [11], which asserts that every model M of PA has an elementary end extension N end M. Phillips [12] observed that the proof of the MacDowell–Specker Theorem yields even more: every modelM of PA has a conservative elementary extensionN M. We let Def(M) be the… (More)