CEU Electronic Theses and Dissertations, 2010
| Author | Ravelomanantsoa Ratsimihah, Joël |
|---|---|
| Title | Understanding Definability in First-Order Logic |
| Summary | This thesis is on Beth's property. We will try to understand the proof of Beth definability theorem for first-order logic by exhibiting a logic that does not have Beth's property and by looking at a proposed way to fix it. |
| Supervisor | Sain, Ildikó |
| Department | Mathematics MSc |
| Full text | https://www.etd.ceu.edu/2010/ravelomanantsoa-ratsimihah_joel.pdf |
Visit the CEU Library.
© 2007-2021, Central European University