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)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
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 (1980), 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 (1982), 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 (1990), pp. 33–51. - Zoltán Balogh. _On collectionwise normality of locally compact, normal spaces. Transactions of the American Mathematical Society, vol. 323 (1991), 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
2016-06-30
Downloads
20 (#566,060)
6 months
1 (#452,962)
2016-06-30
Downloads
20 (#566,060)
6 months
1 (#452,962)
Historical graph of downloads
