{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,30]],"date-time":"2023-10-30T08:52:33Z","timestamp":1698655953192},"reference-count":97,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1984,12,1]],"date-time":"1984-12-01T00:00:00Z","timestamp":470707200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1984,12]]},"DOI":"10.1007\/bf02007144","type":"journal-article","created":{"date-parts":[[2005,8,4]],"date-time":"2005-08-04T22:26:22Z","timestamp":1123194382000},"page":"119-135","source":"Crossref","is-referenced-by-count":5,"title":["Amorphe Potenzen kompakter R\u00e4ume"],"prefix":"10.1007","volume":"24","author":[{"given":"Norbert","family":"Brunner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02007144_CR1","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1305\/ndjfl\/1093890889","volume":"14","author":"A. Abian","year":"1973","unstructured":"Abian, A.: Rado's theorem and equations. Notre Dame Journal Formal Logic14, 145\u2013150 (1973).","journal-title":"Notre Dame Journal Formal Logic"},{"key":"BF02007144_CR2","first-page":"75","volume":"281","author":"O.T. Alas","year":"1969","unstructured":"Alas, O.T.: The axiom of choice and two particular forms of Tychonoff's theorem. Portugaliae Math.281, 75\u201376 (1969).","journal-title":"Portugaliae Math."},{"key":"BF02007144_CR3","volume-title":"Social choice and individual values","author":"K.J. Arrow","year":"1963","unstructured":"Arrow, K.J.: Social choice and individual values. New York: Wiley 1963."},{"key":"BF02007144_CR4","doi-asserted-by":"crossref","first-page":"167","DOI":"10.4064\/fm-77-2-167-170","volume":"77","author":"J.L. Bell","year":"1972","unstructured":"Bell, J.L., Fremlin, D.H.: A geometric form of the axiom of choice. Fundamenta Math.77, 167\u2013170 (1972).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR5","doi-asserted-by":"crossref","first-page":"151","DOI":"10.4064\/fm-89-2-151-153","volume":"89","author":"J.F.A.K. Benthem van","year":"1975","unstructured":"Benthem, J.F.A.K. van: A set-theoretical equivalent of the prime ideal theorem for Boolean algebras. Fundamenta Math.89, 151\u2013153 (1975).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR6","doi-asserted-by":"crossref","first-page":"185","DOI":"10.4064\/fm-66-2-185-193","volume":"66","author":"A.R. Bernstein","year":"1970","unstructured":"Bernstein, A.R.: A new kind of compactness for topological spaces. Fundamenta Math.66, 185\u2013193 (1970).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR7","first-page":"22","volume":"11","author":"R.L. Blair","year":"1960","unstructured":"Blair, R.L., Tomber, M.L.: The axiom of choice for finite sets. Proc. Am. Math. Soc.11, 22\u2013226 (1960).","journal-title":"Proc. Am. Math. Soc."},{"key":"BF02007144_CR8","doi-asserted-by":"crossref","first-page":"387","DOI":"10.2307\/2272866","volume":"42","author":"A. Blass","year":"1977","unstructured":"Blass, A.: Ramsey's theorem in the hierarchy of choice principles. J. Symb. Logic42, 387\u2013390 (1977).","journal-title":"J. Symb. Logic"},{"key":"BF02007144_CR9","first-page":"329","volume":"25","author":"A. Blass","year":"1977","unstructured":"Blass, A.: A model without ultrafilters. Bull. Acad. Polon. Sci. Math.25, 329\u2013331 (1977).","journal-title":"Bull. Acad. Polon. Sci. Math."},{"key":"BF02007144_CR10","unstructured":"de Bruijn, N.G., Erd\u00f6s, P.: A colour problem for infinite graphs and a problem in the theory of relations."},{"key":"BF02007144_CR11","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01369079","volume":"94","author":"N. Brunner","year":"1982","unstructured":"Brunner, N.: Dedekind-Endlichkeit und Wohlordenbarkeit. Monatsh. Math.94, 9\u201331 (1982).","journal-title":"Monatsh. Math."},{"key":"BF02007144_CR12","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1305\/ndjfl\/1093870222","volume":"24","author":"N. Brunner","year":"1983","unstructured":"Brunner, N.: Sequential compactness and the axiom of choice. Notre Dame Journal Formal Logic24, 89\u201392 (1983).","journal-title":"Notre Dame Journal Formal Logic"},{"key":"BF02007144_CR13","first-page":"161","volume":"192","author":"N. Brunner","year":"1982","unstructured":"Brunner, N.: Lindel\u00f6f R\u00e4ume und Auswahlaxiom. Anz. Akad. Wiss. Wien192, 161\u2013165 (1982)","journal-title":"Anz. Akad. Wiss. Wien"},{"key":"BF02007144_CR14","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1002\/malq.19830290804","volume":"29","author":"N. Brunner","year":"1983","unstructured":"Brunner, N.: Kategories\u00e4tze und multiples Auswahlaxiom. Z. math. Logik Grundlagen Math.29 435\u2013443 (1983)","journal-title":"Z. math. Logik Grundlagen Math."},{"key":"BF02007144_CR15","unstructured":"Brunner, N.: Hilbertr\u00e4ume mit amorphen Basen. Compositio Math. (to appear)."},{"key":"BF02007144_CR16","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1305\/ndjfl\/1093870373","volume":"24","author":"N. Brunner","year":"1983","unstructured":"Brunner, N.: The axiom of Choice in topology. Notre Dame Journal Formal Logic24, 305\u2013317 (1983)","journal-title":"Notre Dame Journal Formal Logic"},{"key":"BF02007144_CR17","doi-asserted-by":"crossref","first-page":"67","DOI":"10.4064\/fm-117-1-67-73","volume":"116","author":"N. Brunner","year":"1983","unstructured":"Brunner, N.: Geordnete L\u00e4uchli Kontinuen. Fundamenta Math.116, 67\u201373 (1983).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR18","doi-asserted-by":"crossref","first-page":"977","DOI":"10.1090\/S0002-9904-1948-09118-2","volume":"54","author":"A.H. Stone","year":"1948","unstructured":"Stone, A.H.: Paracompactness and product space. Bull. A.M.S.54, 977\u2013982 (1948).","journal-title":"Bull. A.M.S."},{"key":"BF02007144_CR19","first-page":"1019","volume":"234","author":"J. Colmez","year":"1952","unstructured":"Colmez, J.: Sur les espaces precompacts, C.R. Acad. Paris234, 1019\u20131021 (1952).","journal-title":"C.R. Acad. Paris"},{"key":"BF02007144_CR20","first-page":"57","volume":"63","author":"W.W. Comfort","year":"1968","unstructured":"Comfort, W.W.: Tychonoff's theorem without the axiom of choice. Fundamenta Math.63, 57\u2013100 (1968).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR21","first-page":"23","volume":"14","author":"R.H. Cowen","year":"1982","unstructured":"Cowen, R.H.: Partition principles for properties of finite character. Rep. Math. Logic14, 23\u201328 (1982).","journal-title":"Rep. Math. Logic"},{"key":"BF02007144_CR22","doi-asserted-by":"crossref","first-page":"481","DOI":"10.4064\/sm-31-5-481-494","volume":"31","author":"M.M. Day","year":"1968","unstructured":"Day, M.M.: Amenability and equicontinuity. Studia Math.31, 481\u2013494 (1968).","journal-title":"Studia Math."},{"key":"BF02007144_CR23","first-page":"1","volume":"19","author":"H.C. Doets","year":"1971","unstructured":"Doets, H.C.: Existence of compactifications. Bull. Acad. Polon. Sci. Math.19, 1\u20133 (1971).","journal-title":"Bull. Acad. Polon. Sci. Math."},{"key":"BF02007144_CR24","first-page":"33","volume":"93","author":"O. Doitchinov","year":"1969","unstructured":"Doitchinov, O.: Un th\u00e9or\u00e8me sur les espaces minimaux. Bull. Sci. Math.93, 33\u201336 (1969).","journal-title":"Bull. Sci. Math."},{"key":"BF02007144_CR25","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/B978-0-12-584960-9.50010-9","volume-title":"Surveys in general topology","author":"E.K. Douwen van","year":"1980","unstructured":"Douwen, E.K. van: Covering and separation properties of box products. In: Reed, G.M. (ed.): Surveys in general topology, pp. 55\u2013129. New York: Academic Press 1980."},{"key":"BF02007144_CR26","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1002\/malq.19590050704","volume":"5","author":"E. Engeler","year":"1959","unstructured":"Engeler, E.: Konstruktion von Modellerweiterungen. Z. math. Logik Grundlagen Math.5, 126\u2013131 (1959).","journal-title":"Z. math. Logik Grundlagen Math."},{"key":"BF02007144_CR27","volume-title":"General topology","author":"R. Engelking","year":"1977","unstructured":"Engelking, R.: General topology. Warschau: PWN 1977."},{"key":"BF02007144_CR28","doi-asserted-by":"crossref","first-page":"325","DOI":"10.4064\/fm-56-3-325-345","volume":"56","author":"S. Feferman","year":"1965","unstructured":"Feferman, S.: Applications of forcing and generic sets. Fundamenta Math.56, 325\u2013345 (1965).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR29","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1002\/malq.19710170130","volume":"17","author":"U. Felgner","year":"1971","unstructured":"Felgner, U.: \u00dcber das Ordnungstheorem. Z. math. Logik Grundlagen Math.17, 257\u2013272 (1971).","journal-title":"Z. math. Logik Grundlagen Math."},{"key":"BF02007144_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0061160","volume-title":"Models of ZF set theory","author":"U. Felgner","year":"1971","unstructured":"Felgner, U.: Models of ZF set theory. Berlin, Heidelberg, New York: Springer 1971."},{"key":"BF02007144_CR31","unstructured":"Felgner, U.: Independence of the Boolean prime ideal theorem from the order extension principle. Habilitationsschrift Heidelberg 1973."},{"key":"BF02007144_CR32","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1002\/malq.19640100104","volume":"10","author":"W. Felscher","year":"1964","unstructured":"Felscher, W.: Zu einem Lemma von Engeler und Robinson. Z. math. Logik Grundlagen Math.10, 15\u201316 (1964).","journal-title":"Z. math. Logik Grundlagen Math."},{"key":"BF02007144_CR33","first-page":"351","volume":"68T-167","author":"R.J. Gauntt","year":"1968","unstructured":"Gauntt, R.J.: Restricted versions of the axiom of choice. Notices Am. Math. Soc.68T-167, 351 (1968).","journal-title":"Notices Am. Math. Soc."},{"key":"BF02007144_CR34","doi-asserted-by":"crossref","first-page":"403","DOI":"10.2140\/pjm.1975.57.403","volume":"57","author":"J. Ginsburg","year":"1975","unstructured":"Ginsburg, J., Saks, V.: Applications of ultrafilters in topology. Pac. J. Math.57, 403\u2013418 (1975).","journal-title":"Pac. J. Math."},{"key":"BF02007144_CR35","volume-title":"Ramsey theory","author":"R.L. Graham","year":"1980","unstructured":"Graham, R.L., Rothschild, B.L., Spencer, J.H.: Ramsey theory. New York: Wiley 1980."},{"key":"BF02007144_CR36","doi-asserted-by":"crossref","first-page":"57","DOI":"10.4064\/fm-55-1-57-66","volume":"55","author":"J.D. Halpern","year":"1964","unstructured":"Halpern, J.D.: Independence of the axiom of choice from the Boolean prime ideal theorem. Fundamenta Math.55, 57\u201366 (1964).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR37","doi-asserted-by":"crossref","first-page":"111","DOI":"10.2140\/pjm.1972.41.111","volume":"41","author":"J.D. Halpern","year":"1972","unstructured":"Halpern, J.D.: A question of Tarski and a maximal theorem of Kurepa. Pac. J. Math.41, 111\u2013121 (1972).","journal-title":"Pac. J. Math."},{"key":"BF02007144_CR38","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1090\/S0002-9947-1966-0200172-2","volume":"124","author":"J.D. Halpern","year":"1966","unstructured":"Halpern, J.D., L\u00e4uchli, H.: A partition theorem. Trans. Am. Math. Soc.124, 360\u2013367 (1966).","journal-title":"Trans. Am. Math. Soc."},{"key":"BF02007144_CR39","first-page":"83","volume-title":"Axiomatic set theory","author":"J.D. Halpern","year":"1967","unstructured":"Halpern, J.D., Levy, A.: The Boolean prime ideal theorem does not imply the axiom of choice. In: Scott, D.S. (ed.): Axiomatic set theory, pp. 83\u2013134. Los Angeles: P.S.P.M. 1967."},{"key":"BF02007144_CR40","first-page":"388","volume":"60","author":"L. Henkin","year":"1954","unstructured":"Henkin, L.: Metamathematical theorems equivalent to the prime ideal theorem for Boolean algebras. Bull. Am. Math. Soc.60, 388 (1954).","journal-title":"Bull. Am. Math. Soc."},{"key":"BF02007144_CR41","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1305\/ndjfl\/1093887438","volume":"17","author":"K.K. Hickin","year":"1976","unstructured":"Hickin, K.K., Plotkin, J.M.: A patching lemma. Notre Dame Journal Formal Logic17, 158\u2013160 (1976).","journal-title":"Notre Dame Journal Formal Logic"},{"key":"BF02007144_CR42","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1017\/S0004972700025041","volume":"14","author":"J.L. Hickman","year":"1976","unstructured":"Hickman, J.L.: Groups in models of set theory that fail the axiom of choice. Bull. Austral. Math. Soc.14, 199\u2013232 (1976).","journal-title":"Bull. Austral. Math. Soc."},{"key":"BF02007144_CR43","first-page":"10","volume":"296","author":"J.L. Hickman","year":"1977","unstructured":"Hickman, J.L.: Quasi-minimal posets and lattices. J. reine angew. Math. (Crelle)296, 10\u201313 (1977).","journal-title":"J. reine angew. Math."},{"key":"BF02007144_CR44","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1112\/plms\/s3-32.1.133","volume":"32","author":"W. Hodges","year":"1976","unstructured":"Hodges, W.: Effectivity of field constructions. Proc. Math. Soc. London32, 133\u2013162 (1976).","journal-title":"Proc. Math. Soc. London"},{"key":"BF02007144_CR45","doi-asserted-by":"crossref","first-page":"416","DOI":"10.2307\/2273037","volume":"38","author":"P.E. Howard","year":"1973","unstructured":"Howard, P.E.: Limitations on the Fraenkel Mostowski method of independence proofs. J. Symb. Logic38, 416\u2013422 (1973).","journal-title":"J. Symb. Logic"},{"key":"BF02007144_CR46","first-page":"426","volume":"49","author":"P.E. Howard","year":"1975","unstructured":"Howard, P.E.: \u0141o\u015b' theorem and the Boolean prime ideal theorem imply the axiom of choice. Proc. Am. Math. Soc.49, 426\u2013428 (1975).","journal-title":"Proc. Am. Math. Soc."},{"key":"BF02007144_CR47","doi-asserted-by":"crossref","first-page":"111","DOI":"10.4064\/fm-97-2-111-122","volume":"97","author":"P.E. Howard","year":"1977","unstructured":"Howard, P.E., Rubin, J.E.: The axiom of choice and linearly ordered sets. Fundamenta Math.97, 111\u2013121 (1977).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR48","volume-title":"The axiom of choice","author":"T.J. Jech","year":"1973","unstructured":"Jech, T.J.: The axiom of choice. New York: North-Holland 1973."},{"key":"BF02007144_CR49","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1215\/S0012-7094-41-00838-4","volume":"8","author":"S. Kakutani","year":"1941","unstructured":"Kakutani, S.: A generalication of Brouwer's fixed point theorem. Duke Math. J.8, 457\u2013459 (1941).","journal-title":"Duke Math. J."},{"key":"BF02007144_CR50","doi-asserted-by":"crossref","first-page":"994","DOI":"10.2307\/1968778","volume":"42","author":"S. Kakutani","year":"1941","unstructured":"Kakutani, S.: Concrete representations of abstract (M)-spaces. Ann. Math.42, 994\u20131024 (1941).","journal-title":"Ann. Math."},{"key":"BF02007144_CR51","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0166-8641(81)90016-X","volume":"12","author":"V. Kannan","year":"1981","unstructured":"Kannan, V., Soundararajan, T.: Properties that are productive, closed-hereditary, and surjective. Topology and Applications12, 141\u2013146 (1981).","journal-title":"Topology and Applications"},{"key":"BF02007144_CR52","doi-asserted-by":"crossref","first-page":"75","DOI":"10.4064\/fm-37-1-75-76","volume":"37","author":"J.L. Kelley","year":"1950","unstructured":"Kelley, J.L.: The Tychonoff theorem implies the axiom of choice. Fundamenta Math.37, 75\u201376 (1950).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR53","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0022-0531(72)90106-8","volume":"5","author":"A.P. Kirman","year":"1972","unstructured":"Kirman, A.P., Sonderman, D.: Arrow's theorem, many agents, and invisible dictators. J. Econ. Theory5, 267\u2013277 (1972).","journal-title":"J. Econ. Theory"},{"key":"BF02007144_CR54","doi-asserted-by":"crossref","first-page":"205","DOI":"10.2307\/2271095","volume":"34","author":"E.M. Kleinberg","year":"1969","unstructured":"Kleinberg, E.M.: The independence of Ramsey's theorem. J. Symb. Logic34, 205\u2013206 (1969).","journal-title":"J. Symb. Logic"},{"key":"BF02007144_CR55","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1305\/ndjfl\/1093883463","volume":"22","author":"M. Krom","year":"1981","unstructured":"Krom, M.: Equivalents of a weak axiom of choice. Notre Dame Journal Formal Logic22, 283\u2013285 (1981).","journal-title":"Notre Dame Journal Formal Logic"},{"key":"BF02007144_CR56","first-page":"1","volume":"37","author":"H. L\u00e4uchli","year":"1963","unstructured":"L\u00e4uchli, H.: Auswahlaxiom in der Algebra. Commentarii Math. Helvetii37, 1\u201318 (1963).","journal-title":"Commentarii Math. Helvetii"},{"key":"BF02007144_CR57","doi-asserted-by":"crossref","first-page":"31","DOI":"10.4064\/fm-54-1-31-43","volume":"54","author":"H. L\u00e4uchli","year":"1964","unstructured":"L\u00e4uchli, H.: Independence of the ordering theorem from a restricted axiom of choice. Fundamenta Math.54, 31\u201343 (1964).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR58","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1007\/BF02771458","volume":"9","author":"H. L\u00e4uchli","year":"1971","unstructured":"L\u00e4uchli, H.: Colouring infinite graphs and the Boolean prime ideal theorem. Israel J. Math.9, 422\u2013429 (1971).","journal-title":"Israel J. Math."},{"key":"BF02007144_CR59","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/fm-46-1-1-13","volume":"46","author":"A. Levy","year":"1958","unstructured":"Levy, A.: Independence of various definitions of finiteness. Fundamenta Math.46, 1\u201313 (1958).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR60","doi-asserted-by":"crossref","first-page":"475","DOI":"10.4064\/fm-50-5-475-483","volume":"50","author":"A. Levy","year":"1962","unstructured":"Levy, A.: Axioms of multiple choice. Fundamenta Math.50, 475\u2013483 (1962).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR61","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF01901934","volume":"14","author":"A. Levy","year":"1963","unstructured":"Levy, A.: On a paper by My\u0107ielski. Acta Math. Acad. Sci. Hungaricae14, 125\u2013130 (1963).","journal-title":"Acta Math. Acad. Sci. Hungaricae"},{"key":"BF02007144_CR62","first-page":"639","volume":"27","author":"A. Lin","year":"1979","unstructured":"Lin, A.: The least permutation model. Bull. Acad. Polon. Sci. Math.27, 639\u2013643 (1979).","journal-title":"Bull. Acad. Polon. Sci. Math."},{"key":"BF02007144_CR63","doi-asserted-by":"crossref","first-page":"233","DOI":"10.4064\/fm-38-1-233-237","volume":"38","author":"J. \u0141o\u015b","year":"1951","unstructured":"\u0141o\u015b, J., Ryll-Nardzewski, C.: Application of Tychonoff's theorem in mathematical proofs. Fundamenta Math.38, 233\u2013237 (1951).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR64","doi-asserted-by":"crossref","first-page":"49","DOI":"10.4064\/fm-41-1-49-56","volume":"41","author":"J. \u0141o\u015b","year":"1955","unstructured":"\u0141o\u015b, J., Ryll-Nardzewski, C.: Effectiveness of the representation theory for Boolean algebras. Fundamenta Math.41, 49\u201356 (1955).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR65","unstructured":"Luxemburg, W.A.J.: Reduced powers of real number systems and equivalents of the Hahn Banach theorem, pp. 123\u2013137. Intern. Symp. Applications of Model Theory, Holt-Toronto 1969."},{"key":"BF02007144_CR66","doi-asserted-by":"crossref","first-page":"386","DOI":"10.4064\/fm-16-1-386-389","volume":"16","author":"E. Marcewski","year":"1930","unstructured":"Marcewski, E.: Sur l'extension de l'ordre partiel. Fundamenta Math.16, 386\u2013389 (1930).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR67","volume-title":"The order-extension principle","author":"A.R.D. Mathias","year":"1967","unstructured":"Mathias, A.R.D.: The order-extension principle. Los Angeles: U.C.L.A. 1967."},{"key":"BF02007144_CR68","first-page":"199","volume":"23","author":"E.A. Michael","year":"1971","unstructured":"Michael, E.A.: Paracompactness and the Lindel\u00f6f property in finite and countable cartesian products. Compositio Math.23, 199\u2013214 (1971).","journal-title":"Compositio Math."},{"key":"BF02007144_CR69","doi-asserted-by":"crossref","first-page":"46","DOI":"10.4064\/fm-43-1-46-49","volume":"43","author":"S. Mrowka","year":"1955","unstructured":"Mrowka, S.: Ideal's extension theorem and its equivalence to the axiom of choice. Fundamenta Math.43, 46\u201349 (1955).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR70","first-page":"116","volume":"27","author":"M.G. Murdeshwar","year":"1979","unstructured":"Murdeshwar, M.G.: Alexander's subbasis theorem. Niew Archief Wiskunde27, 116\u2013117 (1979).","journal-title":"Niew Archief Wiskunde"},{"key":"BF02007144_CR71","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF02066677","volume":"12","author":"J. Mycielski","year":"1961","unstructured":"Mycielski, J.: Colouring of infinite graphs and the theorem of Kuratowski. Acta Math. Acad. Sci. Hungaricae12, 125\u2013129 (1961).","journal-title":"Acta Math. Acad. Sci. Hungaricae"},{"key":"BF02007144_CR72","first-page":"439","volume":"8","author":"J. Mycielski","year":"1964","unstructured":"Mycielski, J.: Two remarks on Tychonoff's product theorem. Bull. Acad. Polon. Sci. Math.8, 439\u2013441 (1964).","journal-title":"Bull. Acad. Polon. Sci. Math."},{"key":"BF02007144_CR73","doi-asserted-by":"crossref","first-page":"261","DOI":"10.4064\/fm-73-3-261-270","volume":"73","author":"K. Nagami","year":"1972","unstructured":"Nagami, K.: Countable paracompactness of inverse limits and products. Fundamenta Math.73, 261\u2013270 (1972).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR74","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1090\/S0002-9947-1971-0283749-X","volume":"160","author":"N. Noble","year":"1971","unstructured":"Noble, N.: Products with closed projections. II. Trans. Am. Math. Soc.160, 169\u2013183 (1971).","journal-title":"Trans. Am. Math. Soc."},{"key":"BF02007144_CR75","first-page":"128","volume":"22","author":"D. Pallaschke","year":"1976","unstructured":"Pallaschke, D.: Markets with countably infinitely many traders. Methods Operation Research22, 128\u2013135 (1976).","journal-title":"Methods Operation Research"},{"key":"BF02007144_CR76","doi-asserted-by":"crossref","first-page":"766","DOI":"10.1090\/S0002-9904-1972-13025-8","volume":"78","author":"D. Pincus","year":"1972","unstructured":"Pincus, D.: Independence of the prime ideal theorem from the Hahn-Banach theorem. Bull. Am. Math. Soc.78, 766\u2013770 (1972).","journal-title":"Bull. Am. Math. Soc."},{"key":"BF02007144_CR77","doi-asserted-by":"crossref","first-page":"113","DOI":"10.4064\/fm-92-2-113-130","volume":"92","author":"D. Pincus","year":"1976","unstructured":"Pincus, D.: Two model theoretic ideas in independence proofs. Fundamenta Math.92, 113\u2013130 (1976).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR78","volume-title":"Logic Colloquium 76","author":"D. Pincus","year":"1977","unstructured":"Pincus, D.: Adding dependent choice to the prime ideal theorem. In: Gandy, R., Hyland, M. (ed.): Logic Colloquium 76. Oxford: North-Holland 1977."},{"key":"BF02007144_CR79","doi-asserted-by":"crossref","first-page":"179","DOI":"10.2307\/2272118","volume":"42","author":"D. Pincus","year":"1977","unstructured":"Pincus, D., Solovay, R.M.: Definability of measures and ultrafilters. J. Symb. Logic42, 179\u2013190 (1977).","journal-title":"J. Symb. Logic"},{"key":"BF02007144_CR80","unstructured":"Rado, R.: Some partition theorems. In: Combinatorial Theory, pp. 111\u2013121. Coll. Math. J. Bolyai-Budapest 1969."},{"key":"BF02007144_CR81","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1112\/plms\/s2-30.1.264","volume":"30","author":"F.P. Ramsey","year":"1930","unstructured":"Ramsey, F.P.: On a problem of formal logic. Proc. Math. Soc. London30, 264\u2013286 (1930).","journal-title":"Proc. Math. Soc. London"},{"key":"BF02007144_CR82","first-page":"559","volume":"24","author":"Y. Rav","year":"1976","unstructured":"Rav, Y.: The ultrafilter principle implies that the projective limit of compact Hausdorff spaces is non-empty. Bull. Acad. Polon Sci. Math.24, 559\u2013562 (1976).","journal-title":"Bull. Acad. Polon Sci. Math."},{"key":"BF02007144_CR83","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1002\/mana.19770790112","volume":"79","author":"Y. Rav","year":"1977","unstructured":"Rav, Y.: Variants of Rado's selection lemma and their applications. Math. Nachrichten79, 145\u2013165 (1977).","journal-title":"Math. Nachrichten"},{"key":"BF02007144_CR84","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02011644","volume":"21","author":"M. Rimscha von","year":"1981","unstructured":"Rimscha, M. von: Weak foundation and axioms of universality. Arch. math. Logik21, 195\u2013205 (1981).","journal-title":"Arch. math. Logik"},{"key":"BF02007144_CR85","first-page":"380","volume":"7","author":"H. Rubin","year":"1960","unstructured":"Rubin, H.: Two propositions equivalent to the axiom of choice under both the axioms of extensionality and regularity. Notices Am. Math. Soc.7, 380 (1960).","journal-title":"Notices Am. Math. Soc."},{"key":"BF02007144_CR86","volume-title":"Equivalents of the axiom of choice","author":"H. Rubin","year":"1963","unstructured":"Rubin, H., Rubin, J.E.: Equivalents of the axiom of choice. New York: North-Holland 1963 (new edition to appear)."},{"key":"BF02007144_CR87","first-page":"389","volume":"60","author":"H. Rubin","year":"1954","unstructured":"Rubin, H., Scott, D.S.: Some topological theorems equivalent to the Boolean prime ideal theorem. Bull. Am. Math. Soc.60, 389 (1954).","journal-title":"Bull. Am. Math. Soc."},{"key":"BF02007144_CR88","first-page":"274","volume":"45","author":"S. Salbany","year":"1974","unstructured":"Salbany, S.: On compact* spaces and compactifications. Proc. Am. Math. Soc.45, 274\u2013280 (1974).","journal-title":"Proc. Am. Math. Soc."},{"key":"BF02007144_CR89","first-page":"249","volume-title":"Game theory and mathematical economics","author":"H.J. Skala","year":"1981","unstructured":"Skala, H.J.: Foundations of the social ordering problem. In: Moeschlin, O., Pallaschke, D. (eds.): Game theory and mathematical economics, pp. 249\u2013261. Amsterdam: North-Holland 1981."},{"key":"BF02007144_CR90","first-page":"37","volume":"40","author":"M.H. Stone","year":"1963","unstructured":"Stone, M.H.: The theory of representations Boolean algebras. Trans. Am. Math. Soc.40, 37\u2013111 (1963).","journal-title":"Trans. Am. Math. Soc."},{"key":"BF02007144_CR91","first-page":"390","volume":"60","author":"A. Tarski","year":"1954","unstructured":"Tarski, A.: Prime ideal theorems. Bull. Am. Math. Soc.60, 390\u2013391 (1954).","journal-title":"Bull. Am. Math. Soc."},{"key":"BF02007144_CR92","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0003-4843(73)90007-7","volume":"6","author":"J. Truss","year":"1973","unstructured":"Truss, J.: Finite axioms of Choice. Ann. Math. Logic6, 147\u2013176 (1973).","journal-title":"Ann. Math. Logic"},{"key":"BF02007144_CR93","doi-asserted-by":"crossref","first-page":"187","DOI":"10.4064\/fm-84-3-187-208","volume":"84","author":"J. Truss","year":"1974","unstructured":"Truss, J.: Classes of Dedekind finite cardinals. Fundamenta Math.84, 187\u2013208 (1974).","journal-title":"Fundamenta Math."},{"key":"BF02007144_CR94","doi-asserted-by":"crossref","first-page":"757","DOI":"10.1090\/S0002-9939-1962-0186537-8","volume":"13","author":"L.E. Ward Jr.","year":"1962","unstructured":"Ward, L.E., Jr.: A weak Tychonoff theorem and the axiom of Choice. Proc. Am. Math. Soc.13, 757\u2013758 (1962).","journal-title":"Proc. Am. Math. Soc."},{"key":"BF02007144_CR95","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1215\/ijm\/1256053526","volume":"13","author":"M.M. Zuckerman","year":"1969","unstructured":"Zuckerman, M.M.: Number theoretic results related to the axiom of choice for finite sets. Ill. J. Math.13, 521\u2013527 (1969).","journal-title":"Ill. J. Math."},{"key":"BF02007144_CR96","unstructured":"Howard, P.E.: Rado's lemma does not implyBPI. Z. Math. Logik (to appear)."},{"key":"BF02007144_CR97","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1080\/00029890.1965.11970596","volume":"72","author":"P.A. Loeb","year":"1965","unstructured":"Loeb, P.A.: A new proof of the Tychonoff theorem. Am. Math. Monthly72, 711\u2013717 (1965).","journal-title":"Am. Math. Monthly"}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007144.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02007144\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007144","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T17:59:58Z","timestamp":1586368798000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02007144"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,12]]},"references-count":97,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1984,12]]}},"alternative-id":["BF02007144"],"URL":"https:\/\/doi.org\/10.1007\/bf02007144","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,12]]}}}