Journal of Mathematical Logic 20 (1):2050002 (2019)

Authors
Abstract
The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory T in which all partially recursive functions are representable, yet T does not interpret Robinson’s theory R. To this end, we borrow tools from model theory — specifically, we investigate model-theoretic properties of the model completion of the empty theory in a language with function symbols. We obtain a certain characterization of ∃∀ theories interpretable in existential theories in the process
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2020
DOI 10.1142/s0219061320500026
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,536
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

A Shorter Model Theory.Wilfrid Hodges - 2000 - Studia Logica 64 (1):133-134.
Simple Theories.Byunghan Kim & Anand Pillay - 1996 - Annals of Pure and Applied Logic 88 (2):149-164.
Cuts, Consistency Statements and Interpretations.Pavel Pudlák - 1985 - Journal of Symbolic Logic 50 (2):423-441.
On Model-Theoretic Tree Properties.Artem Chernikov & Nicholas Ramsey - 2016 - Journal of Mathematical Logic 16 (2):1650009.
Generic Expansion and Skolemization in NSOP 1 Theories.Alex Kruckman & Nicholas Ramsey - 2018 - Annals of Pure and Applied Logic 169 (8):755-774.

View all 8 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Geometric Axioms for Existentially Closed Hasse Fields.Piotr Kowalski - 2005 - Annals of Pure and Applied Logic 135 (1-3):286-302.
Hyper-Torre Isols.Erik Ellentuck - 1981 - Journal of Symbolic Logic 46 (1):1-5.
Modules of Existentially Closed Algebras.Paul C. Eklof & Hans-Christian Mez - 1987 - Journal of Symbolic Logic 52 (1):54-63.
A Conjecture on Numeral Systems.Karim Nour - 1997 - Notre Dame Journal of Formal Logic 38 (2):270-275.
Existentially Closed Structures.H. Simmons - 1972 - Journal of Symbolic Logic 37 (2):293-310.
Term Rewriting Theory for the Primitive Recursive Functions. E. Cichon & A. Weiermann - 1997 - Annals of Pure and Applied Logic 83 (3):199-223.
Term Rewriting Theory for the Primitive Recursive Functions.E. A. Cichon & Andreas Weiermann - 1997 - Annals of Pure and Applied Logic 83 (3):199-223.
Large and Small Existentially Closed Structures.H. Simmons - 1976 - Journal of Symbolic Logic 41 (2):379-390.
Existentially Closed Ordered Difference Fields and Rings.Françoise Point - 2010 - Mathematical Logic Quarterly 56 (3):239-256.
Accessible Recursive Functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.

Analytics

Added to PP index
2019-07-02

Total views
12 ( #740,916 of 2,385,584 )

Recent downloads (6 months)
1 ( #560,835 of 2,385,584 )

How can I increase my downloads?

Downloads

My notes