Concepedia

Mark Nadel

MN

Statistics

Publications

10

Citations

282

H-Index

10

Active since

1974

Affiliations

University of Notre Dame(Current)

California Institute of Technology

Mark Nadel is an author at University of Notre Dame specializing in automated reasoning, engineering, and formal methods.

Top concepts

Publications per year

1974–1991

10

Publications

10

Scott sentences and admissible sets

Mark Nadel · Annals of Mathematical Logic · 1974 · 76 citations

, , +6

What Needs Securing.

Joshua D. Guttman, Mark Nadel · IEEE Computer Security Foundations Symposium · 1988 · 49 citations

𝐿_{∞}_{𝜆}-equivalence, isomorphism and potential isomorphism

Mark Nadel, Jonathan Stavi · Transactions of the American Mathematical Society · 1978 · 41 citations · Full text

Infinitary intuitionistic logic from a classical point of view

Mark Nadel · Annals of Mathematical Logic · 1978 · 23 citations

, , +5

Models of arithmetic and closed ideals

Julia F. Knight, Mark Nadel · Journal of Symbolic Logic · 1982 · 18 citations

, , +10

1–5 of 10