Concepedia
4
Publications
340
Citations
H-Index
1982
Active since
Affiliations
Hebrew University of Jerusalem(Current)
Lehigh University
Rutgers, The State University of New Jersey
Lee Stanley is an author at Hebrew University of Jerusalem specializing in automated reasoning, formal methods, and engineering.
Top concepts
EngineeringFormal MethodsAutomated ReasoningComputer Science
Publications per year
1982–1993
A Borel reductibility theory for classes of countable structures
Harvey M. Friedman, Lee Stanley · Journal of Symbolic Logic · 1989 · 266 citations
Invariant Borel Class, Countable Structures, Mathematical Structure +11
S-forcing, I. A “black-box” theorem for morasses, with applications to super-Souslin trees
Saharon Shelah, Lee Stanley · Israel Journal of Mathematics · 1982 · 35 citations
Topological Combinatorics, Tree Automaton, Super-souslin Trees
A theorem and some consistency results in partition calculus
Saharon Shelah, Lee Stanley · Annals of Pure and Applied Logic · 1987 · 29 citations
Partition (Database), Partition Calculus, Poisson Boundary +1
More consistency results in partition calculus
Saharon Shelah, Lee Stanley · Israel Journal of Mathematics · 1993 · 10 citations
Engineering, Automated Reasoning, Partition (Database) +4
Rows per page
1–4 of 4