Y. N. Moschovakis. Recursive metric spaces. Fundamenta mathematicae, vol. 55 , pp. 215–238
Journal of Symbolic Logic 31 (4):651-652 (1966)
Abstract
This article has no associated abstract. (fix it)Reprint years
1997
DOI
10.2307/2269707
My notes
Similar books and articles
Review: Y. N. Moschovakis, Recursive Metric Spaces. [REVIEW]B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):651-652.
Łos J.. On the extending of models . Fundamenta mathematicae, vol. 42 , pp. 38–54.Łos J. and Suszko R.. On the extending of models . Common extensions. Fundamenta mathematicae, vol. 42 , pp. 343–347.Słomiński J.. On the extending of models . Extensions in equationally definable classes of algebras. Fundamenta mathematicae, vol. 43 , pp. 69–76.Łos J. and Suszko R.. On the extending of models . Infinite sums of models. Fundamenta mathematicae, vol. 44 , pp. 52–60. [REVIEW]H. Jerome Keisler - 1962 - Journal of Symbolic Logic 27 (1):93-95.
Hanf W.. On a problem of Erdös and Tarski. Fundamenta mathematicae, vol. 53 no. 3 , pp. 325–334.Monk D. and Scott D.. Additions to some results of Erdös and Tarski. Fundamenta mathematicae, vol. 53 no. 3 , pp. 335–343.Hajnal A.. Remarks on the theory of W. P. Hanf. Fundamenta mathematicae vol. 54 no. 1 , pp. 109–113. [REVIEW]Jean A. Larson - 1974 - Journal of Symbolic Logic 39 (2):332-332.
Mycielski Jan and Steinhaus H.. A mathematical axiom contradicting the axiom of choice. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 , pp. 1–3.Mycielski Jan. On the axiom of determinateness. Fundamenta mathematicae, vol. 53 , pp. 205–224.Mycielski Jan and Świerczkowski S.. On the Lebesgue measurability and the axiom of determinateness. Fundamenta mathematicae, vol. 54 , pp. 67–71.Mycielski Jan. On the axiom of determinateness . Fundamenta mathematicae, vol. 59 , pp. 203–212. [REVIEW]James E. Baumgartner - 1971 - Journal of Symbolic Logic 36 (1):164-166.
Gaifman H.. Infinite Boolean polynomials I. Fundamenta mathematicae, vol. 54 , pp. 229–250. , p. 117.)Hales A. W.. On the non-existence of free complete Boolean algebras. Fundamenta mathematicae, vol. 54 , pp. 45–66. [REVIEW]Thomas Frayne - 1967 - Journal of Symbolic Logic 32 (1):131-132.
R. S. Lehman. On primitive recursive real numbers. Fundamenta mathematicae, vol. 49 , pp. 105–118.Paul Axt - 1962 - Journal of Symbolic Logic 27 (2):245-246.
Deduction-preserving ‘Recursive Isomorphisms’ between Theories.Marian Boykan Pour-El & Saul A. Kripke - 1967 - Fundamenta Mathematicae 61:141-163.
Nerode A.. Combinatorial series and recursive equivalence types. Fundamenta mathematicae, vol. 58 , pp. 113–141.A. B. Manaster - 1969 - Journal of Symbolic Logic 33 (4):620-621.
Fuhrken G.. Skolem-type normal forms for first-order languages with a generalized quantifier. Fundamenta mathematicae, vol. 54 , pp. 291–302.Vaught R. L.. The completeness of logic with the added quantifier “there are uncountably many.” Fundamenta mathematicae, vol. 54 , pp. 303–304. [REVIEW]Pawel Zbierski - 1968 - Journal of Symbolic Logic 33 (1):121-122.
Grzegorczyk A.. Recursive objects in all finite types. Fundamenta mathematicae, vol. 54 , pp. 73–93.Curry Haskell B.. Combinatory recursive objects of all finite types. Bulletin of the American Mathematical Society, vol. 70 , pp. 814–817. [REVIEW]Charles Parsons - 1974 - Journal of Symbolic Logic 39 (2):343-343.
Włodzimierz Mostowski A.. On the decidability of some problems in special classes of groups. Fundamenta mathematicae, vol. 59 , pp. 123–135.Włodzimierz Mostowski A.. Computational algorithms for deciding some problems for nilpotent groups. Fundamenta mathematicae, vol. 59 , pp. 137–152. [REVIEW]F. B. Cannonito - 1970 - Journal of Symbolic Logic 35 (3):476-477.
On local non‐compactness in recursive mathematics.Jakob G. Simonsen - 2006 - Mathematical Logic Quarterly 52 (4):323-330.
Consequences of the failure of the axiom of choice in the theory of Lindelof metric spaces.Kyriakos Keremedis - 2004 - Mathematical Logic Quarterly 50 (2):141.
Henkin L.. Boolean representation through propositional calculus. Fundamenta mathematicae, vol. 41 no. 1 , pp. 89–96.Łoś J.. Remarks on Henkin's paper: Boolean representation through propositional calculus. Fundamenta mathematicae, vol. 44 no. 1 , pp. 82–83. [REVIEW]Ann S. Ferebee - 1973 - Journal of Symbolic Logic 38 (3):521-522.
Analytics
Added to PP
2014-03-30
Downloads
24 (#483,238)
6 months
1 (#450,425)
2014-03-30
Downloads
24 (#483,238)
6 months
1 (#450,425)
Historical graph of downloads
