{"entities":{"Q2390503":{"pageid":2401246,"ns":120,"title":"Item:Q2390503","lastrevid":74000847,"modified":"2026-04-14T18:00:41Z","type":"item","id":"Q2390503","labels":{"en":{"language":"en","value":"Different versions of a first countable space without choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5585271"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390503$D289B599-B71F-4110-A59D-8DA6B215DDBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1be71951cb2957a129cf0b3b0af1e446ebf893c5","datavalue":{"value":{"text":"Different versions of a first countable space without choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2390503$C920A240-4824-455E-858E-5E94CEDA12F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f27744aa636ca0430182cf1157f53605c3793bbb","datavalue":{"value":"1176.54019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390503$487535A6-EE82-4D55-AD26-ECF0519C755E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50f303799cab122deffb07d136620bb6246c179e","datavalue":{"value":{"entity-type":"item","numeric-id":283107,"id":"Q283107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390503$5C522C49-9F56-4792-ADF9-88224D5A1CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6273540151de6b50478b0223910a58dad6446825","datavalue":{"value":{"entity-type":"item","numeric-id":306169,"id":"Q306169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390503$DE7806CE-60B6-421F-A221-878D3F6D6ED9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390503$DBF7DF41-AF8B-4455-9F8A-8AFC406DB321","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa5175cfbf455de09775e77fbc8884c835bf57d4","datavalue":{"value":{"time":"+2009-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2390503$912D5F1D-CC47-4D32-B3BC-1684B79933C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"28d693750efdd0e463fcc896cade89a6e162bbec","datavalue":{"value":"Note that in ZFC, each of the following three formulas expresses that a topological space \\(X\\) is first countable.  {\\parindent=7mm \\begin{itemize}\\item[(A)] for every \\(x\\in X\\), there exists a countable local base \\(\\mathcal{B}(x)\\) at \\(x\\).  \\item[(B)] There exists a \\((\\mathcal{B}(x))_{x\\in X}\\) such that for every \\(x\\in X\\), \\(\\mathcal{B}(x)\\) is a countable local base at \\(x\\). \\item[(C)] There exists a \\((\\mathcal{B}(n, x))_{n\\in\\mathbb{N}, x\\in X}\\) such that for every \\(x\\in X\\), \\(\\{\\mathcal{B}(n, x) : n\\in\\mathbb{N}\\}\\) is a local base at \\(x\\).    \\end{itemize}}  In this paper, the authors discuss the differences between these formulations in the absence of the Axiom of Choice. It is easy to see (C) \\(\\Rightarrow \\)(B) \\(\\Rightarrow\\) (A), and \\textit{G.~Gutierres} [Topology Appl. 153, No.~18, 3420--3429 (2006; Zbl 1137.03029)] proved that (C) does not imply (B) in ZF.  The main theorem is that (A) does not imply (B) in ZF. Many other results concerning the relationship between these formulations and weak forms of choice in ZF\\(^0\\), ZF without Axiom of Regularity are also discussed. All proofs are done by using permutation models though it was pointed out that the forcing is required to show the main theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390503$D2E5BE83-0312-49D0-879A-29E001F1D442","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50f9cb90343ccf6b63c483e1b837cddca54cf93a","datavalue":{"value":{"entity-type":"item","numeric-id":477600,"id":"Q477600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390503$7FAFA1FD-A24E-43A6-8EA0-B2D685D0C97B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10ae8d066ad25cf1e67193800fafbefc1a38f4cb","datavalue":{"value":"54D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390503$1863C4BC-10E7-471B-AB94-498BD3EF4810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390503$8B7E0B12-D7B8-4518-A835-47DEA6CB5B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390503$7DCC7967-A2C2-4277-A7A9-92D415B81429","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"984ffb0c7155488810de745f1aa659a389515b13","datavalue":{"value":"5585271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390503$0F01D0F8-E6C1-434B-9720-709116CFFE7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390503$8847F0CE-B7CA-4DC5-823C-B30A440164C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b6a6655d78fb1599b2ee2c8eacb2e0666dee97","datavalue":{"value":"weak axioms of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390503$3FEB4FBA-98D7-4517-B70F-5263452937E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b26d290872f11d35f2b89e5334949c6e78aeb8e","datavalue":{"value":"first countable topological spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390503$C973E3D0-75EB-4119-825C-6A1E7D87CC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b53a905acf1801d58cc30fb0954a78fc2caf09","datavalue":{"value":"independence results","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390503$ACC46BBD-BEFF-44A2-896D-ED82A39DC003","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390503$88EB83CC-DDB8-4528-8D0A-D776BC34D7CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a3af1cd5a26fbb7141c5cb12a157ce5f22224b8","datavalue":{"value":"https://doi.org/10.1016/j.topol.2009.03.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q2390503$0115CA45-AECF-495D-B8E4-76D99004925C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dec5243ef2610215b16c98966234609aff2ef583","datavalue":{"value":"W2015215276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390503$F21F9A48-2860-448A-AF7F-BFF8BB60F2AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6084574919df1fabb6811a7478d7ce895596b0c7","datavalue":{"value":{"entity-type":"item","numeric-id":4210469,"id":"Q4210469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390503$2A9FEEB4-7043-4A0A-A3B4-476C037E7672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390503$0A8FD59A-B78B-4056-A5A3-5FEFB0AD3FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4c3b167bb023d889910731e658fcde87c92709","datavalue":{"value":{"entity-type":"item","numeric-id":860475,"id":"Q860475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390503$8039EAD4-3230-4F56-A13C-A70DE9A3BDE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa1150efb88ec62256ded200794bf32bb4a787b0","datavalue":{"value":"10.1016/J.TOPOL.2009.03.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390503$38896842-FEA4-40F8-8FC3-5B6C7EAFB2E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d2c3367701133c1360f4b423603148a55d19d7","datavalue":{"value":{"entity-type":"item","numeric-id":860475,"id":"Q860475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca362f764b874c5c684f61d5e0bb8bf82345fc8","datavalue":{"value":{"amount":"+0.7809727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2390503$5B01FD4F-6D1B-4471-93E5-D19270BC7D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792cf3c7b663b2c547a2d4bf93ad7a1a49f298f8","datavalue":{"value":{"entity-type":"item","numeric-id":1115430,"id":"Q1115430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86e39bd90e2ba9fd3dcd4ff258e4d0564734793","datavalue":{"value":{"amount":"+0.7496998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2390503$7B1427A4-7871-4974-9EC0-DB28006C1FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d782fe32e3df49397dc148865950e950f1f314","datavalue":{"value":{"entity-type":"item","numeric-id":2072140,"id":"Q2072140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2bdf1c5540579aa91fd5248192aa8991209f846","datavalue":{"value":{"amount":"+0.74289954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2390503$D6282D55-E46C-44CB-AA43-62091E376F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a2d53b02b4e14ebd84211f8b6bc2fdc9960ad28","datavalue":{"value":{"entity-type":"item","numeric-id":6040620,"id":"Q6040620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a70d374300488f0dea7405bc34c677286a39166","datavalue":{"value":{"amount":"+0.73855036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2390503$9ED56B08-4712-4163-BE95-35057A0409A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5b4c874b68c7069d4e21575aeaf3937f1818c00","datavalue":{"value":{"entity-type":"item","numeric-id":5233980,"id":"Q5233980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5603531626cdaf167a9e9c7c6c3e050bfa383a90","datavalue":{"value":{"amount":"+0.7232787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2390503$A1DF881E-41C5-425E-9D26-7EA9D701AAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35d523c578e9cff3bf93f57941d0a572112bab6","datavalue":{"value":{"entity-type":"item","numeric-id":4939399,"id":"Q4939399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"289019bf22cfe157f56e3ba90642bdd170e708de","datavalue":{"value":{"amount":"+0.7214716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2390503$87E3AC2E-70DD-49D0-81D2-F547BAE65823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94a9ae6d7bd463123109c19306e77590aa54cd6","datavalue":{"value":{"entity-type":"item","numeric-id":4637816,"id":"Q4637816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d95f1892f09f58bf3153a75134a73b11e9e5b1c1","datavalue":{"value":{"amount":"+0.7164993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2390503$C58ECE28-AA76-48F3-AB67-5D494DCEDE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"371dad19c744234b31c39f6e6d0b9311fca6f21c","datavalue":{"value":{"entity-type":"item","numeric-id":1407509,"id":"Q1407509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05bca6dc6a468bb752997c217089f12956fd3f9","datavalue":{"value":{"amount":"+0.7064267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2390503$C00581D2-0727-403B-9CD8-5A08450B2BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec76e42ef0896a00bc9b4186c2625c4e348245b5","datavalue":{"value":{"entity-type":"item","numeric-id":3329454,"id":"Q3329454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f16320daaeb11c35ef22e65985196b4702cbd59","datavalue":{"value":{"amount":"+0.70433104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2390503$F497C2BA-E380-4448-9616-8C0A1563210B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56706a9eeebe8524e1e335a130ca941379ca5041","datavalue":{"value":{"entity-type":"item","numeric-id":4400408,"id":"Q4400408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b535e5e8650e9dffb4ff0549b9a01ea519d14c75","datavalue":{"value":{"amount":"+0.6955593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2390503$6AA1DF79-6646-49E6-829D-888105915C76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Different versions of a first countable space without choice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Different_versions_of_a_first_countable_space_without_choice"}}}}}