Annals of Pure and Applied Logic 46 (3):211-234 (1990)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/0168-0072(90)90004-l
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,784
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Stability of Recursive Structures in Arithmetical Degrees.C. J. Ash - 1986 - Annals of Pure and Applied Logic 32:113-135.
Categoricity in Hyperarithmetical Degrees.C. J. Ash - 1987 - Annals of Pure and Applied Logic 34 (1):1-14.
A Metatheorem for Constructions by Finitely Many Workers.J. F. Knight - 1990 - Journal of Symbolic Logic 55 (2):787-804.

Add more references

Citations of this work BETA

Labelling Systems and R.E. Structures.C. J. Ash - 1990 - Annals of Pure and Applied Logic 47 (2):99-119.

View all 25 citations / Add more citations

Similar books and articles

Dependent Pairs.Ayhan Günaydin & Philipp Hieronymi - 2011 - Journal of Symbolic Logic 76 (2):377 - 390.
On the Strength of Ramsey's Theorem.David Seetapun & Theodore A. Slaman - 1995 - Notre Dame Journal of Formal Logic 36 (4):570-582.
0-1 Laws for Recursive Structures.E. Grädel & A. Malmström - 1999 - Archive for Mathematical Logic 38 (4-5):205-215.
Ramsey's Theorem for Pairs and Provably Recursive Functions.Alexander Kreuzer & Ulrich Kohlenbach - 2009 - Notre Dame Journal of Formal Logic 50 (4):427-444.
Logics That Define Their Own Semantics.H. Imhof - 1999 - Archive for Mathematical Logic 38 (8):491-513.
Exact Pairs for Abstract Bounded Reducibilities.Wolfgang Merkle - 1999 - Mathematical Logic Quarterly 45 (3):343-360.
Recursive Structures and Ershov's Hierarchy.Christopher J. Ash & Julia F. Knight - 1996 - Mathematical Logic Quarterly 42 (1):461-468.
On Pairs of Free Modules Over a Dedekind Domain.Saverio Cittadini & Carlo Toffalori - 2006 - Archive for Mathematical Logic 45 (1):75-95.
On Cofinal Submodels and Elementary Interstices.Roman Kossak & James H. Schmerl - 2012 - Notre Dame Journal of Formal Logic 53 (3):267-287.
Pairs of Computable Structures.C. J. Ash & J. F. Knight - 1990 - Annals of Pure and Applied Logic 46 (3):211-234.
Recursive Distributed Representations.Jordan B. Pollack - 1990 - Artificial Intelligence 46 (1-2):77-105.
From Causal Models to Counterfactual Structures.Joseph Y. Halpern - 2013 - Review of Symbolic Logic 6 (2):305-322.

Analytics

Added to PP index
2014-01-16

Total views
23 ( #480,573 of 2,463,136 )

Recent downloads (6 months)
1 ( #449,363 of 2,463,136 )

How can I increase my downloads?

Downloads

My notes