Thomas J. Grilliot. Omitting types: application to recursion theory. The journal of symbolic logic, vol. 37 , pp. 81–89

Journal of Symbolic Logic 40 (1):87-88 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272287

Links

PhilArchive



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

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

Review: Thomas J. Grilliot, Omitting Types: Application to Recursion Theory. [REVIEW]Wayne Richter - 1975 - Journal of Symbolic Logic 40 (1):87-88.
Omitting types: Application to recursion theory.Thomas J. Grilliot - 1972 - Journal of Symbolic Logic 37 (1):81-89.
Omitting Types: Application to Recursion Theory.Thomas J. Grilliot - 1975 - Journal of Symbolic Logic 40 (1):87-88.
Haim Gaifman. Models and types of Peano's arithmetic. Annals of mathematical logic, vol. 9, pp. 223–306. - Julia F. Knight. Omitting types in set theory and arithmetic. The journal of symbolic logic, vol. 41 , pp. 25–32. - Julia F. Knight. Hanf numbers for omitting types over particular theories. The journal of symbolic logic, vol. 41 , pp. 583–588. - Fred G. Abramson and Leo A. Harrington. Models without indiscernibles. The journal of symbolic logic, vol. 41 , vol. 43 , pp. 572–600. [REVIEW]J. P. Ressayre - 1983 - Journal of Symbolic Logic 48 (2):484-485.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Sayed Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.
Review: S. C. Kleene, Recursive Functionals and Quantifiers of Finite Types II. [REVIEW]Thomas J. Grilliot - 1971 - Journal of Symbolic Logic 36 (1):146-146.
Kleene S. C.. Recursive functionals and quantifiers of finite types II. Transactions of the American Mathematical Society, vol. 108 , pp. 106–142. [REVIEW]Thomas J. Grilliot - 1971 - Journal of Symbolic Logic 36 (1):146-146.
Omitting types in incomplete theories.Enrique Casanovas & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (1):236-245.
An Omitting Types Theorem for first order logic with infinitary relation symbols.Tarek Sayed Ahmed & Basim Samir - 2007 - Mathematical Logic Quarterly 53 (6):564-570.
An omitting types theorem for saturated structures.A. D. Greif & M. C. Laskowski - 1993 - Annals of Pure and Applied Logic 62 (2):113-118.
Omitting types in set theory and arithmetic.Julia F. Knight - 1976 - Journal of Symbolic Logic 41 (1):25-32.
Omitting Types in an Intermediate Logic.Seyed-Mohammad Bagheri & Massoud Pourmahdian - 2011 - Studia Logica 97 (3):319-328.
Omitting types for infinitary [ 0, 1 ] -valued logic.Christopher J. Eagle - 2014 - Annals of Pure and Applied Logic 165 (3):913-932.
Disturbing arithmetic.Thomas J. Grilliot - 1985 - Journal of Symbolic Logic 50 (2):375-379.

Analytics

Added to PP
2016-06-30

Downloads
22 (#703,858)

6 months
4 (#779,041)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references