Translator Disclaimer
Fall 1999 The Theory of Computability Developed in Terms of Satisfaction
James Cain
Notre Dame J. Formal Logic 40(4): 515-532 (Fall 1999). DOI: 10.1305/ndjfl/1012429716

Abstract

The notion of computability is developed through the study of the behavior of a set of languages interpreted over the natural numbers which contain their own fully defined satisfaction predicate and whose only other vocabulary is limited to0, individual variables, the successor function, the identity relation and operators for disjunction, conjunction, and existential quantification.

Citation

Download Citation

James Cain. "The Theory of Computability Developed in Terms of Satisfaction." Notre Dame J. Formal Logic 40 (4) 515 - 532, Fall 1999. https://doi.org/10.1305/ndjfl/1012429716

Information

Published: Fall 1999
First available in Project Euclid: 30 January 2002

zbMATH: 0989.03043
MathSciNet: MR1858240
Digital Object Identifier: 10.1305/ndjfl/1012429716

Subjects:
Primary: 03Dxx
Secondary: 03F40

Rights: Copyright © 1999 University of Notre Dame

JOURNAL ARTICLE
18 PAGES


SHARE
Vol.40 • No. 4 • Fall 1999
Back to Top