Abstract
The spectrum, Sp(ϕ), of a sentence ϕ is the set of cardinalities of finite structures which satisfy ϕ. We prove that any set of integers which is in Func 1 ∞ i.e. in the class of spectra of first-order sentences of type containing only unary function symbols is also in BIN1 i.e. in the class of spectra of first-order sentences of type involving only a single binary relation.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
