Solovay Robert M.. A nonconstructible set of integers. Transactions of the American Mathematical Society, vol. 127 , pp. 50–75 [Book Review]
Journal of Symbolic Logic 36 (2):340 (1971)
| Authors |
|
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2270306 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Review: Robert M. Solovay, A Nonconstructible $Bigtriangleup_{3}^{1}$ Set of Integers. [REVIEW]Donald A. Martin - 1971 - Journal of Symbolic Logic 36 (2):340-340.
A Nonconstructible $\bigtriangleup_{3}^{1}$ Set of Integers.Robert M. Solovay - 1971 - Journal of Symbolic Logic 36 (2):340-340.
Alan Rose and J. Barkley Rosser. Fragments of Many-Valued Statement Calculi. Transactions of the American Mathematical Society, Vol. 87 , Pp. 1–53. - C. A. Meredith. The Dependence of an Axiom of Łukasiewicz. Transactions of the American Mathematical Society, Vol. 87 , P. 54. - C. C. Chang. Proof of an Axiom of Łukasiewicz. Transactions of the American Mathematical Society, Vol. 87 , Pp. 55–56. [REVIEW]Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (3):248-249.
Peter J. Nyikos. A Provisional Solution to the Normal Moore Space Problem. Proceedings of the American Mathematical Society, Vol. 78 , Pp. 429–435. - William G. Fleissner. If All Normal Moore Spaces Are Metrizable, Then There is an Inner Model with a Measurable Cardinal. Transactions of the American Mathematical Society, Vol. 273 , Pp. 365–373. - Alan Dow, Franklin D. Tall, and William A. R. Weiss. New Proofs of the Consistency of the Normal Moore Space Conjecture I. Topology and its Applications, Vol. 37 , Pp. 33–51. - Zoltán Balogh. On Collectionwise Normality of Locally Compact, Normal Spaces. Transactions of the American Mathematical Society, Vol. 323 , Pp. 389–411. [REVIEW]Gary Gruenhage - 2002 - Bulletin of Symbolic Logic 8 (3):443-445.
Seymour Ginsburg. Some Remarks on Abstract Machines. Transactions of the American Mathematical Society, Vol. 96 , Pp. 400–444. - Seymour Ginsburg and Gene F. Rose. A Comparison of the Work Done by Generalized Sequential Machines and Turing Machines. Transactions of the American Mathematical Society, Vol. 103 , Pp. 394–402. [REVIEW]Lars Löfgren - 1972 - Journal of Symbolic Logic 37 (2):411.
Lightstone A. H. And Robinson A.. Syntactical Transforms. Transactions of the American Mathematical Society, Vol. 86 , Pp. 220–245. [REVIEW]Robert L. Vaught - 1959 - Journal of Symbolic Logic 24 (3):244-245.
Ritchie Robert W.. Classes of Predictably Computable Functions. Transactions of the American Mathematical Society, Vol. 106 , Pp. 139–173. [REVIEW]C. C. Elgot - 1963 - Journal of Symbolic Logic 28 (3):252-253.
Steve Jackson. A New Proof of the Strong Partition Relation on Ω1. Transactions of the American Mathematical Society, Vol. 320 , Pp. 737–745. - Steve Jackson. Admissible Suslin Cardinals in L. The Journal of Symbolic Logic, Vol. 56 , Pp. 260–275. - Steve Jackson. A Computation Of. Memoirs of the American Mathematical Society, No. 670. American Mathematical Society, Providence 1999, Viii + 94 Pp. [REVIEW]Howard S. Becker - 2002 - Bulletin of Symbolic Logic 8 (4):546-548.
Elgot C. C.. Decision Problems of Finite Automata Design and Related Arithmetics. Transactions of the American Mathematical Society, Vol. 98 , Pp. 21–51. [REVIEW]Robert McNaughton - 1969 - Journal of Symbolic Logic 34 (3):509-510.
Robinson Raphael M.. Arithmetical Definitions in the Ring of Integers. Proceedings of the American Mathematical Society, Bd. 2 , S.279–284. [REVIEW]Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):269-270.
C. C. Chang. Algebraization of Infinitely Many-Valued Logic. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 144–146. - C. C. Chang. Algebraic Analysis of Many Valued Logics. Transactions of the American Mathematical Society, Vol. 88 , Pp. 467–490. - C. C. Chang. A New Proof of the Completeness of the Łukasiewicz Axioms. Transactions of the American Mathematical Society, Vol. 93 , Pp. 74–80. [REVIEW]Alfred Horn - 1971 - Journal of Symbolic Logic 36 (1):159-160.
J. Richard Buchi and Lawrence H. Landweber. Solving Sequential Conditions by Finite-State Strategies. Transactions of the American Mathematical Society, Vol. 138 , Pp. 295–311. [REVIEW]Robert McNaughton - 1972 - Journal of Symbolic Logic 37 (1):200-201.
Post Emil L.. Recursively Enumerable Sets of Positive Integers and Their Decision Problems. Bulletin of the American Mathematical Society, Vol. 50 , Pp. 284–316. [REVIEW]J. C. C. McKinsey - 1945 - Journal of Symbolic Logic 10 (1):18-19.
On a Spector Ultrapower for the Solovay Model.Vladimir Kanovei & Michiel van Lambalgen - 1997 - Mathematical Logic Quarterly 43 (3):389-395.
Semantische Aspekte Pluraler Prädikatenlogischer Sprachen.Jonathan Lukic - 2015 - Kriterion - Journal of Philosophy 29 (1):99-121.
Analytics
Added to PP index
2016-06-30
Total views
20 ( #560,612 of 2,520,355 )
Recent downloads (6 months)
1 ( #406,012 of 2,520,355 )
2016-06-30
Total views
20 ( #560,612 of 2,520,355 )
Recent downloads (6 months)
1 ( #406,012 of 2,520,355 )
How can I increase my downloads?
Downloads
