A. V. Arkhangel′skiĭ. O moshchnosti bikompaktov c pervoĭ aksiomoĭ schetnosti. Dok-lady Akademii Nauk SSSR, vol. 187 , pp. 967–970. - A. V. Arhangel′skiĭ. On the cardinality of bicompacta satisfying the first axiom of countability. English translation by Z. Skalsky of the preceding. Soviet mathematics, vol. 10 , pp. 951–955. - R. Pol. Short proofs of two theorems on cardinality of topological spaces. English with Russian summary. Bulletin de l'Académie Polonaise des Sciences Série des sciences mathématiques, astronomique et physiques, vol. 22 , pp. 1245–1249. - Alan Dow. An introduction to applications of elementary submodels to topology. Topology proceedings , vol. 13 , pp. 17–72 [Book Review]

Bulletin of Symbolic Logic 7 (4):537-537 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2687808

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

O moshchnosti bikompaktov c pervoǐ aksiomoǐ schetnosti.Z. Skalsky, R. Pol & Alan Dow - 2001 - Bulletin of Symbolic Logic 7 (4):537-537.
Salwicki A.. Formalized algorithmic languages. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 , pp. 227–232, XVII, XVII.Salwicki A.. On the equivalence of FS-expressions and programs. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 , pp. 275–278, XXI, XXI.Salwicki A.. On the predicate calculi with iteration quantifiers. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 , pp. 279–285, XXI, XXI. [REVIEW]E. Engeler - 1974 - Journal of Symbolic Logic 39 (2):349-350.
Pogorzelski W. A.. Structural completeness of the propositional calculus. English with Russian summary. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 19 , pp. 349–351. [REVIEW]Mircea Tîrnoveanu - 1975 - Journal of Symbolic Logic 40 (4):604-605.
Mączyński M. J. and Traczyk T.. The m-amalgamation property for m-distributive Boolean algebras. English with Russian summary. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 , pp. 57–60. [REVIEW]F. M. Yaqub - 1970 - Journal of Symbolic Logic 35 (2):346-347.
B. È. Shapirovskiĭ. O π-kharaktere i π-vese v bikompaktakh. Doklady Akademii Nauk SSSR, vol. 223 (1975), pp. 799–802. - B. È. Šapirovskiĭ. On π-character and π-weight in compact Hausdorff spaces. English translation by I. Juhász of the preceding. Soviet mathematics, vol. 16 no. 4 (for 1975, pub. 1976), pp. 999–1004. - B. È. Shapirovskiĭ. Ob otobrazheniyakh na Tikhonovskie kuby. Uspekhi matematich-eskikhnauk, vol. 35 no. 3 (1980), pp. 122–130. - B. E. Shapirovskii. Maps onto Tikhonov cubes. English translation by A. West of the preceding. Russian mathematical surveys, vol. 35 no. 3 (1980), pp. 145–156. [REVIEW]Zoltan T. Balogh - 2001 - Bulletin of Symbolic Logic 7 (4):536-537.
Lopez-Escobar E. G. K.. A non-interpolation theorem. English with Russian summary. Bulletin de l'Académic Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 17 , pp. 109–112, V. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (3):457-458.
Applications of elementary submodels in general topology.Stefan Geschke - 2002 - Synthese 133 (1-2):31 - 41.
Sikorski R.. A topological characterization of open theories. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 , pp. 259–260. [REVIEW]Walter Felscher - 1973 - Journal of Symbolic Logic 38 (1):163-164.
T. Traczyk. Some theorems on independence in Post algebras. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 11 (1963), pp. 3–8. [REVIEW]Ph Dwinger - 1969 - Journal of Symbolic Logic 34 (2):303-303.
Wiśniewski K.. Weakened forms of the axiom of choice for finite sets. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 16 , pp. 615–620. [REVIEW]Azriel Lévy - 1971 - Journal of Symbolic Logic 36 (3):543-543.
Ehrenfeucht A.. Separable theories. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 , pp. 17–19. [REVIEW]H. B. Enderton - 1969 - Journal of Symbolic Logic 34 (1):127-127.
J. R. Shoenfield. On a restricted ω-rule. Bulletin de l′Académie Polonaise des Sciences, Série des sciences, mathématiques, astronomiques et physiques, vol. 7 , pp. 405–407. [REVIEW]Robert DiPaola - 1969 - Journal of Symbolic Logic 34 (1):130-131.
Ryll-Nardzewski C.. On the categoricity in power. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 (1959), pp. 545–548. [REVIEW]G. Fuhrken - 1966 - Journal of Symbolic Logic 31 (3):505-505.
Grzegorczyk A.. A theory without recursive models. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 , pp. 63–69. [REVIEW]Thomas Frayne - 1963 - Journal of Symbolic Logic 28 (1):102-103.
R. O. Gandy. Proof of Mostowski's conjecture. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 , pp. 571–575. [REVIEW]Wayne Richter - 1964 - Journal of Symbolic Logic 29 (2):103-104.

Analytics

Added to PP
2019-05-08

Downloads
26 (#595,031)

6 months
15 (#157,754)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references