{"entities":{"Q1913629":{"pageid":1924371,"ns":120,"title":"Item:Q1913629","lastrevid":46369761,"modified":"2025-12-24T15:53:57Z","type":"item","id":"Q1913629","labels":{"en":{"language":"en","value":"The theory of \\(\\kappa\\)-like models of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 881256"}},"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":"Q1913629$8DE4DFFB-B5AA-484B-919F-68BBA4E4A46C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c3f61e79a83f3b47e6861a5c6a27b4ee7b8f167","datavalue":{"value":{"text":"The theory of \\(\\kappa\\)-like models of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1913629$652B6F67-85C7-429D-BFB7-21EAEA1C3CA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95677e3c42ce2a23d0b15f9c10a277760ad4d028","datavalue":{"value":"0848.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913629$F6661ED4-FBC4-4BB1-A84E-313322EE13B7","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":"Q1913629$76FD0220-3C7D-49F7-AD33-4208D518E055","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79a780aa2953ebf6e4b780cb703846ce5b9cd87b","datavalue":{"value":{"time":"+1996-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1913629$7FABFC6D-7B1C-4CB3-AE90-0DAAA9D3F220","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb874ad66a6998dfba5d3390697235e66a83affa","datavalue":{"value":"A linearly ordered model is \\(\\kappa\\)-like if it is of power \\(\\kappa\\), and each of its proper initial segments is of cardinality smaller than \\(\\kappa\\). In the search for the theory of all \\(\\kappa\\)-like models of PA, the author describes axiom schemes true in all \\(\\kappa\\)-like models of PA, and discusses their model-theoretic properties. The schemes are suitable formalizations of: the statement that in a \\(\\kappa\\)-like model there is no one-to-one map from the model to a proper initial segment; various forms of the pigeonhole principle; collection scheme; an indiscernibility schema related to a general theorem of Keisler on \\(\\kappa\\)-like models for singular strong limits \\(\\kappa\\). The concept of tree indiscernibility related to the work of Paris and Mills on cardinalities of initial segments of models of PA is also discussed. The paper is intended to be read in conjunction with another paper of the author's [``Constructing \\(\\kappa\\)-like models of arithmetic'', J. Lond. Math. Soc. (to appear)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913629$18210D82-F0BD-4A52-800B-F9230351C094","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913629$2E77265F-87EA-4807-AAA7-DC3BA96C5D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913629$84EDC64D-C20E-4897-8BDA-4BC686DC0475","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efebac006960cd516f48bc0298197e16d631ce29","datavalue":{"value":"881256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913629$6C5240A2-FCF1-463E-8D1C-45F79474A2B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffaed6865f4000c155846fc8b019ac65a2774ccd","datavalue":{"value":"fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913629$32D0EDEE-9180-4292-832E-BAC6C64B6440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86891df2c64c418d041cac5b7c11ec6b3530884a","datavalue":{"value":"indiscernibles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913629$D67B2B83-36DB-4C34-B001-C4B842030511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d78eb2adce9cc0d3fe4b0914c936ee52a7ed8210","datavalue":{"value":"\\(\\kappa\\)-like models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913629$70DD3F08-ACB2-468E-BD47-648B5D7428DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913629$EFB92A9C-021C-4B76-B848-451418D03F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0956aff68f2346da0403bf57a98cc707ac21fbe4","datavalue":{"value":"collection scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913629$AE90D7C8-2FFD-4976-906B-08AC50BB8454","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":"Q1913629$9FAD4C40-55BA-44FE-9A93-F308A3433BCA","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":"Q1913629$CBC02F87-4C69-4296-A00F-97285D194C40","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":"Q1913629$611D860F-56F5-43A5-BA62-48DFB9DF96A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8907cafd9a2dbed2f6c942cc7ae9c29676751c2","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040136915","type":"string"},"datatype":"url"},"type":"statement","id":"Q1913629$A4FD7371-B0FF-467B-8597-438D8FA02BC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"291d54c685490139f5a0dcac286b83c6c2ecb5ce","datavalue":{"value":"W1532715505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913629$51AB557A-AD9E-4DB6-B2B4-53D5649D9A4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea5e6209965fef7ead6435d29f8ffd5a7152d90b","datavalue":{"value":{"entity-type":"item","numeric-id":5668470,"id":"Q5668470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913629$C34832A1-B193-432D-BEEE-1AAF43B4773B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be30864e37f863b9cd0dfdad13871068bc469623","datavalue":{"value":{"entity-type":"item","numeric-id":3985092,"id":"Q3985092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913629$BE45997B-A4D0-4245-8F6A-C9303B98CB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913629$2EBE27C4-CD08-4202-BBD6-EDB5389E19CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"769720d603d6b74fa2c0203011e94c2a5876cdfa","datavalue":{"value":{"entity-type":"item","numeric-id":1182708,"id":"Q1182708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913629$9A80A27C-AA4B-485D-91B7-2058D6E81228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"502c0939a30024fe8bf1d2e64e39774c3c8cbecd","datavalue":{"value":{"entity-type":"item","numeric-id":4716688,"id":"Q4716688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913629$D93053A3-1870-4A47-B045-C45413766122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f6725927404b429e4907f5e63203b3dafd92b03","datavalue":{"value":{"entity-type":"item","numeric-id":5585393,"id":"Q5585393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913629$3E1B34E3-04CE-4D5A-9533-7730EC9B5E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc655957845557e913551b1da587d1754bae13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4138726,"id":"Q4138726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913629$126C489F-3450-4370-82D4-5D47A2B37EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75404b85aec9d3f8d81a90cf7f18337600389e","datavalue":{"value":{"entity-type":"item","numeric-id":3884109,"id":"Q3884109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913629$E7D3CE14-2434-419C-B66D-2BCC882C1C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda7fe08a90908c83832d0367439fbd2a7b4034d","datavalue":{"value":{"entity-type":"item","numeric-id":3853628,"id":"Q3853628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913629$78DC4CAC-A265-4E2B-B9D6-0A0AF76D841B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3c6da98d044cd128ecdc0140b9543068ba481a9","datavalue":{"value":"10.1305/NDJFL/1040136915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913629$A1EF1696-DE91-4B58-B492-F6C97682A8EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f80baced05191346738ba75006cd3163507092","datavalue":{"value":{"entity-type":"item","numeric-id":4716688,"id":"Q4716688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2b0b4ac0757f9d976bf2bf38d05f2533a81347","datavalue":{"value":{"amount":"+0.8688933253288269","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":"Q1913629$32010C3C-8672-4C8D-B39E-D51B92642AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61c0d664f05a76bd58edfa344e7cda995b489bea","datavalue":{"value":{"entity-type":"item","numeric-id":3506330,"id":"Q3506330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ed62ffefb11f242a39a5ddf665769322faeedb","datavalue":{"value":{"amount":"+0.7499725222587585","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":"Q1913629$9F3BB3F6-31E0-4B05-B307-3618D9D8DFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb34ab23616ce554aa4cbd7921e0b6c15771226","datavalue":{"value":{"entity-type":"item","numeric-id":3335766,"id":"Q3335766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f041f0c17d90b07ff95e461813c73e8ed90ed10","datavalue":{"value":{"amount":"+0.746766984462738","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":"Q1913629$42553E0D-8E9D-425F-BDE6-2396272BB4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70df2fd9f2ad1b5c0491db70f07d3e5a6f5584e2","datavalue":{"value":{"entity-type":"item","numeric-id":800912,"id":"Q800912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ca3cd7fd689deb222e5422eee88aae041d69bc","datavalue":{"value":{"amount":"+0.7335420846939087","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":"Q1913629$F410E8CB-A9CA-4E15-A416-0E923C067C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce93a6db722b8082b60607a1441829dcac3f0fce","datavalue":{"value":{"entity-type":"item","numeric-id":3781749,"id":"Q3781749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbb9924efed7c69fbbf83acea7798a91130e1b42","datavalue":{"value":{"amount":"+0.732097864151001","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":"Q1913629$1CC05FBB-9B17-4D57-A0BE-11E4617B82F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1913629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1913629"}}}}}