On definability in dependence logic
| Authors |
|
|---|---|
| Publication date | 2009 |
| Journal | Journal of Logic, Language and Information |
| Volume | Issue number | 18 | 3 |
| Pages (from-to) | 317-332 |
| Organisations |
|
| Abstract | We study the expressive power of open formulas of dependence logic introduced in Väänänen [Dependence logic (Vol. 70 of London Mathematical Society Student Texts), 2007]. In particular, we answer a question raised by Wilfrid Hodges: how to characterize the sets of teams definable by means of identity only in dependence logic, or equivalently in independence friendly logic. |
| Document type | Article |
| Language | English |
| Published at | https://doi.org/10.1007/s10849-009-9082-0 |
| Permalink to this page | |