Concepedia
Israel Journal of Mathematics · 2009 · 47 citations · 15 references
Higher Category TheoryCategorical ModelCategorical LogicSemantics
15
On strongly minimal sets
John T. Baldwin, A. H. Lachlan · Journal of Symbolic Logic · 1971 · 217 citations
Principal Extension, Extremal Set Theory, Model Theory +6
Categoricity for abstract classes with amalgamation
Saharon Shelah · Annals of Pure and Applied Logic · 1999 · 124 citations
Automated Reasoning, Type Theory, Abstract Classes +2
GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES
Rami Grossberg, Monica VanDieren · Journal of Mathematical Logic · 2006 · 103 citations
Abstract Elementary Classes, Abstract Algebra, Algebraic Structure +7
Classification theory for non-elementary classes I: The number of uncountable models ofψ ∈L ω_1, ω. Part A
Saharon Shelah · Israel Journal of Mathematics · 1983 · 84 citations
Combinatorics On Word, Non-elementary Classes, Classification Theory +2
CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES
Rami Grossberg, Monica VanDieren · Journal of Mathematical Logic · 2006 · 77 citations
Type Theory, Higher Category Theory, Model Theory +6