Priority constructions

Annals of Pure and Applied Logic 81 (1-3):115-123 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(95)00053-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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

Shoenfield J. R.. On degrees of unsolvability. Annals of mathematics, second series, vol. 69 , pp. 644–653.Shoenfield J. R.. An uncountable set of incomparable degrees. Proceedings of the American Mathematical Society, vol. 11 , pp. 61–62. [REVIEW]Gerald E. Sacks - 1964 - Journal of Symbolic Logic 29 (4):203-204.
Bosch, R., see Bagaria, J. Cholak, P., see Ash, CJ.U. Engberg, G. Winskel, S. Ghilardi, G. Meloni, P. Matet, D. Skvortsov, S. van Bakel, L. Liquori, S. Ronchi Della Rocca & P. Urzyczyn - 1997 - Annals of Pure and Applied Logic 86:305.
∑2-constructions and I∑1.Marcia Groszek & Tamara Hummel - 1998 - Annals of Pure and Applied Logic 93 (1-3):83-101.
∑2-constructions and I∑1.Marcia Groszek & Tamara Hummel - 1998 - Annals of Pure and Applied Logic 93 (1-3):83-101.
Constructions by transfinitely many workers.Julia F. Knight - 1990 - Annals of Pure and Applied Logic 48 (3):237-259.
On the proof theory of Coquand's calculus of constructions.Jonathan P. Seldin - 1997 - Annals of Pure and Applied Logic 83 (1):23-101.
Simplicity of the automorphism groups of some Hrushovski constructions.David M. Evans, Zaniar Ghadernezhad & Katrin Tent - 2016 - Annals of Pure and Applied Logic 167 (1):22-48.
William B. Easton. Powers of regular cardinals. Annals of mathematical logic, vol. 1 no. 2 , pp. 139–178. - J. R. Shoenfield. Unramified forcing. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 357–381. [REVIEW]J. Barkley Rosser - 1975 - Journal of Symbolic Logic 40 (3):460-461.
A microscopic approach to Souslin-tree constructions, Part I.Ari Meir Brodsky & Assaf Rinot - 2017 - Annals of Pure and Applied Logic 168 (11):1949-2007.
CUMMINGS, J., Possible behaviours for the Mitchell ordering DOUGHERTY, R., Critical points in an algebra of elementary embeddings DOWNEY, R. and STOB, M., Splitting theorems in recursion theory. [REVIEW]J. Vaananen - 1993 - Annals of Pure and Applied Logic 65:307.

Analytics

Added to PP
2014-01-16

Downloads
3 (#1,213,485)

6 months
17 (#859,272)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

In Memoriam: Joseph R. Shoenfield 1927–2000.Carl G. Jockusch - 2001 - Bulletin of Symbolic Logic 7 (3):393-396.
In Memoriam: Joseph R. Shoenfield 1927–2000.Carl G. Jockusch - 2001 - Bulletin of Symbolic Logic 7 (3):393-396.

Add more citations

References found in this work

Non-bounding constructions.J. R. Shoenfield - 1990 - Annals of Pure and Applied Logic 50 (2):191-205.
The priority method for the construction of recursively enumerable sets.Alistair H. Lachlan - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 299--310.

Add more references