{"entities":{"Q1964146":{"pageid":1974888,"ns":120,"title":"Item:Q1964146","lastrevid":82339394,"modified":"2026-05-06T20:40:08Z","type":"item","id":"Q1964146","labels":{"en":{"language":"en","value":"Smooth categories and global \\(\\square\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1398855"}},"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":"Q1964146$D254A3CA-66E8-4650-8D16-5352EA662544","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e17038b27dfae68d5a697ec39a513e9132efbc9a","datavalue":{"value":{"text":"Smooth categories and global \\(\\square\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1964146$08100725-F86F-4CC6-BB97-CE1E8C9477B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a138ea53581dd77c3f3877729e4d45d7f5bb1bf6","datavalue":{"value":"0941.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964146$E40EABFE-078B-4707-9FDE-43063A87A90E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbadc4c2096b70f35f0e81e651657d991abfd6ce","datavalue":{"value":"10.1016/S0168-0072(99)00020-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964146$E001B1D0-5090-440F-A841-925B4EFF254A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bd6c7aa3d12240ae470854fc557dbec3a83c21b","datavalue":{"value":{"entity-type":"item","numeric-id":219154,"id":"Q219154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964146$105097E0-0EEE-44DD-993A-A33C4A77AB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5544598707b492ba0b4aba2ee7c1e40acbfa33","datavalue":{"value":{"entity-type":"item","numeric-id":915726,"id":"Q915726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964146$2D19BBD5-1F59-47FE-B749-944FCEDF0902","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":"Q1964146$F19183D5-9D5F-4513-BDB9-9B1D9E4C651F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff549de5c6ce5b4225ab7822aed4075af58e4092","datavalue":{"value":{"time":"+2000-07-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":"Q1964146$A22B39B7-B331-4927-86AF-5D9BE940E9E3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9a3a3bb2d07753237404dc7495a38cdf92848289","datavalue":{"value":"The authors axiomatically define the concept of a smooth category. Smooth categories allow the fine structural aspects of the construction of \\(\\square\\)-sequences to be separated from the combinatorial aspects. They construct a smooth category of mice and embeddings in the core model for measures of order 0. The construction is based on a ``condensation'' lemma that guarantees that certain condensation arguments preserve sufficient soundness downwards. As a consequence of the construction, the global \\(\\square\\) principle holds in \\textbf{K}. The authors prove a stronger result, namely, that a condensation-coherent version of global \\(\\square\\) holds in \\textbf{K}.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964146$E5B93A42-0C63-49B9-BC18-079861958580","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964146$C28EE166-7934-44CA-B76F-4F9408860028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964146$ACF8843C-90AA-4B03-8CF0-4EAD988DB042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964146$B39EF1D1-A672-4DDE-9911-35A1CED262EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dfb634f9ce11fa2e8756452dc128a398114a7ae","datavalue":{"value":"1398855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964146$C3D35332-3804-4168-88C2-AFF9B18D29A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01bb0f131b2f05748d361b4306842ffc26c34a27","datavalue":{"value":"square sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964146$D433C7D0-618F-4416-8FF1-F5F3041FD2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1968dcf3cd7ce02d9451d5c51600f569b2486e0a","datavalue":{"value":"core model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964146$52314454-87B4-4067-B79E-7E9F2D47E1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6b0c7b368129b34237319aa323250fc0e339bea","datavalue":{"value":"smooth categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964146$439A519E-47A6-4D79-A599-E6940EE3B292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1bb29843dede667e7871a36d9547fb0d57fe7cd","datavalue":{"value":"mice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964146$DB315950-B074-4584-A2BB-C3709DC6B4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8954d6f76799365dc5b870fd18e348b2083a4841","datavalue":{"value":"condensation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964146$6D7A335B-7A47-4BD9-9E60-E162656A8DBD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964146$8E16597B-92E1-41B1-99AE-E918C9DF8EA5","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":"Q1964146$51C59804-C9B7-4C21-9D43-C0415F538901","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eccbcfd7e342f92ce474b668987130a65c2b46aa","datavalue":{"value":{"entity-type":"item","numeric-id":3921212,"id":"Q3921212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964146$74E2412D-67E6-40E4-96E9-EA2C7C73D2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964146$277B11B5-1D9D-4B24-8836-9FC17946BB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fda8da851a3bd922f54f5e11ff004e1ab10a037","datavalue":{"value":{"entity-type":"item","numeric-id":3905272,"id":"Q3905272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964146$30A8E216-4962-4693-B320-72EF2EB80BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac6a5f830937429e346b92b981f00e78ce91dcf","datavalue":{"value":{"entity-type":"item","numeric-id":3953756,"id":"Q3953756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964146$9B7FF239-4083-48F3-AAFB-F9D8A72A2650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fa1337f6b07110a31e0512755583cc4f3dfa66","datavalue":{"value":{"entity-type":"item","numeric-id":3671961,"id":"Q3671961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964146$B0327F33-EC52-45F9-A3EC-B635EB0B7178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0469ae17ca22b94843143d0aac399bff8b4b8301","datavalue":{"value":{"entity-type":"item","numeric-id":3724320,"id":"Q3724320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964146$27015769-63D6-4B2D-91A9-78116D63BD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5522058c7fd6d4b941c6afbddf1d6c107b676573","datavalue":{"value":{"entity-type":"item","numeric-id":4314693,"id":"Q4314693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964146$22F5796A-7DD4-4044-B389-6249572AB51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964146$6A9CF972-0B6A-4C3F-89B0-001B4EE7CA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d28b2baea18e6ece5760cb80ce35ea8d92024","datavalue":{"value":{"entity-type":"item","numeric-id":5672886,"id":"Q5672886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964146$DB10D718-5EB1-4233-934D-CCF12766AE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8873a5b1a50afe14f8bea6132f10dee810201084","datavalue":{"value":{"entity-type":"item","numeric-id":4315890,"id":"Q4315890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964146$66AB559C-ED65-4762-80FA-1378F81AE0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f55333bc31a49bd999856db7ce681bd44da7180","datavalue":{"value":{"entity-type":"item","numeric-id":4291791,"id":"Q4291791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964146$FA5012BC-E0E1-4C9D-B970-9C244FEA6004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cba8a8919b1f1b4c4e1fea2717501e322b031d42","datavalue":{"value":{"entity-type":"item","numeric-id":1896486,"id":"Q1896486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964146$98007D26-17F7-441D-AD94-C2C62C4F4374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98afd6baf98617288cc833ddad3113331a723c0","datavalue":{"value":{"entity-type":"item","numeric-id":4934030,"id":"Q4934030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964146$648D1B19-FA60-40E2-9CA5-81DADA9F98D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8e53ea1668879c0be4a2b7a0dd1ce9d4de67ae","datavalue":{"value":{"entity-type":"item","numeric-id":1042444,"id":"Q1042444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b069ec91b92cee8257dea72c7cc27318c3eac7","datavalue":{"value":{"amount":"+0.702018678188324","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":"Q1964146$31D8A35E-4744-448C-86AC-C5214B0FD4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e76d0ce5483deae430c680e3bcfa64bc875863","datavalue":{"value":{"entity-type":"item","numeric-id":3724320,"id":"Q3724320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54163bf68f095e566b419cdb00a23359c87ef0f5","datavalue":{"value":{"amount":"+0.697018563747406","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":"Q1964146$435E86A9-0C49-437F-A1B9-C0E96DD3DC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc929c83c1e0a39b817a797af81ce55be2d8ad43","datavalue":{"value":{"entity-type":"item","numeric-id":2878780,"id":"Q2878780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aeb82a2041dab136a25260e5f333becdfcd6845","datavalue":{"value":{"amount":"+0.6898457407951355","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":"Q1964146$6C121FFB-038F-4077-B5D4-12DF69A43606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6cf8f46fb5f668584989085951c4a65ba449b38","datavalue":{"value":{"entity-type":"item","numeric-id":5692257,"id":"Q5692257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7087cbdcf77be4c4a5974ecdd12d081873456920","datavalue":{"value":{"amount":"+0.6819369792938232","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":"Q1964146$3CCBC221-1CF3-4B06-9BFD-DBD01CBECF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ab3b2c29b3399f853db5aed16db5901369995c","datavalue":{"value":{"entity-type":"item","numeric-id":636337,"id":"Q636337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"872de629eba039689ffa03d08ee6b904afd1f985","datavalue":{"value":{"amount":"+0.6743451952934265","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":"Q1964146$52FAC40E-5D33-45BE-8EFD-827C91BAA768","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Smooth categories and global \\(\\square\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Smooth_categories_and_global_%5C(%5Csquare%5C)"}}}}}