arXiv
Open Access
2014
On VC-density in VC-minimal theories
Vincent Guingona
Abstrak
We show that any formula with two free variables in a VC-minimal theory has VC-codensity at most two. Modifying the argument slightly, we give a new proof of the fact that, in a VC-minimal theory where acl = dcl, the VC-codensity of a formula is at most the number of free variables.
Topik & Kata Kunci
Penulis (1)
V
Vincent Guingona
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2014
- Bahasa
- en
- Sumber Database
- arXiv
- Akses
- Open Access ✓