Trace expansions of initial segments

Mathematical Logic Quarterly 30 (30):471-476 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19840303003

Links

PhilArchive



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

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

Local initial segments of the Turing degrees.Bjørn Kjos-Hanssen - 2003 - Bulletin of Symbolic Logic 9 (1):26-36.
Some More Remarks on Expandability of Initial Segments.Roman Murawski - 1986 - Mathematical Logic Quarterly 32 (25‐30):445-450.
A recursion principle for linear orderings.Juha Oikkonen - 1992 - Journal of Symbolic Logic 57 (1):82-96.
On initial segments of hyperdegrees.S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (2):189-197.
A theorem on initial segments of degrees.S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (1):41-45.
Distributive Initial Segments of the Degrees of Unsolvability.A. H. Lachlan - 1968 - Mathematical Logic Quarterly 14 (30):457-472.
Definable sets and expansions of models of Peano arithmetic.Roman Murawski - 1988 - Archive for Mathematical Logic 27 (1):21-33.
Countable initial segments of the degrees of unsolvability.A. H. Lachlan & R. Lebeuf - 1976 - Journal of Symbolic Logic 41 (2):289-300.
Initial segments of the lattice of ideals of R.e. Degrees.Frank P. Weber - 1994 - Journal of Symbolic Logic 59 (4):1326-1350.
Undecidability and initial segments of the (r.E.) TT-Degrees.Christine Ann Haught & Richard A. Shore - 1990 - Journal of Symbolic Logic 55 (3):987-1006.
Some nondistributive lattices as initial segments of the degrees of unsolvability.Manuel Lerman - 1969 - Journal of Symbolic Logic 34 (1):85-98.
Lattice nonembeddings and initial segments of the recursively enumerable degrees.Rod Downey - 1990 - Annals of Pure and Applied Logic 49 (2):97-119.
Some Remarks on the Structure of Expansions.Roman Murawski - 1980 - Mathematical Logic Quarterly 26 (34‐35):537-546.
A sharpened version of McAloon's theorem on initial segments of models of IΔ0.Paola D'Aquino - 1993 - Annals of Pure and Applied Logic 61 (1-2):49-62.

Analytics

Added to PP
2013-12-01

Downloads
12 (#996,020)

6 months
1 (#1,346,405)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Definable sets and expansions of models of Peano arithmetic.Roman Murawski - 1988 - Archive for Mathematical Logic 27 (1):21-33.

Add more citations

References found in this work

Add more references