Post's Problem and His Hypersimple Set

&
Journal of Symbolic Logic 38 (3):446 - 452 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273042

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

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

Topological representations of post algebras of order ω+ and open theories based on ω+-valued post logic.Helena Rasiowa - 1985 - Studia Logica 44 (4):353 - 368.
Flipping and ex post aggregation.Matthias Hild, Mathias Risse & Richard Je¤rey - unknown
Ordinal inequalities, transfinite induction, and reverse mathematics.Jeffry L. Hirst - 1999 - Journal of Symbolic Logic 64 (2):769-774.
Problem representation for refinement.H. Altay Guvenir & Varol Akman - 1992 - Minds and Machines 2 (3):267-282.
Cohering with.Erik J. Olsson - 1999 - Erkenntnis 50 (2-3):273 - 291.
Co-hypersimple structures.J. B. Remmel - 1976 - Journal of Symbolic Logic 41 (3):611-625.
Semi-post algebras.Nguyen Cat Ho & Helena Rasiowa - 1987 - Studia Logica 46 (2):149 - 160.

Analytics

Added to PP
2009-01-28

Downloads
22 (#712,004)

6 months
8 (#367,748)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Emil Post.Alasdair Urquhart - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 5--617.
Combinational functors on co-r.e. structures.Jeffery B. Remmel - 1976 - Annals of Mathematical Logic 10 (3-4):261-287.

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.
Degrees of Unsolvability.Leonard P. Sasso - 1975 - Journal of Symbolic Logic 40 (3):452-453.

Add more references