{"entities":{"Q1264142":{"pageid":1274892,"ns":120,"title":"Item:Q1264142","lastrevid":70031790,"modified":"2026-04-13T11:58:15Z","type":"item","id":"Q1264142","labels":{"en":{"language":"en","value":"Monadic \\(\\Pi _ 1^ 1\\)-theories of \\(\\Pi _ 1^ 1\\)-properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4128800"}},"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":"Q1264142$A25CAB95-5385-4359-8539-A10E6856A52E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f28806aca358019e4cf38735e4f6170ee4ef31db","datavalue":{"value":{"text":"Monadic \\(\\Pi _ 1^ 1\\)-theories of \\(\\Pi _ 1^ 1\\)-properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1264142$E0794409-4D2A-46C7-B22A-D80B631A58F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"261a7400766a087b2e7d52c103e4817ac9170f8d","datavalue":{"value":"0689.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264142$30353B1E-CEAB-434E-A656-75D0392766A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70ecc260075ee1599934d252f5b5017b5aa41542","datavalue":{"value":{"entity-type":"item","numeric-id":579236,"id":"Q579236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264142$68AB8C79-B3B7-428F-84DD-36AF17A516C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264142$C70548FA-3F45-486D-98E9-B1D19C2447F4","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":"Q1264142$177308D3-54AD-4657-8817-EC21C6248B13","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2af441a56141b3f40cc17ab454e90aa7570102ad","datavalue":{"value":"The author studies conservation properties with respect to monadic \\(\\Pi^ 1_ 1\\)-sentences of the following type: Let L be a first-order language containing a binary predicate \\(<\\) and unary predicates \\(U_ 1,...,U_ n\\). Let \\({\\mathfrak M}=(M,<,U_ 1,...,U_ n)\\) be a model of the first-order L-schema corresponding to the \\(\\Pi^ 1_ 1\\)-property \\(\\forall R \\phi (R)\\). Then for each L-sentence \\(\\psi (U_ 1,...,U_ n)\\) true in \\({\\mathfrak M}\\) there is a model \\((N,<)\\) of the original \\(\\Pi^ 1_ 1\\)-sentence \\(\\forall R \\phi (R)\\) satisfying \\(\\exists X_ 1...\\exists X_ n \\psi (X_ 1,...,X_ n).\\)    The author provides axiomatizations for the monadic universal second- order theories of: scattered orderings, well-orderings, complete orderings, the orderings of the natural numbers, of the reals, and of well-founded trees. The author calls attention to the fact that these results overlap to some extent with those of \\textit{J. P. Burgess} and \\textit{Y. Gurevich} [ibid. 26, 115-128 (1985; Zbl 0573.03004)], but were obtained independently.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264142$11520D88-CF91-43CB-93C3-FB48FE623FBA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e08eb8f357cf37bb9650e048ba3d31ac3a05cf8e","datavalue":{"value":{"entity-type":"item","numeric-id":1226868,"id":"Q1226868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264142$DA6F3C97-A568-4C68-AC98-290C03DF9EF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264142$123ADE4A-996A-4AF9-9837-9B9EF91AFC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264142$156C6AAA-A855-456C-91C1-15D19373F654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264142$B202CC04-8855-415F-BFFB-A7699079EB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264142$74AB4602-ED38-47CB-8DFD-78CC2426AA4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74401aafa3c8ae484f2d5772fcdd385b2cd85c42","datavalue":{"value":"4128800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264142$39C4E4C8-F41A-45F4-84A8-4AB86D1C4407","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6ef9e1e58b41e6329cc0c8f908ad80e3d33a804","datavalue":{"value":"conservation properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264142$E2146DB7-DBC6-4388-A29A-FE0F18C7C08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec578557cda822b3f133f385eb2ffb1938e4f3de","datavalue":{"value":"monadic \\(\\Pi ^ 1_ 1\\)-sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264142$FB8B5B23-E4A3-4DC2-862D-00B1654FB1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfd339d5fdc320cb84ced0319a371d684c705ee","datavalue":{"value":"axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264142$347FAF27-F4A0-433C-A774-75A6813748DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744ec87e54ee58ef50d04cb384d3d5082b00e602","datavalue":{"value":"monadic universal second-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264142$513375D2-D3F9-4BE2-AE16-53FDE80FF679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e31c91b49b13ded14c006a20b418f5eb7a9294c0","datavalue":{"value":"scattered orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264142$36455240-50E9-4700-B669-9A4FD22B02B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fecd44779bf41ae6213eeb272a4d463ff8529fb","datavalue":{"value":"well-orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264142$7862B916-00F2-4B07-B61E-ED64C02F92BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"979dc56d42de6d49e009bb32538f591b18393cbb","datavalue":{"value":"complete orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264142$4B9D0507-0B48-483C-98D9-291EE145BEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b7f16b201de6728447e5b3664c161a1afb0abc3","datavalue":{"value":"natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264142$0046E0EC-31F1-424A-B92F-D97CDDDBA533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac5b83c95d70ec16e692ef9733982acec77a0888","datavalue":{"value":"reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264142$66D1C72C-9455-471A-9D4A-7E28467D0976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89412566a7d67b0bf88c54034085a8209176763f","datavalue":{"value":"well-founded trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264142$A683548A-A0C8-40BD-9C14-61887314361B","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":"Q1264142$C1D0817A-4AF0-4F52-8C4D-DE3CC0243F58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec76584c0df0584ad9eba13538e01a6a761e0ce8","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635080","type":"string"},"datatype":"url"},"type":"statement","id":"Q1264142$1339475A-DCFF-455B-ABDB-838110DC447A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cce93110ebe27377ddaa05b334daba07c914ad5c","datavalue":{"value":"W2074487014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264142$6E9D53E1-2288-416B-A72B-BCD34BBFDA71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3ffdd42e47ffd9a247344ed340bbb5043c1fbf3","datavalue":{"value":"10.1305/NDJFL/1093635080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264142$7CA7647C-4168-4F39-AE73-1876E905DD16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ebc0fbb228427d5e707b613b5055ce544a32c1","datavalue":{"value":{"entity-type":"item","numeric-id":3346282,"id":"Q3346282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c7dbac2f06f68ff44ac3d44345f0a3abcd593e","datavalue":{"value":{"amount":"+0.7699294686317444","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":"Q1264142$03781B98-B3BA-45FF-AB74-7E0675CEA4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07e9316d068246cada83dbda1bfa6a906536061","datavalue":{"value":{"entity-type":"item","numeric-id":1078169,"id":"Q1078169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308a281a94846ca10dd3a5a927647f81047dcb8f","datavalue":{"value":{"amount":"+0.740984320640564","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":"Q1264142$04F12885-57A5-4699-89B2-FAEF94BE366C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b16b9dc3557b9ca74916811b4abc76041fbab4b","datavalue":{"value":{"entity-type":"item","numeric-id":912091,"id":"Q912091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4afac3c9df77e7fc9908b639bcce7e60acf60a","datavalue":{"value":{"amount":"+0.7334933280944824","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":"Q1264142$2673355D-2AC9-4E0D-9A26-CA359283FE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04ba04b45eb5daa8653447a508232d291c863a6","datavalue":{"value":{"entity-type":"item","numeric-id":3342531,"id":"Q3342531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"578dd908fd1b3f460774790f42342730c2b0abd0","datavalue":{"value":{"amount":"+0.7319869995117188","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":"Q1264142$480D3288-9CD2-484B-B46C-E52A9C5E15C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec2f311e3e92cfd3aa10a05c7f5e68ec516055b","datavalue":{"value":{"entity-type":"item","numeric-id":3586024,"id":"Q3586024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16b14adfa0b2e5bcc8a4af511ef8ee6f97e00ad4","datavalue":{"value":{"amount":"+0.7306291460990906","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":"Q1264142$114E4456-F79A-4848-9D41-0016814FC053","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monadic \\(\\Pi 1^ 1\\)-theories of \\(\\Pi 1^ 1\\)-properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monadic_%5C(%5CPi_1%5E_1%5C)-theories_of_%5C(%5CPi_1%5E_1%5C)-properties"}}}}}