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: 93,774

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.
Wayne Richter. Extensions of the constructive ordinals. The journal of symbolic logic, vol. 30 , pp. 193–211. - Wayne Richter. Constructive transfinite number classes. Bulletin of the American Mathematical Society, vol. 73 , pp. 261–265. - Wayne Richter. Constructively accessible ordinal numbers. The journal of symbolic logic, vol. 33 , pp. 43–55.Gustav B. Hensel - 1971 - Journal of Symbolic Logic 36 (2):341-342.
Thomas J. Grilliot. Selection functions for recursive functionals. Notre Dame journal of formal logic, vol. 10 , pp. 225–234. [REVIEW]D. A. Clarke - 1973 - Journal of Symbolic Logic 38 (4):653-654.
Yiannis N. Moschovakis. Hyperanalytic predicates. Transactions of the American Mathematical Society, vol. 129 , pp. 249–282. - Thomas J. Grilliot. Hierarchies based on objects of finite type. The journal of symbolic logic, vol. 34 , pp. 177–182. [REVIEW]Peter G. Hinman - 1971 - Journal of Symbolic Logic 36 (1):147-148.
Thomas J. Grilliot. Inductive definitions and computability. Transactions of the American Mathematical Society, vol. 158 , pp. 309–317. [REVIEW]Gregory W. Jones - 1973 - Journal of Symbolic Logic 38 (4):654.
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.
G. L. Cherlin. The model-companion of a class of structures. The journal of symbolic logic, vol. 37 , pp. 546–556. - L. Lipshitz and D. Saracino. The model companion of the theory of commutative rings without nilpotent elements. Proceedings of the American Mathematical Society, vol. 38 , pp. 381–387. - Angus Macintyre. Model-completeness for sheaves of structures. Fundamenta mathematicae, vol. 81 no. 1 , pp. 73–89. [REVIEW]Stephen D. Comer - 1983 - Journal of Symbolic Logic 48 (2):496-496.
J. W. Thatcher and J. B. Wright. Generalized finite automata theory with an application to a decision problem of second-order logic. Mathematical systems theory, vol. 2 , pp. 57–81. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):619-620.

Analytics

Added to PP
2016-06-30

Downloads
16 (#227,957)

6 months
4 (#1,635,958)

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