Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/16519
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | TAN, Tony | - |
dc.date.accessioned | 2014-03-26T14:16:10Z | - |
dc.date.available | 2014-03-26T14:16:10Z | - |
dc.date.issued | 2014 | - |
dc.identifier.uri | http://hdl.handle.net/1942/16519 | - |
dc.description.abstract | The spectrum of a first-order logic sentence is the set of natural numbers that are cardinalities of its finite models. In this note we study the hierarchy of first-order spectra based on the number of variables. We show that it forms an infinite hierarchy. However, despite the fact that more variables can express more spectra, we also show that to show whether the first-order spectra are closed under complement, it is sufficient to consider sentences using only three variables and binary relations. | - |
dc.description.sponsorship | FWO Pegasus Marie Curie Fellowship | - |
dc.language.iso | en | - |
dc.subject.other | spectra; first-order; bounded variables | - |
dc.title | A note on the variable hierarchy of first-order spectra | - |
dc.type | Preprint | - |
local.format.pages | 7 | - |
local.bibliographicCitation.jcat | O | - |
local.contributor.corpauthor | Kopczýnski, Eryk | - |
local.type.specified | Preprint | - |
dc.identifier.url | http://arxiv.org/abs/1403.2225 | - |
item.contributor | TAN, Tony | - |
item.fullcitation | TAN, Tony (2014) A note on the variable hierarchy of first-order spectra. | - |
item.accessRights | Open Access | - |
item.fulltext | With Fulltext | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
spec-k-v-sub.pdf | Non Peer-reviewed author version | 111.38 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.