{"entities":{"Q6595732":{"pageid":14206889,"ns":120,"title":"Item:Q6595732","lastrevid":56976207,"modified":"2026-03-25T10:55:27Z","type":"item","id":"Q6595732","labels":{"en":{"language":"en","value":"Multi-level nonstandard analysis and the axiom of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7904075"}},"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":"Q6595732$A99BEC8B-B057-439E-A31D-3F5EAB6B9DF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8c4f8fd5833621337506160b0c66d3c37bb106f","datavalue":{"value":{"text":"Multi-level nonstandard analysis and the axiom of choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6595732$479E3DE2-4BBF-470D-8886-75FD29F41DB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"869f6116a34de7fc3eb0b7608f954cee8381df01","datavalue":{"value":{"entity-type":"item","numeric-id":195652,"id":"Q195652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$3D0F44AF-D5E0-4176-9172-7608D757FC52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33fa00db87827c11724d8a1355500a9a7034d47b","datavalue":{"value":{"entity-type":"item","numeric-id":2930865,"id":"Q2930865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$90227801-AE20-4CE4-B019-4AF3972435A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c8fa6bb43b78c1909fabd4abecf9fb01f680f46","datavalue":{"value":{"time":"+2024-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6595732$2C7D0C46-5809-43B3-B8C2-0B09D7D84BD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6595732$8E65C327-4146-455D-B5CA-ADD520C3A886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6595732$48DE18CD-B875-46A6-9ECA-21B5C706C701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6595732$B144AC06-5225-4FDC-93E8-0BBB91C37793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6595732$2776A372-07C9-47EC-8B0F-0E01CDDBBF1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d8144cc6133d4c4e8efabf4a4e070ff147e5fa4","datavalue":{"value":"7904075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6595732$D8133E41-06FA-447A-BB0F-A54498EA6640","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6595732$0E305CE7-0080-47A3-93DA-651BF0963732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8780a6196d1c7fcbad1862f65f05f734bbc0d098","datavalue":{"value":"levels of standardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6595732$C994725E-954C-4B52-9E78-DB23BB453C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab24453851bf04be9ca75519d2263775eccced8","datavalue":{"value":"levels of infinity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6595732$863FC400-6153-4756-AFBA-FD54E689C593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6595732$67BB0FE2-2E5D-46A8-A9E0-E0D2B0932593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26dfd749f8a1accfef9f9284811fe1b165a0e4e0","datavalue":{"value":"iterated ultrapower","type":"string"},"datatype":"string"},"type":"statement","id":"Q6595732$A161531A-B4A1-4F4B-BCC8-791B84A0F301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c07e461ea895d5e1f93a1913d4b00eb39ee936","datavalue":{"value":"ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q6595732$F59DD5D9-E86B-4034-954D-D75FB2411051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10360e22144d8b8d85e8e75b647e68874daccc05","datavalue":{"value":"Szemer\u00e9di's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6595732$E08AB00F-959A-4BB5-B04B-19F44BEE4BCB","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":"Q6595732$48F2816C-B951-4413-A8D1-D9A19D77A6ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bdc46bcaae5cb2b39675d5c593fe8df1ff1982f","datavalue":{"value":{"entity-type":"item","numeric-id":5030479,"id":"Q5030479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$767FA1D9-BD6B-415E-A275-000BA3352C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba82a794e7b50f883ca25aef5af8219c4085648","datavalue":{"value":{"entity-type":"item","numeric-id":714729,"id":"Q714729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$4393C360-2A12-4234-81CE-AC342AEFAF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d517c2840029a60964e7216960abbd5f40dc647","datavalue":{"value":{"entity-type":"item","numeric-id":4871937,"id":"Q4871937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$6873F335-14CB-489E-A1A7-E7AD09F464A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"993bb128a7bbbd3cbe498171b9f62e773c99b1af","datavalue":{"value":{"entity-type":"item","numeric-id":3629227,"id":"Q3629227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$226545A8-79F8-4751-914C-6A4EA3BAF5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b8263b839f8cc6998630ddd39911c007690f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5146433,"id":"Q5146433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$572FBB47-4233-4904-9D6D-78DBD832D421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf23b873d36f4efcde1145a8dfe28ce9f3f4461","datavalue":{"value":{"entity-type":"item","numeric-id":1661675,"id":"Q1661675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$C3F0E45E-CBF8-49C7-A309-BE8A8E0EA1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83384a803ecd91c849d3ff1e53166b5d3867e0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4656803,"id":"Q4656803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$56F66C6E-E9E5-4C55-8A47-8765F6F3FB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a3af6e01afb7bdd978dafaa543e34c6f429af3","datavalue":{"value":{"entity-type":"item","numeric-id":3145942,"id":"Q3145942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$43FA0831-6DE4-487E-9F9C-76C49C251848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ccd40e5ec194624f82933b2d8aa9f3af94a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":3145977,"id":"Q3145977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$B8FAC712-6ACE-4C81-9199-1C2B9010AE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f82f0ca210ec8949a32b6db8453401991b17e5","datavalue":{"value":{"entity-type":"item","numeric-id":2662699,"id":"Q2662699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$24A6439F-285F-4973-87E0-DEB3EFC24FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05e469845e77a87a3035a5e64774d90a551146f5","datavalue":{"value":{"entity-type":"item","numeric-id":6183681,"id":"Q6183681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$EFC3F314-0FC8-45D3-9986-7895E1F786DA","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":"Q6595732$7DC8DEB1-3662-4677-A0CC-6D654E709E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$6ADF67D7-4ECE-401E-8062-510DD2D99F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10335b9f4b3e385b3a62d4b05daa27d17160f4f1","datavalue":{"value":{"entity-type":"item","numeric-id":1654210,"id":"Q1654210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$5AAADF62-3B9B-4533-8E72-9FACE965D75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eff1a1596e89669a389607aa485f25f25de9fc8","datavalue":{"value":{"entity-type":"item","numeric-id":4821145,"id":"Q4821145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$207AF750-E8A6-4A56-B688-A68A4EADDF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c93f9dfbb052bb65cd52ab33b8039aa8152667","datavalue":{"value":{"entity-type":"item","numeric-id":2856462,"id":"Q2856462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$FA0205EF-9E7C-4F72-8A90-BC8F3FB395B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f89211a83a4eb95e97bada6b67401ce8f21aba9","datavalue":{"value":{"entity-type":"item","numeric-id":486948,"id":"Q486948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$53CBECB7-930B-4BB3-B0E2-5C833A7EA415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff1e3cb97846d725e4e7fa295c1ef2e5b33886f","datavalue":{"value":{"entity-type":"item","numeric-id":5479570,"id":"Q5479570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$5BCE43FD-D17E-42F2-9BBE-1CED5D3BC786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de161426ecfe91c3af7fc111855ddbc5d4d9111","datavalue":{"value":{"entity-type":"item","numeric-id":3796444,"id":"Q3796444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$638D9F56-16C0-45FC-ADB6-2ACF3CFE9C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8676aa9ca59363ed344322b89e6ea999b6706c31","datavalue":{"value":{"entity-type":"item","numeric-id":1802967,"id":"Q1802967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$C31E7939-3F8F-4492-A9D8-34DFC5852A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88ad5bb706680d37d0e6a4519b158d95d13fc9e","datavalue":{"value":{"entity-type":"item","numeric-id":5108034,"id":"Q5108034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$A343A266-E08B-4559-ADFF-EC0886B943E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e9d224594aa052df0f4c798c797b52c9a47331","datavalue":{"value":{"entity-type":"item","numeric-id":2054114,"id":"Q2054114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$8D7D215D-36CB-4894-AF19-296EE0E01852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$374AE785-9193-4A8E-8634-B8093B3A8435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822d007295779501c5b88d151cdb1ff9b3a9beb2","datavalue":{"value":{"entity-type":"item","numeric-id":3984431,"id":"Q3984431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$332EF6B7-568D-4ECF-A4DF-330F685AD7E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01c631f4eb2a92dfbbf2b53bd4573a1138cfaf4b","datavalue":{"value":"10.4115/JLA.2024.16.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6595732$7B49119E-2A81-466A-8E36-D0B0E1B1263C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595732$A962D8DB-FB1C-4132-93C3-9BF295118FD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6595732","badges":[]}}}}}