{"entities":{"Q2454639":{"pageid":2465382,"ns":120,"title":"Item:Q2454639","lastrevid":44111994,"modified":"2025-11-20T01:59:40Z","type":"item","id":"Q2454639","labels":{"en":{"language":"en","value":"An infinitary extension of Jankov's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5201186"}},"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":"Q2454639$74478D45-4D6A-48AF-AB3C-1200693A1BFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29de3e55a86eab24987a016709e891689ff06a99","datavalue":{"value":{"text":"An infinitary extension of Jankov's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2454639$1F67811E-47AD-4643-889D-8670A8B50742","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b99ebde8071f9eb594a6573d83b5e99f845300f9","datavalue":{"value":"1135.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454639$1C07FF99-9E6E-4F53-88BA-B7A362C4E6C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7abef8bc19a924a2adb86ab361a4464d7999c01","datavalue":{"value":{"entity-type":"item","numeric-id":195363,"id":"Q195363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454639$D7C63034-778A-4C5A-98FD-4E8219DB1DB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454639$10BBAA4D-5DA7-489E-8B1F-832ACD1A4F3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41faf85262d85541a3bc283a1258879c7bb1c098","datavalue":{"value":{"time":"+2007-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2454639$1ED53A1C-C1E4-4CC2-B32B-A0528AB95445","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9c600143863a228e26a94f306a11f39fa2eb3a77","datavalue":{"value":"\\textit{V. A. Jankov}'s [Izv. Akad. Nauk SSSR, Ser. Mat. 33, 18--38 (1969; Zbl 0181.00404)] celebrated result states that for every finite subdirectly irreducible Heyting algebra \\(A\\), there exists a formula \\(\\chi_A\\), called the Jankov formula of \\(A\\), such that a Heyting algebra \\(B\\) refutes \\(\\chi_A\\) iff \\(A\\) is embeddable into a quotient of \\(B\\). In this paper, the author presents an infinitary version of Jankov's theorem. A Heyting algebra homomorphism between two complete Heyting algebras is called continuous if it preserves all joins and meets. The author introduces a notion of \\(T\\)-regular complete Heyting algebras and pseudo-continuous homomorphisms between complete Heyting algebras and proves that for every subdirectly irreducible Heyting algebra \\(A\\), there exists a formula \\(\\chi_A\\) in the infinitary language such that a complete \\(T\\)-regular Heyting algebra \\(B\\) refutes \\(\\chi_A\\) iff there exists a complete Heyting algebra \\(D\\), a continuous embedding of \\(A\\) into \\(D\\) and a pseudo-continuous homomorphism from \\(B\\) onto \\(D\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454639$CA7322C2-BC2F-4A3D-B62D-C3019DF847A2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"92c4f981aadc914f96d132d85a17d7a2385b5878","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454639$343D4648-ACE8-4A4D-ACFB-5891A351FFFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454639$595AF934-EAE9-426D-98F8-6CEFE2D98490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454639$DBD557E3-7273-4608-9A62-00926C41EFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454639$6531A00B-A126-4403-B2E3-E01AA16FB5C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21d84928aaaa02158358f40526b91f4254a98553","datavalue":{"value":"5201186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454639$4B8D4C33-01F9-45E4-8CF0-71CE16A74947","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"090b7f7b0f765c356e3ab0569e858838ee992077","datavalue":{"value":"complete Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454639$E9371FAD-FDF0-4940-A800-943BD483D4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a918afae689617535801fd2f4a23b8567ac5acab","datavalue":{"value":"subdirectly irreducible algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454639$E2510477-9FA5-4695-B5B9-9BB0CE494C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454639$D762BF79-5D4C-4C80-9E19-4B01E907A79A","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":"Q2454639$F424A796-537D-4B21-98A7-B5548B65BA26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa3eba5e18bbf0ba362aa1f6bb0ec151a9593b66","datavalue":{"value":"https://doi.org/10.1007/s11225-007-9048-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2454639$8AAF36A8-5757-4A31-92E8-2F48D4327AA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c946c64f815c8c18c92a82e87e980747869f6827","datavalue":{"value":"W1982204420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454639$E602F9B8-7BD8-4D4E-97D5-6CF871E0BCA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454639$343436AD-0F87-45C0-83C5-131AC8A35DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba35c317457b7e6ce78d79a6e2bac095c8308d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4401418,"id":"Q4401418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454639$7E10616F-701B-4294-86F9-6D9A2C4B867A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6657fd6c71ba7f022fe682dabd085f8cf2b8e051","datavalue":{"value":{"entity-type":"item","numeric-id":5800356,"id":"Q5800356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454639$5B539BD7-5F23-4E8D-81A9-7B6952A0849C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3e71c633403913bc22e19f434fa22ad549f763","datavalue":{"value":{"entity-type":"item","numeric-id":701294,"id":"Q701294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454639$BE8B5B3D-7DA8-4071-98D6-654F8F7CD070","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2ea3ccc8a28a40b2347f3a488fc2ffb87d498e8","datavalue":{"value":"10.1007/S11225-007-9048-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454639$EC06C9E1-23A7-4624-8F22-1BDF2BEBF044","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29afdc220950fbbc6a04f27762f5684b8b6afacf","datavalue":{"value":{"entity-type":"item","numeric-id":1102022,"id":"Q1102022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2206db1306d1d27b31e34a2c9f813cf82a181bb","datavalue":{"value":{"amount":"+0.9135789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454639$CB82FCF6-A4E1-4A6B-A475-B813B627398C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5512db807474df55b922ed254bba2b0dfcc7b699","datavalue":{"value":{"entity-type":"item","numeric-id":1114690,"id":"Q1114690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b68cbccc4c3e89d7691223f4ca568a6713fd71a3","datavalue":{"value":{"amount":"+0.90555924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454639$B682F508-4A62-4282-A33A-9004BE204C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"275cda996c9c0bd90eccccf2086f50ab5ffd8b0a","datavalue":{"value":{"entity-type":"item","numeric-id":881086,"id":"Q881086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cc0b1a6f9d10e10ec729bb9481dbf404510d4e4","datavalue":{"value":{"amount":"+0.9015161","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454639$798EA4B4-826F-4E89-8A4E-8798C61F6D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5114a09ab41881dc70820a8eada173191a654d5a","datavalue":{"value":{"entity-type":"item","numeric-id":2486713,"id":"Q2486713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"115f34d3ae6129e1bda9726ec6ab8dacb12e9a43","datavalue":{"value":{"amount":"+0.89866096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454639$CEDD087F-CB99-4234-93C6-8906B57CB326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead29b634c2d987548e3335a1791dc9e7f34ba37","datavalue":{"value":{"entity-type":"item","numeric-id":3741890,"id":"Q3741890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e60fec7ead8c74fce1147e64224b21a9fecad4","datavalue":{"value":{"amount":"+0.8973123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454639$03B2ADD3-793B-48E5-A6A5-A67A3ED1C7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29000857a833fecd6feafcc65294d9e55a72bd5","datavalue":{"value":{"entity-type":"item","numeric-id":1004531,"id":"Q1004531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bf1b6ad52d78acf26c2aeb1394c326c8145ba2a","datavalue":{"value":{"amount":"+0.8965185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454639$71900C9A-95A2-45F5-AB73-FBD42753C3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63847d4086e9077dc8e63e9ffcfd362476e660d2","datavalue":{"value":{"entity-type":"item","numeric-id":3378472,"id":"Q3378472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4523dbb48713890e5879700b868810d5049bb205","datavalue":{"value":{"amount":"+0.89189386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454639$97FDC4CF-4603-4382-8B1F-E32B13C630A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6deba9568c8bf3a4296d960a3a25880a0bbf804d","datavalue":{"value":{"entity-type":"item","numeric-id":1196319,"id":"Q1196319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e884796d08cdd10bf5763ae76d3df70ff4be588a","datavalue":{"value":{"amount":"+0.88982034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454639$E1A25AA9-4CEA-4C91-BAF2-875E07D9489A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44ab38233b5d3c9b96754d4af3ba168e3d7a597","datavalue":{"value":{"entity-type":"item","numeric-id":1117548,"id":"Q1117548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2e51e40745e9e63cfa0ad33724716f8fd7a3dc","datavalue":{"value":{"amount":"+0.88927484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454639$5959BDDD-706A-40CC-8894-823526EE4DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3cfe9c8703353d185449259081ed5a725c1b9f1","datavalue":{"value":{"entity-type":"item","numeric-id":4657960,"id":"Q4657960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4444621df11c9a866c5b11c67367b7aa048f6b9","datavalue":{"value":{"amount":"+0.8891452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454639$5C628EBE-E5B0-4CD6-B051-49599DBA41B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2454639","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2454639"}}}}}