Ernest Schimmerling - Concepedia

Author

Ernest Schimmerling

Carnegie Mellon University ORCID

Also Known As

E. Schimmerling, ERNEST SCHIMMERLING, Ernest Schimmerling, Schimmerling, Ernest

Publications

673

Citations

H-Index

Concepts

All Affiliations

Carnegie Mellon University University of California, Los Angeles University of California, Berkeley University of California, Irvine IIT@MIT

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	110
2	Automated Reasoning	2	2	47
3	Behavioral Sciences	1	1	32
4	Mathematical Foundations	1	1	63
5	Animal Behavior	1	1	32

Ernest Schimmerling

Publications

558

Citations

H-Index

Page 1

	Year	Citations
Combinatorial principles in the core model for one Woodin cardinal Ernest Schimmerling Annals of Pure and Applied Logic Woodin CardinalCombinatorial DesignCombinatorial Design TheoryEnumerative CombinatoricsTopological Combinatorics	1995	93
Square in Core Models Ernest Schimmerling, Martin Zeman Bulletin of Symbolic Logic Mitchell-steel Core ModelsCore ModelsEngineeringModel AnalysisExtremal Set Theory	2001	63
CHARACTERIZATION OF □<sub>κ</sub> IN CORE MODELS Ernest Schimmerling, Martin Zeman Journal of Mathematical Logic Local DefinitionElementary EmbeddingsGeneral ConstructionParticle PhysicsSet-theoretic Topology	2004	51
The covering lemma up to a Woodin cardinal William J. Mitchell, Ernest Schimmerling, John R. Steel Annals of Pure and Applied Logic Woodin CardinalCovering ProblemsSet-theoretic TopologyTopological CombinatoricsPartially Ordered Set	1997	51
Indexed squares James Cummings, Ernest Schimmerling Israel Journal of Mathematics	2002	50
Weak covering without countable closure William J. Mitchell, Ernest Schimmerling Mathematical Research Letters	1995	49
The maximality of the core model Ernest Schimmerling, John R. Steel Transactions of the American Mathematical Society Math XmlnsAnnotation Encoding=Core ModelComputational Model TheoryModel Theory	1999	43
THE ABC'S of Mice Ernest Schimmerling Bulletin of Symbolic Logic Knockout MouseConstructive MathematicsBehavioral SciencesEngineeringAutomated Reasoning	2001	32
Stacking mice Ronald Björn Jensen, Ernest Schimmerling, Ralf Schindler, Journal of Symbolic Logic Set-theoretic TopologyModel TheoryPartially Ordered SetStrong CardinalsInner Model	2009	32
Fine structure for tame inner models Ernest Schimmerling, John R. Steel Journal of Symbolic Logic Tame MiceSet-theoretic TopologyModel TheoryTame MouseModel Building	1996	23

Page 1