12 found
Order:
Disambiguations
Mark Nadel [9]Mark E. Nadel [3]Mark S. Nadel [1]
  1.  49
    Infinitary intuitionistic logic from a classical point of view.Mark E. Nadel - 1978 - Annals of Mathematical Logic 14 (2):159-191.
  2.  77
    Models of arithmetic and closed ideals.Julia Knight & Mark Nadel - 1982 - Journal of Symbolic Logic 47 (4):833-840.
  3.  52
    Expansions of models and Turing degrees.Julia Knight & Mark Nadel - 1982 - Journal of Symbolic Logic 47 (3):587-604.
  4.  64
    The pure part of HYP(M).Mark Nadel & Jonathan Stavi - 1977 - Journal of Symbolic Logic 42 (1):33-46.
    Let M be a structure for a language L on a set M of urelements. HYP(M) is the least admissible set above M. In § 1 we show that pp(HYP(M)) [ = the collection of pure sets in HYP(M] is determined in a simple way by the ordinal α = ⚬(HYP(M)) and the $\mathscr{L}_{\propto\omega}$ theory of M up to quantifier rank α. In § 2 we consider the question of which pure countable admissible sets are of the form pp(HYP(M)) for (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  43
    A note on the multiplicative semigroup of models of peano arithmetic.Roman Kossak, Mark Nadel & James Schmerl - 1989 - Journal of Symbolic Logic 54 (3):936-940.
  6.  46
    An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic.Mark E. Nadel - 1980 - Mathematical Logic Quarterly 26 (7-9):103-109.
  7.  10
    Economic Power and Public Policy: The Case of Consumer Protection.Mark Nadel - 1971 - Politics and Society 1 (3):313-326.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  35
    On a problem of MacDowell and Specker.Mark Nadel - 1980 - Journal of Symbolic Logic 45 (3):612-622.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  88
    On models of the elementary theory of (z + 1).Mark Nadel & Jonathan Stavi - 1990 - Journal of Symbolic Logic 55 (1):1-20.
  10.  22
    Refining an “Opt in” Approach.Mark S. Nadel - 2004 - American Journal of Bioethics 4 (4):51-52.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  36
    Scott heights of Abelian groups.Mark E. Nadel - 1994 - Journal of Symbolic Logic 59 (4):1351-1359.
  12.  44
    Barwise Jon. Admissible sets and structures. An approach to definability theory. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, XIV + 394 pp. [REVIEW]Mark Nadel - 1978 - Journal of Symbolic Logic 43 (1):139-144.