Concepedia

Ernest Schimmerling

ES

15

Publications

558

Citations

13

H-Index

1995

Active since

Affiliations

Carnegie Mellon University(Current)

University of California, Los Angeles

University of California, Berkeley

University of California, Irvine

IIT@MIT

Ernest Schimmerling is an author at Carnegie Mellon University specializing in engineering, automated reasoning, and model building.

Top concepts

EngineeringModel BuildingAutomated ReasoningFunctional AnalysisMammalogyAnimal BehaviorParticle PhysicsCovering ProblemsBehavioral ScienceDiscrete Mathematics

Publications per year

1995–2009

15

Publications

15

Combinatorial principles in the core model for one Woodin cardinal

Ernest Schimmerling · Annals of Pure and Applied Logic · 1995 · 93 citations

Woodin Cardinal, Combinatorial Design, Combinatorial Design Theory +4

Square in Core Models

Ernest Schimmerling, Martin Zeman · Bulletin of Symbolic Logic · 2001 · 63 citations

Mitchell-steel Core Models, Core Models, Engineering +10

CHARACTERIZATION OF □<sub>κ</sub> IN CORE MODELS

Ernest Schimmerling, Martin Zeman · Journal of Mathematical Logic · 2004 · 51 citations

Local Definition, Elementary Embeddings, General Construction +5

The covering lemma up to a Woodin cardinal

William J. Mitchell, Ernest Schimmerling, John R. Steel · Annals of Pure and Applied Logic · 1997 · 51 citations

Woodin Cardinal, Covering Problems, Set-theoretic Topology +2

Indexed squares

James Cummings, Ernest Schimmerling · Israel Journal of Mathematics · 2002 · 50 citations

Rows per page

1–5 of 15