{"entities":{"Q1823930":{"pageid":1834672,"ns":120,"title":"Item:Q1823930","lastrevid":49311691,"modified":"2026-01-06T22:53:52Z","type":"item","id":"Q1823930","labels":{"en":{"language":"en","value":"The \\({\\mathcal L}^{<\\omega}\\)-theory of the class of Archimedian real closed fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4116508"}},"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":"Q1823930$9F59200E-1B6B-45A1-BC53-1E7B85350029","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c59b96763c31c8c36f69955f3438a5d8aad46708","datavalue":{"value":{"text":"The \\({\\mathcal L}^{<\\omega}\\)-theory of the class of Archimedian real closed fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823930$14585B91-5B84-4248-93FC-CD59A1CD4EAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8b88d1c637b39af5237f102c1ad657d47215450","datavalue":{"value":"0682.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823930$904CD170-267A-4C43-B091-62A0CA23B76C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f85c5cb2cd9612f7a327445bfdeb9809d2d23cb4","datavalue":{"value":"10.1007/BF01622875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823930$DD7498A9-049C-47CC-8DF5-51C94E7CB5D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda92e31aeb6a3427550b8fa1f84ceca220a3609","datavalue":{"value":{"entity-type":"item","numeric-id":1813661,"id":"Q1813661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823930$6C48F674-D8AF-491A-8160-78214FB0AE13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823930$7DC59B20-2922-4719-AC2E-63CBE243EB5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1823930$96D66DB7-69C0-4C0D-BF55-4E2A01069EF1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dff0c1d935231fb6ea6729553a406198e78993a0","datavalue":{"value":"For the class \\({\\mathcal A}\\) of Archimedian real closed fields it is shown that the Malitz quantifier \\(Q^ n\\) is eliminable over \\({\\mathcal A}\\), provably in ZFC, if \\(n\\leq 2\\). If the Continuum-Hypothesis (CH) is true, \\(Q^ 3\\), hence any \\(Q^ n\\) for \\(n\\geq 3\\), cannot be eliminated over \\({\\mathcal A}\\). Conversely, it is consistent with ZFC that every \\(Q^ n\\), for \\(n\\geq 1\\), is eliminable over \\({\\mathcal A}\\); the last statement is already a consequence of the Proper-Forcing-Axiom.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823930$E1FC1619-919E-44CA-B120-A091C84FA11C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823930$69BD90C2-DBCC-4B74-B8F3-072455CFD358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823930$2E7723A3-DF56-4FD6-BD1E-78B6CACEA3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823930$596DB5B1-9C6D-4D44-9124-369E0B669D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823930$8ADDD3B1-FCCB-4058-B509-C956E5D7C5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823930$4E973C0B-05DC-4561-B9F5-FE2BA29B0577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823930$B8CC92D5-16B5-4219-8DAF-C3EC071C2C1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"deb70faf932f6c99b1e90a736aa1a8fd868698ad","datavalue":{"value":"4116508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823930$0E5A7062-0331-478E-882A-4270A9863636","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fec34c194540a591b794b56f9afd3e3e2444751e","datavalue":{"value":"Malitz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823930$01BEE9B4-E92D-4963-9435-76E249D75914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ebd7fc61a54f1f9f388d1a92c67e552bd5821f6","datavalue":{"value":"Archimedian real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823930$B808705D-38AB-41A0-B82D-AAEAC0F78EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f1ae1b2674aff6cff201f81da226bdc58ba52f0","datavalue":{"value":"Malitz quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823930$B98F3B06-34D4-474C-8A06-29255A8F42F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed6e8c5f7074cb9a9cfefe05607b8828c11960ce","datavalue":{"value":"Continuum-Hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823930$D516BFAF-699B-4455-9088-AC06FC284BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e3a78da03647f57f0c4f74d2f4391f1107cac53","datavalue":{"value":"Proper-Forcing-Axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823930$95708BA2-A6CC-4665-85AF-CC4D7DAA8D7E","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":"Q1823930$A704677A-6BD6-4196-9276-7517F5927A3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a02527b6dc590613bfc39bb6aa25a2bdefb56d2","datavalue":{"value":{"entity-type":"item","numeric-id":3220578,"id":"Q3220578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823930$23A8BDC1-C427-4ACC-82A3-6FC51257A37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7bceaa3f5b55c16ee082de5a7e14bd595b357b4","datavalue":{"value":{"entity-type":"item","numeric-id":3037421,"id":"Q3037421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823930$EDCFE841-7B37-4C12-9EBA-E4638FAAB526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a158a4bb6af7dbe9af07641970f5a2520cc72a6d","datavalue":{"value":{"entity-type":"item","numeric-id":3916558,"id":"Q3916558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823930$C3C4F849-279E-4F7E-8A54-479E58D8D463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823930$BC983E37-9A86-40FC-97BC-CF5D5FE58A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40dcb19db0121f0c69e8acb274a2e45224d7123d","datavalue":{"value":{"entity-type":"item","numeric-id":3705421,"id":"Q3705421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823930$A8BFA08C-AE4F-4E6B-A071-BDAD425A6647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45cd2ea360d17b085a46e8bc7dd71d81d0bdfcf","datavalue":{"value":{"entity-type":"item","numeric-id":1169456,"id":"Q1169456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823930$57B0A0DA-668A-40EC-A57E-F199A5F1E60A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57a6a0958edb6f44e0c8c5a4dde77b0dbe923915","datavalue":{"value":"https://doi.org/10.1007/bf01622875","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823930$9FBD3F3C-39C4-4F94-88EA-2EAFF29085CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"beafda6f38736721ef516402e4f5c624ac4c48e5","datavalue":{"value":"W2024769114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823930$C1704067-606B-40CA-BE9B-ADF9E85E4659","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6926a7d3edbc867611d2c3493e95d80b0e8284dd","datavalue":{"value":{"entity-type":"item","numeric-id":584248,"id":"Q584248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"687bae6d37ea05cc89233fc9e23f1ef84b2fd3fe","datavalue":{"value":{"amount":"+0.9181286692619324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823930$D345B4A4-3E4B-4396-BB85-F5E977742FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fcc3eebc544c4ffa632cc7b00b7878b6e123b8","datavalue":{"value":{"entity-type":"item","numeric-id":3995674,"id":"Q3995674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708c16920c8287207c39a0116ca1e32a603a5a53","datavalue":{"value":{"amount":"+0.900193989276886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823930$0AA4BB70-AF34-4B49-B9A5-970D4617DF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14afb06c456fd6146abd436ad5e8bd6d3b261581","datavalue":{"value":{"entity-type":"item","numeric-id":3315497,"id":"Q3315497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac65a3f9229e6bf87755d3f4a0e1534b0bf72b3","datavalue":{"value":{"amount":"+0.827656090259552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823930$B0389153-F66E-4F2C-8A85-ED960996612D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7dcd945af26b4cf498d744e69f785182ac740b4","datavalue":{"value":{"entity-type":"item","numeric-id":3705421,"id":"Q3705421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41c79085f8a4af65e196d6703d065057138bb01d","datavalue":{"value":{"amount":"+0.7443406581878662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823930$DACB90A6-271A-426D-A7CB-285558E0C219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55a9c49519c481b80dc6dbd650f1440352c34a3","datavalue":{"value":{"entity-type":"item","numeric-id":3679159,"id":"Q3679159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b95e4cba0f1744ec2c4ad009e6ba30fba3bcc8a","datavalue":{"value":{"amount":"+0.7422792315483093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823930$D7A9B321-5C83-4D88-AF2F-97306C153629","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1823930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1823930"}}}}}