You are accessing PhilPapers from Open University (UK), an institution that is not subscribed to PhilPapers. Starting on July 1, 2014, we ask institutions that grant philosophy degrees and are based in high-GDP countries to contribute to PhilPapers' maintenance and development through a subscription. See this page for details. Please show your support by contacting your librarian.

Bounding Prime Models

Journal of Symbolic Logic 69 (4):1117 - 1142 (2004)
Abstract
A set X is prime bounding if for every complete atomic decidable (CAD) theory T there is a prime model U of T decidable in X. It is easy to see that $X = 0\prime$ is prime bounding. Denisov claimed that every $X <_{T} 0\prime$ is not prime bounding, but we discovered this to be incorrect. Here we give the correct characterization that the prime bounding sets $X \leq_{T} 0\prime$ are exactly the sets which are not $low_2$ . Recall that X is $low_2$ if $X\prime\prime$ $\leq_{T} 0\prime$ . To prove that a $low_2$ set X is not prime bounding we use a $0\prime$ -computable listing of the array of sets { Y : Y $\leq_{T}$ X } to build a CAD theory T which diagonalizes against all potential X-decidable prime models U of T. To prove that any $non-low_{2}$ ; X is indeed prime bounding, we fix a function f $\leq_T$ X that is not dominated by a certain $0\prime$ -computable function that picks out generators of principal types. Given a CAD theory T. we use f to eventually find, for every formula $\varphi (\bar{x})$ consistent with T, a principal type which contains it, and hence to build an X-decidable prime model of T. We prove the prime bounding property equivalent to several other combinatorial properties, including some related to the limitwise monotonic functions which have been introduced elsewhere in computable model theory
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 10,350
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Citations of this work BETA

No citations found.

Similar books and articles
Barbara F. Csima (2004). Degree Spectra of Prime Models. Journal of Symbolic Logic 69 (2):430 - 442.
Christopher Byrne (1995). Prime Matter and Actuality. Journal of the History of Philosophy 33 (2):197-224.
Paul Studtmann (2006). Prime Matter and Extension in Aristotle. Journal of Philosophical Research 31:171-184.
Saharon Shelah (1979). On Uniqueness of Prime Models. Journal of Symbolic Logic 44 (2):215-220.
Analytics

Monthly downloads

Added to index

2010-08-24

Total downloads

6 ( #197,759 of 1,096,707 )

Recent downloads (6 months)

3 ( #105,642 of 1,096,707 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Start a new thread
Order:
There  are no threads in this forum
Nothing in this forum yet.