Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:appliesTo |
gptkb:algebraic_geometry
differential algebra |
| gptkbp:developedBy |
gptkb:Boris_Zilber
gptkb:Ehud_Hrushovski |
| gptkbp:field |
gptkb:logic
gptkb:model_theory |
| gptkbp:focusesOn |
strongly minimal sets
Zariski geometries classification of models stable theories |
| gptkbp:notableAchievement |
applications to number theory
Zilber’s trichotomy conjecture classification of strongly minimal sets Hrushovski’s counterexample to Zilber’s conjecture |
| gptkbp:relatedTo |
stability theory
model-theoretic geometry |
| gptkbp:bfsParent |
gptkb:Zilber's_trichotomy_conjecture
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
geometric stability theory
|