{"entities":{"Q1377633":{"pageid":1388373,"ns":120,"title":"Item:Q1377633","lastrevid":68760522,"modified":"2026-04-13T01:52:53Z","type":"item","id":"Q1377633","labels":{"en":{"language":"en","value":"Infinitary definitions of equivalence relations in models of PA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1109914"}},"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":"Q1377633$1FC5AE1D-3530-447D-B68E-5C44ACC63DC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a68ee7efe63d7f7e7b19f27b165daa07a6d9269","datavalue":{"value":{"text":"Infinitary definitions of equivalence relations in models of PA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377633$2A5E1855-9192-4F4A-90F7-252CE70DE1BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bf6bb9a800c13b535d74066fc25c223deade0e6","datavalue":{"value":"0889.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377633$7883B219-A272-454E-A408-092EAB242654","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d63207b6f53e3822fc8bd4177d30750501d0c931","datavalue":{"value":"10.1016/S0168-0072(97)00003-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377633$8943A872-3018-4BAC-A9A5-104E52C57447","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377633$6FA6139D-AD40-4D98-A285-CBC8C94CABED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7973a90269141d62c572638d0658f506dd7b9df5","datavalue":{"value":{"time":"+1998-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377633$0F69705A-6CFB-4CC0-BF48-04D318DE5048","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f6a703a5e80ea81463463a4cc4d1df342f0906d9","datavalue":{"value":"In ``A Galois correspondence for countable recursively saturated models of Peano Arithmetic'' [in: R. Kaye and H. D. Macpherson (eds.), Automorphisms of first-order structures, 293-312 (1994; Zbl 0824.03015)], \\textit{R. Kaye} proves a general theorem characterizing closed normal subgroups of the automorphism group of a recursively saturated model of PA in terms of pointwise stabilizers of initial segments of the model. A corollary of this result is that, if \\(\\equiv\\) is an \\(\\Aut(M)\\)-invariant equivalence relation on a countable recursively saturated model \\(M\\) of PA, then there is an \\(\\Aut(M)\\)-invariant initial segment \\(I\\) of \\(M\\) such that the group of automorphisms \\(g\\) of \\(M\\), for which \\(g(a)\\equiv a\\), for all \\(a\\in M\\), is the pointwise stabilizer of \\(I\\). In the paper under review, Kaye gives more information about the relationship between \\(\\equiv\\) and \\(I\\). He also discusses other consequences of his theorem on closed normal subgroups and states some open problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377633$E5299571-662B-4D03-AD7B-18AD57CB8E61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377633$0B24039D-92C1-449E-977B-CB9E05651770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377633$8845D03F-194D-4DD3-BB15-8CDDD4B468B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4266f1a171ff541d03041e17cc685d2ddee49a50","datavalue":{"value":"1109914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377633$CAEE8276-3041-474E-8245-8DE8E1B847C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb78bb18f3a146f8ec0fba8087cdcd8dfdba88b","datavalue":{"value":"nonstandard models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377633$39A48FD3-6155-49A8-A995-A4D8D778E392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ec59c5b1bb9e4cd77cc696b9efa6551305dac4","datavalue":{"value":"recursive saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377633$ADF2083B-BE01-4ABA-A683-7F6737F95C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8db3395418ef97bd5a003e7dc8a17940fb14ddd","datavalue":{"value":"automorphism groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377633$205A3F0E-CCF8-4592-A49C-143CC332BB56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e8d3a3341051dfd24b707ce385e6152c2c9cbd","datavalue":{"value":{"entity-type":"item","numeric-id":1762363,"id":"Q1762363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377633$F96C9AAD-6783-494D-B1D8-6B860AC0AE80","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377633$AFF681BE-698E-4760-98E2-F3B912294C40","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":"Q1377633$E79E42C6-9090-499D-95B0-2E7C1AC43E72","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3c32a4fb9a3f04d796d08c0ab22ff4b2032544","datavalue":{"value":{"entity-type":"item","numeric-id":4096940,"id":"Q4096940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377633$BDA1B413-B817-4044-A8D7-FA9FA509F6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c133a9a40c33dd50abe4ed720c44353305da5900","datavalue":{"value":{"entity-type":"item","numeric-id":3581791,"id":"Q3581791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377633$953FF3FF-F43C-4919-8F17-0DFDDE717039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8060801ad391f7740211f426015b68ee66d1ab85","datavalue":{"value":{"entity-type":"item","numeric-id":4309365,"id":"Q4309365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377633$C18C9B78-ECC0-4936-A413-926AC98F969A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815608d91af37dadcdd307ac6ea19901cc19bc54","datavalue":{"value":{"entity-type":"item","numeric-id":1182432,"id":"Q1182432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377633$62F99198-8336-4D65-94A5-0EC52A827604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d986ce75b088a24cc498f277cf7f71fe1798672","datavalue":{"value":{"entity-type":"item","numeric-id":4305611,"id":"Q4305611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377633$C8EE5C35-1CAB-4EA8-B00B-DCB84C17A17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113307d81600e88c068b525a517fd1ae8a494de6","datavalue":{"value":{"entity-type":"item","numeric-id":1314639,"id":"Q1314639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377633$F7996E15-3723-47D2-B32A-97E59C5F7A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a7df670beed245e208fd50b77ee3f40acb5e93","datavalue":{"value":{"entity-type":"item","numeric-id":3689171,"id":"Q3689171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377633$43F036AC-7311-4043-BE0A-A909B9A3FF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92f6727101834aa2dcc66eeea9f48eb0d2c7ac3d","datavalue":{"value":{"entity-type":"item","numeric-id":1333303,"id":"Q1333303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377633$772E7FD9-6E34-4039-86FE-81CD9045895A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ae291f687eb48c1f388934f5ceb51585362b94","datavalue":{"value":{"entity-type":"item","numeric-id":4309364,"id":"Q4309364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377633$82C6E013-BEC7-4315-A314-3316C1FCADB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b376d62da623b4844da39dc9f9dd7a1ac0375315","datavalue":{"value":{"entity-type":"item","numeric-id":3968927,"id":"Q3968927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377633$0DD103A9-07B9-42C8-B51B-608CEA4E1FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7602444df7615cca65f103f55996e5f1293df10","datavalue":{"value":{"entity-type":"item","numeric-id":3216650,"id":"Q3216650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377633$A19F04ED-3B00-43C1-A8B5-6F6C96CCA1B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b43030581441f2060ded8f89b3e8975b8272af","datavalue":{"value":{"entity-type":"item","numeric-id":4592970,"id":"Q4592970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3641c8f984991fc275d34190cfdeb47ac9ae7838","datavalue":{"value":{"amount":"+0.888211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377633$309EF95C-2F76-439C-B72E-7534798A5816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f349b1319b2738971e49563ec5ca2fbdb024f8","datavalue":{"value":{"entity-type":"item","numeric-id":5168890,"id":"Q5168890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f21e61d6974aef67926dd7cf9b4654238131c7d4","datavalue":{"value":{"amount":"+0.87293386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377633$BE4471D2-4559-40C1-B758-A23BA8CE7775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad583375ead7328899e216860701e1e69f964a33","datavalue":{"value":{"entity-type":"item","numeric-id":2702252,"id":"Q2702252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2e0f856b2aaaf7ef6d1511fcdb12ac892bcad04","datavalue":{"value":{"amount":"+0.8692852","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377633$BB05DE9C-3F39-4498-876F-EF3A0D4E8D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705fd68aa19068b3ee3de2691e2d16f0a78f829c","datavalue":{"value":{"entity-type":"item","numeric-id":3360169,"id":"Q3360169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fcd99c75fcf74f1e6f925b57428442140bdf509","datavalue":{"value":{"amount":"+0.86677825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377633$1DCE5184-8C05-4A7D-9E61-B5236660295C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2adb8527405b6acea672597decfdc0220777d14","datavalue":{"value":{"entity-type":"item","numeric-id":4395613,"id":"Q4395613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3650babf271df7f9523a983c188aff92f6c45e1","datavalue":{"value":{"amount":"+0.86405486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377633$5076C474-5D26-46E2-9F47-F5C317987947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e97016efd4ddd6da251c66ef051e3ee4988182","datavalue":{"value":{"entity-type":"item","numeric-id":3449222,"id":"Q3449222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c92f96a71eceab8e0d42b8830fbb6dd3b351d1","datavalue":{"value":{"amount":"+0.86267316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377633$216122A7-7C83-46BB-803D-51A6CC42C61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cbb3f37404d5dec2d2834ccb21a730ff483106c","datavalue":{"value":{"entity-type":"item","numeric-id":540407,"id":"Q540407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28657599566eacae2777c25ee79e9808de5b8590","datavalue":{"value":{"amount":"+0.86116487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377633$1D9A708C-F82B-432F-97BA-3EF7141007CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b83380e084f8c522a9b98e39c38a33c85b84b663","datavalue":{"value":{"entity-type":"item","numeric-id":2144617,"id":"Q2144617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823065a8f0ec7a70997556c261480eca1e3b6a2e","datavalue":{"value":{"amount":"+0.8610548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377633$58E76972-E3EB-4347-9BC2-66FDA66469CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7ab8d3663e4c4fdfb109c11e7ecb3538552e9f","datavalue":{"value":{"entity-type":"item","numeric-id":759747,"id":"Q759747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481cd5bae9f218683e4731358a6eefb98ce766b5","datavalue":{"value":{"amount":"+0.8601829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377633$BF095788-BB72-46D0-BF48-1A8CD7120AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61bd4c3c57ca648e3eb56fb0e97310bac8e7107c","datavalue":{"value":{"entity-type":"item","numeric-id":2976331,"id":"Q2976331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aef39323779c05f78a0fd1962ddb3bf0e698643","datavalue":{"value":{"amount":"+0.8579546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377633$50A95E0C-78A1-4730-A336-798BC8B9E82E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinitary definitions of equivalence relations in models of PA","badges":[]}}}}}