{"entities":{"Q1090677":{"pageid":1101429,"ns":120,"title":"Item:Q1090677","lastrevid":66430917,"modified":"2026-04-12T10:02:15Z","type":"item","id":"Q1090677","labels":{"en":{"language":"en","value":"Near coherence of filters. I: Cofinal equivalence of models of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4008393"}},"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":"Q1090677$239AD138-A75B-4B60-BF92-06AB3C78FEEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"260fc52437b86528a5af8e0a2230080aca4813f1","datavalue":{"value":{"text":"Near coherence of filters. I: Cofinal equivalence of models of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1090677$801983BA-B558-46D5-8856-48849D7174DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99b0001cb34e82b2f1f56031a55639c6aa53a818","datavalue":{"value":"0622.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090677$11A41F47-8AD9-4B03-9696-094C46309C25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090677$404D00BB-5DCB-43D0-956E-B2B6DC8F3155","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":"Q1090677$D64A53D7-D5A9-4E4E-9C15-47ADB45E8DA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1090677$A2285683-9680-4CF5-BDB4-8861393644AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aef44e52611c5988897b79d0cbe355bc713566d5","datavalue":{"value":"Two models of full arithmetic are cofinally equivalent (c.e.) if they both can be cofinally embedded in one and the same model. Firstly, any two tall models of the same cofinality are c.e. The matter is much more delicate with short models, in that for minimal non-standard (n.s.) models, c.e. coincides with isomorphism. The principle of near coherence of filters (NCF) is investigated in this regard. It means that any two short n.s. models are c.e. NCF comes out to be equivalent to various properties of free ultrafilters; it is consistent with (and independent from) ZFC (Shelah). In particular NCF has some import on the dominating number d, i.e. the smallest cardinality of a dominating family of functions. E.g., NCF implies that all short n.s. models have cofinality d, and that any fewer than d short n.s. models have isomorphic cofinal submodels.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090677$4581A3E8-7276-4F06-93A8-1E7160EFD8C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090677$2E647F52-D85B-40B6-A559-85FFCEBA4A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090677$9185A681-06F1-4F96-81AB-4D7B8EE79A12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2381ee47684fa51769ec94e12a8ea5368aa0845e","datavalue":{"value":"4008393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090677$DDB6DFC8-867B-4C49-9417-1987DF0796A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf8bfcabeeed81650fe5fe8eebb9a5c2a100ab3b","datavalue":{"value":"models of full arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090677$5DB37AD5-0CF4-428C-BB3C-D8739AF1A954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"426833315b06ec4b168b6494aeda11441647a640","datavalue":{"value":"cofinally equivalent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090677$4E01CFB6-E688-4374-A250-33154AB0C8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198d33c411eb6b6cb8b563f5ba9b6bbb47e9d8f0","datavalue":{"value":"tall models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090677$E05F6025-CB9A-41C8-8901-97DAE588EFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8349cc8988f52f7a33da1e6996aa41d09f0dbd18","datavalue":{"value":"short models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090677$51FF3F68-58D0-480B-AA83-C26FD1CC3078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e64fb51d8e610d9765c2eef6c27473f7e730063","datavalue":{"value":"near coherence of filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090677$0D624447-1FAA-43A6-BB56-654BD3F81B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7afa3f68fa61c626ce66f4eae31dc94c27dbba54","datavalue":{"value":"dominating number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090677$D2BEEE1A-8209-4E93-AC85-B5B12DCFCC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cb77774c8eab49a7e996e78114ff831fbf047d7","datavalue":{"value":"cofinality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090677$B68FC6F4-232E-4895-A949-989C2AEA16E3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2aae80144548b21f45948e74c570be9dd7fcd68","datavalue":{"value":{"entity-type":"item","numeric-id":354675,"id":"Q354675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090677$66D9D279-8994-494A-9FBD-270E36BA6D24","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":"Q1090677$C2928A3A-19A7-4898-85A9-E5C15CEA1D2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"815116e2e434efcf5753c080900ff48158a374eb","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636772","type":"string"},"datatype":"url"},"type":"statement","id":"Q1090677$9BBAEB63-F735-42EC-8DDA-6C08A86F9795","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5672f85b096aad6430e7554b9ea6a25419b5b750","datavalue":{"value":"W2024868415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090677$CE880E75-10AD-42FA-92B4-216BC2B19F82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"127132fbea1100509bf187f0c91ec1934468ddd6","datavalue":{"value":"10.1305/NDJFL/1093636772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090677$3C86CC0D-5C3A-4BF8-9262-58F9997A9CBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258635c1b6bbf3355e9b42c344ad4035bb3733e5","datavalue":{"value":{"entity-type":"item","numeric-id":3625565,"id":"Q3625565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7472568d4288ac9836edf1dce9c48fafefb12818","datavalue":{"value":{"amount":"+0.8048427104949951","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":"Q1090677$C3DE4EAF-3106-4CC8-9D89-48B1B1AFC725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7140be83aab0884cb42dd164bc56c922d1d063d","datavalue":{"value":{"entity-type":"item","numeric-id":914666,"id":"Q914666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0237d71b643f538b4d941f5864bb7cb2cca1f514","datavalue":{"value":{"amount":"+0.7756818532943726","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":"Q1090677$EA218B22-DD1B-4FE5-89D7-A99A5B742462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10a8dc27a1c51da6d70ce85355ffb8e6aa66c52","datavalue":{"value":{"entity-type":"item","numeric-id":3791147,"id":"Q3791147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f905bbf2c53764fe46ac97364747231b4c09beb","datavalue":{"value":{"amount":"+0.7682693600654602","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":"Q1090677$F9F180B2-A8FA-423A-90E4-6F3572FA2A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef235c452988a2f1e85cd286d7c65273d11299eb","datavalue":{"value":{"entity-type":"item","numeric-id":1354318,"id":"Q1354318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c74f69cf54a26757e5c6389f11ae80497b7ecc","datavalue":{"value":{"amount":"+0.7599831223487854","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":"Q1090677$452AED00-3DA0-447A-AB4A-7CFB49C45FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71492c698a88a5c5fe703fe54ce987bda37dc682","datavalue":{"value":{"entity-type":"item","numeric-id":3425064,"id":"Q3425064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd6ee14d4c0e813c20c9d05aded6ab22eed0565","datavalue":{"value":{"amount":"+0.75809246301651","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":"Q1090677$040B434E-7A72-42FA-8609-5C85FBD64C43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Near coherence of filters. I: Cofinal equivalence of models of arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Near_coherence_of_filters._I:_Cofinal_equivalence_of_models_of_arithmetic"}}}}}