Limiting cases for spectrum closure results

Document
Contributors
Abstract
The spectrum of a first-order sentence is the set of cardinalities of its finite models. Given a spectrum S and a function f, it is not always clear whether or not the image of S under f is also a spectrum. In this paper, we consider questions of this form for functions that increase very quickly and for functions that increase very slowly. Roughly speaking, we prove that the class of all spectra is closed under functions that increase arbitrarily quickly, but it is not closed under some natural slowly increasing functions.,Peer reviewed,Published.
Subject (Topical)

Refine your search

Note
The Australasian Journal of Logic--1448-5052
Identifier
ISSN: 1448-5052
Publisher
Open Journal Systems
Type
Language
Rights
© 2004 Aaron Hunter