Foundations of recursive model theory

Annals of Mathematical Logic 13 (1):45 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(78)90030-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Handbook of recursive mathematics.IUrii Leonidovich Ershov (ed.) - 1998 - New York: Elsevier.
A Note on Recursive Models of Set Theories.Domenico Zambella & Antonella Mancini - 2001 - Notre Dame Journal of Formal Logic 42 (2):109-115.
Recursive Ontology: A Systemic Theory of Reality.Valerio Velardo - 2016 - Axiomathes 26 (1):89-114.
Handbook of Recursive Mathematics, Volume 1, Recursive Model Theory.Bakhadyr Khoussainov - 2001 - Bulletin of Symbolic Logic 7 (1):66-69.
Uncountable degree spectra.Valentina S. Harizanov - 1991 - Annals of Pure and Applied Logic 54 (3):255-263.
Goodstein R. L.. Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1957, XII + 190 pp. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (2):227-228.
Hyperarithmetical relations in expansions of recursive structures.Alan D. Vlach - 1994 - Annals of Pure and Applied Logic 66 (2):163-196.
Sufficiency conditions for theories with recursive models.Kelleen R. Hurlburt - 1992 - Annals of Pure and Applied Logic 55 (3):305-320.
Effective model theory vs. recursive model theory.John Chisholm - 1990 - Journal of Symbolic Logic 55 (3):1168-1191.
How complicated is the set of stable models of a recursive logic program?W. Marek, A. Nerode & J. Remmel - 1992 - Annals of Pure and Applied Logic 56 (1-3):119-135.
A blend of methods of recursion theory and topology.Iraj Kalantari & Larry Welch - 2003 - Annals of Pure and Applied Logic 124 (1-3):141-178.
Review: Leo Harrington, Recursively Presentable Prime Models; Terrence S. Millar, Foundations of Recursive Model Theory; Terrence S. Millar, A Complete, Decidable Theory with Two Decidable Models. [REVIEW]C. J. Ash - 1984 - Journal of Symbolic Logic 49 (2):671-672.
On the finiteness of the recursive chromatic number.William I. Gasarch & Andrew C. Y. Lee - 1998 - Annals of Pure and Applied Logic 93 (1-3):73-81.
Recursive analysis.R. L. Goodstein - 1961 - Mineola, N.Y.: Dover Publications.
Recursive functionals.Luis E. Sanchis - 1992 - New York: North-Holland.

Analytics

Added to PP
2014-01-17

Downloads
13 (#1,006,512)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

WKL 0 and induction principles in model theory.David R. Belanger - 2015 - Annals of Pure and Applied Logic 166 (7-8):767-799.
A characterization of the 0 -basis homogeneous bounding degrees.Karen Lange - 2010 - Journal of Symbolic Logic 75 (3):971-995.
Bounding Prime Models.Barbara F. Csima, Denis R. Hirschfeldt, Julia F. Knight & Robert I. Soare - 2004 - Journal of Symbolic Logic 69 (4):1117 - 1142.
Degree Spectra of Prime Models.Barbara F. Csima - 2004 - Journal of Symbolic Logic 69 (2):430 - 442.

View all 19 citations / Add more citations

References found in this work

Recursively presentable prime models.Leo Harrington - 1974 - Journal of Symbolic Logic 39 (2):305-309.

Add more references