Mark E. Nadel

Publication Activity (10 Years)

Years Active: 1977-1994
Publications (10 Years): 0

Publications

Mark E. Nadel
Scott Heights of Abelian Groups. J. Symb. Log. 59 (4) (1994)
William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer
Proof Script Pragmatics in IMPS. CADE (1994)
Hai-Ping Ko, David A. McAllester, Mark E. Nadel
Lower Bounds for the Lengths of Refutations. J. Log. Program. 17 (1) (1993)
Hai-Ping Ko, Mark E. Nadel
Elementary Lower Bounds for th Length of Refutations. LPAR (1992)
Hai-Ping Ko, Mark E. Nadel
Substitution and Refutation Revisited. ICLP (1991)
Mark E. Nadel, Jonathan Stavi
On Models of the Elementary Theory of (Z, +, 1). J. Symb. Log. 55 (1) (1990)
Roman Kossak, Mark E. Nadel, James H. Schmerl
A Note on the Multiplicative Semigroup of Models of Peano Arithmetic. J. Symb. Log. 54 (3) (1989)
Joshua D. Guttman, Mark E. Nadel
What Needs Securing. CSFW (1988)
Julia F. Knight, Mark E. Nadel
Models of Arithmetic and Closed Ideals. J. Symb. Log. 47 (4) (1982)
Julia F. Knight, Mark E. Nadel
Expansions of Models and Turing Degrees. J. Symb. Log. 47 (3) (1982)
Mark E. Nadel
On a Problem of MacDowell and Specker. J. Symb. Log. 45 (3) (1980)
Mark E. Nadel
An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic. Math. Log. Q. 26 (7-9) (1980)
Mark E. Nadel, Jonathan Stavi
The Pure Part of HYP(M). J. Symb. Log. 42 (1) (1977)