<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-10-17 13:03:59Constructible universe Definable real number Model theory Structure Universal algebra |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2011-10-17 13:03:59Constructible universe Definable real number Model theory Structure Universal algebra |
Add to Reading List |
Decidability of Definability Manuel Bodirsky ´ CNRS / LIX, Ecole Polytechnique Joint work with Michael Pinsker and Todor Tsankov