An Isomorphism Type of Arithmetically Productive Sets

Mathematical Logic Quarterly 28 (14-18):211-214 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19820281404

Links

PhilArchive



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

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

Arithmetically Saturated Models of Arithmetic.Roman Kossak & James H. Schmerl - 1995 - Notre Dame Journal of Formal Logic 36 (4):531-546.
Degrees of isomorphism types and countably categorical groups.Aleksander Ivanov - 2012 - Archive for Mathematical Logic 51 (1):93-98.
Arithmetical Analogues of Productive and Universal Sets.Bruce M. Horowitz - 1982 - Mathematical Logic Quarterly 28 (14-18):203-210.
The Tree Theory and Isomorphism.Charles Sayward - 1980 - Analysis 41 (1):6-11.
Arithmetically Isolated Sets and Nonstandard Models.A. Nerode - 1967 - Journal of Symbolic Logic 32 (2):269-269.
Properties of ideals on the generalized Cantor spaces.Jan Kraszewski - 2001 - Journal of Symbolic Logic 66 (3):1303-1320.
Differences between Resource Bounded Degree Structures.Michael E. Mytilinaios & Theodore A. Slaman - 2003 - Notre Dame Journal of Formal Logic 44 (1):1-12.
Review: A. Nerode, Arithmetically Isolated Sets and Nonstandard Models. [REVIEW]Matthew Hassett - 1967 - Journal of Symbolic Logic 32 (2):269-269.
Exploitable Isomorphism and Structural Representation.Nicholas Shea - 2014 - Proceedings of the Aristotelian Society 114 (2pt2):123-144.
In defense of neuro-perceptual isomorphism.Dejan Todorović - 1998 - Behavioral and Brain Sciences 21 (6):774-775.
On the adequacy of representing higher order intuitionistic logic as a pure type system.Hans Tonino & Ken-Etsu Fujita - 1992 - Annals of Pure and Applied Logic 57 (3):251-276.
What does “isomorphism between conscious representations and the structure of the world” mean?Riccardo Manzotti & Giulio Sandini - 2002 - Behavioral and Brain Sciences 25 (3):346-347.
Quasimaximality and principal filters isomorphism between.Rumen Dimitrov - 2004 - Archive for Mathematical Logic 43 (3):415-424.
On interstices of countable arithmetically saturated models of Peano arithmetic.Nicholas Bamber & Henryk Kotlarski - 1997 - Mathematical Logic Quarterly 43 (4):525-540.
Computable Isomorphisms of Boolean Algebras with Operators.Bakhadyr Khoussainov & Tomasz Kowalski - 2012 - Studia Logica 100 (3):481-496.

Analytics

Added to PP
2014-01-16

Downloads
23 (#664,515)

6 months
1 (#1,510,037)

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

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.

Add more references