TY - JOUR AU - Peter Holy AU - Philipp Lücke TI - Simplest possible locally definable well-orders JO - Fundamenta Mathematicae PY - 2017 SP - 101 EP - 139 VL - 236 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/fm281-7-2016/ DO - 10.4064/fm281-7-2016 LA - en ID - 10_4064_fm281_7_2016 ER -