The following pages link to A proof of morley's conjecture (Q3495346):
Displaying 10 items.
- Morley's theorem revisited: origami construction and automated proof (Q633087) (← links)
- Constructions of many complicated uncountable structures and Boolean algebras (Q800910) (← links)
- A proof of the Mullineux conjecture (Q1374739) (← links)
- A generalization of Morley's congruence (Q1721886) (← links)
- On the refinement and countable refinement numbers (Q2703086) (← links)
- From Łoś to today: a theorem that is still central in classification theory (Q2736108) (← links)
- Existentially Incomplete Tame Models and a Conjecture of Ellentuck (Q4243910) (← links)
- The Stable Forking Conjecture in Homogeneous Model Theory (Q4823800) (← links)
- IN MEMORIAM: MICHAEL MORLEY, 1930–2020 (Q5037524) (← links)
- (Q5687441) (← links)