{"entities":{"Q450944":{"pageid":452711,"ns":120,"title":"Item:Q450944","lastrevid":61928280,"modified":"2026-04-11T02:36:29Z","type":"item","id":"Q450944","labels":{"en":{"language":"en","value":"Topological inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086891"}},"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":"Q450944$294E0F67-B674-40B4-90CD-E5073CA7F465","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3084984394976bef4bff8db7feef9dbc98e522ee","datavalue":{"value":{"text":"Topological inductive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q450944$67BEF1B9-CEBA-4953-83C7-A8E722CBBDB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea23e49d653beefcb6a63b6ea33c35e3e7a6524f","datavalue":{"value":"1270.03132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450944$6CE1FEF8-52EE-45D0-8D96-EFA68927E323","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2516b310da5467b1f5818426219aa71be63598ac","datavalue":{"value":{"entity-type":"item","numeric-id":450943,"id":"Q450943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$E40C912F-64E3-4BF0-9951-825237851CA8","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":"Q450944$77055618-154B-4A4A-8493-81F609CF7447","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ff14cc0faaae3f6137e4b5dbfd88aaa86e04aea","datavalue":{"value":{"time":"+2012-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q450944$62A711BD-508C-4F34-881B-B859AA8FEDBA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d70cf3bb8deac95780b40e015c668ee4c90151aa","datavalue":{"value":{"entity-type":"item","numeric-id":590180,"id":"Q590180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$3C9A4032-5C1E-469F-9305-E42357FE97EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450944$EFB64514-6F18-4D16-A409-D71F95B2E84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450944$A22D98F2-1042-43DE-A1D7-AFAF895007F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450944$73155695-494B-4054-ADA8-05D9A3E052F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f70b59279cc975ff13b3fcc96c409898d99acf5","datavalue":{"value":"54B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450944$D00D55C5-7506-4065-8255-35AB987D08E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ce54f7b8583eee0d77251ed95bbd5d60e17b228","datavalue":{"value":"6086891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450944$BEA81B8B-8D54-42F1-9644-25BE114D9A65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q450944$CA2F21E9-01F0-43A9-BB01-D6B980979EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f1b8f16cf8a1d15b48e65fd146fe74bc71a1466","datavalue":{"value":"point-free topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q450944$D3F296D6-0012-4595-ACA6-77DA36490D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q450944$075A1B27-8E72-4DDD-A08D-D0DABA47BE7F","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":"Q450944$CBB78FE3-C7D6-4A41-8EED-688C8FBBA71B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aed29e691dc97df50a8fa7d6e50b9855b2a46dc4","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.12.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q450944$1AF0C9C9-6F30-4AA6-B4EB-3D348F5161DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbc760a39d34934ad96d56a6cbb065578f5990ba","datavalue":{"value":"W1990132849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450944$F67AE25D-CFFF-4DB7-9E15-B57D06B72F13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9779d2f20504dba38f482f942c0abc04f8e04e14","datavalue":{"value":{"entity-type":"item","numeric-id":3310616,"id":"Q3310616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$21A1F560-0A35-490E-950F-69ED53AFD5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$E3B9A1BE-D601-4ED8-B6A5-28DBA79BB6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a723316080c5b24d1fee899b4f093691aa2d64","datavalue":{"value":{"entity-type":"item","numeric-id":2575763,"id":"Q2575763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$ACBAC012-9433-46F9-BBEE-E54D27F6C4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ee75c16e222e920a0c39e8ac0957eb542cb83f","datavalue":{"value":{"entity-type":"item","numeric-id":2909757,"id":"Q2909757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$3481457B-2E04-4107-9BF7-73155E36FBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7909582a8c882f6d5a23a634fbf95f6e7e66dc7","datavalue":{"value":{"entity-type":"item","numeric-id":636295,"id":"Q636295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$C4F99F1E-92CE-413B-A94A-524727D8AF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344479c6fdfabaca14baa31cdbd035d071175c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4039735,"id":"Q4039735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$85EFF06C-E4A9-4E68-A50C-519813778FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fab54ce533a7fe1777979d044cff7e3258f78b0","datavalue":{"value":{"entity-type":"item","numeric-id":1408349,"id":"Q1408349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$E74DD1AC-18A5-4538-BCA2-8191CAA937C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090eaf792f4154c8724d8ec52792b48cab975d7f","datavalue":{"value":{"entity-type":"item","numeric-id":1412832,"id":"Q1412832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$F68CF30B-6855-4A50-A13F-FF26F561EE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb3c2589f450c2f99daef0b8b549bbf8f986df7","datavalue":{"value":{"entity-type":"item","numeric-id":2575767,"id":"Q2575767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$A3A5D1F1-F949-408D-B6AD-0DDBA2D98831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba134110f7cb094c0bd3c34606afbb137b9344f","datavalue":{"value":{"entity-type":"item","numeric-id":882119,"id":"Q882119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$130D98C6-B9E7-4EDA-B2ED-AC8A32CFF3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e3d70349d9a8586fb1aed0acdd17eed8931db2f","datavalue":{"value":{"entity-type":"item","numeric-id":3583800,"id":"Q3583800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$8D44B321-5566-4429-9A04-4C6EDC8794FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6e7d1fcb04b509e6a3a43d85c3b64206209dcb","datavalue":{"value":{"entity-type":"item","numeric-id":3066786,"id":"Q3066786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$855D1F65-FAE8-424E-B3AE-A95805B80BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de26bb8ee6b7909c4d8fc4004fd737791e1c9a4e","datavalue":{"value":{"entity-type":"item","numeric-id":3322099,"id":"Q3322099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$D7B20AF8-ECF8-4A2B-9EBD-D50AC74038D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1829d57a79fdec03bcb9e543ae58b9bda3fa26be","datavalue":{"value":{"entity-type":"item","numeric-id":3050433,"id":"Q3050433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$06DC7B71-7CD7-4BED-86BC-6A236FCEF315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff45213e7705dbf9044ed2762732fabe6973416","datavalue":{"value":{"entity-type":"item","numeric-id":1236108,"id":"Q1236108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$8B475B2C-53CF-461F-98FE-E292EF757222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58bb968eee2def3bd19a576e8c6ba5dfffc39154","datavalue":{"value":{"entity-type":"item","numeric-id":2575769,"id":"Q2575769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$951D5D8E-ECD8-4569-BF72-4B6FE3A998CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$4CF217D5-7CE5-4741-A27A-3C22B5CA2E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41bd2cc0badda1bd2b407ae76037505554d94b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4828514,"id":"Q4828514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$FE7CDF2A-6118-4A20-AE4C-C3559EC4DEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5991726cac52e4d83f50c4669884909acb3474da","datavalue":{"value":{"entity-type":"item","numeric-id":2498896,"id":"Q2498896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$73990558-3B59-453A-8824-74F7BEA1FA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ca1ad5a27fe456694a945a44b283c828f80e86","datavalue":{"value":{"entity-type":"item","numeric-id":1000868,"id":"Q1000868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$C8517E20-0576-4BFA-91F5-A5392933929F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$78781B13-BC7A-456E-872B-90504045B3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332be868d69b31635db1868d02fcf91ed87afeeb","datavalue":{"value":{"entity-type":"item","numeric-id":5718572,"id":"Q5718572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$72B9A509-4C67-4321-B16C-9B39EB1E4003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eccdbf19e8e31fc04563170b9054dc6f2f242db1","datavalue":{"value":{"entity-type":"item","numeric-id":5310884,"id":"Q5310884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$DCEB288B-EEBD-4D71-A99B-1D364E2D9065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2ce0a72c60de5a50f93ec02d3b2383218edce52","datavalue":{"value":{"entity-type":"item","numeric-id":2575773,"id":"Q2575773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$C7697BDF-41CD-4700-9A67-355B6C9647FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc90f13fc23271cd27a185c3ccd0505cf97e68f5","datavalue":{"value":{"entity-type":"item","numeric-id":5477360,"id":"Q5477360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$B2F8904F-DFAD-4D43-956A-3E0E18F8ECD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96018a99b8366943bf6654b4677e7e411906125d","datavalue":{"value":{"entity-type":"item","numeric-id":3481701,"id":"Q3481701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$B47BA895-F4C0-4630-AF5C-744411AE8727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a9ab3e424dc1140f0bff3f8859f77b1c4b111e0","datavalue":{"value":{"entity-type":"item","numeric-id":3978991,"id":"Q3978991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$6F3CADAA-073E-41F3-8324-6E4F7F8C104E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b918a3517bbf8faabd9a74865f06355cf98ac212","datavalue":{"value":{"entity-type":"item","numeric-id":1318788,"id":"Q1318788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$42F3B145-1762-44E8-977D-C9E1DBA8EE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b090351ac010146ef07e025a56eed8a6ac51c485","datavalue":{"value":{"entity-type":"item","numeric-id":5718573,"id":"Q5718573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450944$FD47DD4A-DC6F-4A66-8517-CF851015CA0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"136c7f7893cb226f0de305b44a98084863a27e1a","datavalue":{"value":"10.1016/J.APAL.2011.12.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450944$4831E318-5B01-460F-A27A-483EE945E121","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ed4fa6e754af1f2e867fb97c0781bac69f6769","datavalue":{"value":{"entity-type":"item","numeric-id":3606445,"id":"Q3606445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0165fb25056308d31bc1aa78a5f427ba131877de","datavalue":{"value":{"amount":"+0.87575436","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":"Q450944$3C6FE57C-29E9-42E9-9BF8-E3CBB7D0F2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dc9d5054965a071c824b9b3da5a371575f243af","datavalue":{"value":{"entity-type":"item","numeric-id":4218444,"id":"Q4218444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b98205ddd29499976f7c5fc286acfc969fd942","datavalue":{"value":{"amount":"+0.86938137","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":"Q450944$95BB751A-DB1E-41C7-A3D0-1B6E7E2E3ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c095e0f765214cca2e81ab32ae2708f1e79c0ec5","datavalue":{"value":{"entity-type":"item","numeric-id":4029763,"id":"Q4029763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2954ececeba7cd1462a673873c674bf41d0fb3a","datavalue":{"value":{"amount":"+0.86605334","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":"Q450944$0A6D74CE-6965-4B17-80A1-7ED1A48FD725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3215fe03bbbe1dd5869b642b7fd55784f25a50a6","datavalue":{"value":{"entity-type":"item","numeric-id":4373730,"id":"Q4373730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53de4fb646bb71867a9b5fa4173a4c12cbdf666","datavalue":{"value":{"amount":"+0.8660404","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":"Q450944$035C6DA9-5AED-47AD-AEAD-AAE9E60570CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"554bdee2b8acdaf4e30c37fee734981d170f9b34","datavalue":{"value":{"entity-type":"item","numeric-id":3475372,"id":"Q3475372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6966b6d8307eb679fc0462f2e9bf23338a2720aa","datavalue":{"value":{"amount":"+0.8659049","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":"Q450944$161975C4-0620-4694-9D90-B078A00F3287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa55b7c057b27491e5d4757f5cadafa142d9755a","datavalue":{"value":{"entity-type":"item","numeric-id":4241826,"id":"Q4241826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddaa32a1222b13af11a67fdfe75b017182879591","datavalue":{"value":{"amount":"+0.8630765","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":"Q450944$99BE6435-186E-4809-BD5A-29FA3319D63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba1019021694b7e3af71c15667e2d4fdd6eae39","datavalue":{"value":{"entity-type":"item","numeric-id":3796210,"id":"Q3796210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fac5de0891c8ada3c14e8949bc87f475f8c75a9","datavalue":{"value":{"amount":"+0.8620856","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":"Q450944$6815F134-E02E-4D3D-AE73-BBFF4F8E25CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ad578875b8f05fb5029ac59d2672a74bd9439f","datavalue":{"value":{"entity-type":"item","numeric-id":3470630,"id":"Q3470630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26bbf1af122a524a52f41bb8e524f09a05532187","datavalue":{"value":{"amount":"+0.8597536","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":"Q450944$7C63AFAE-D49B-4ED1-84EB-C1EAE888976B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b4926a78464db121365cb99bec85089f1582e4","datavalue":{"value":{"entity-type":"item","numeric-id":5875904,"id":"Q5875904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"943ab87e28d1cd6bcb66f571d0ded7e432cd88e1","datavalue":{"value":{"amount":"+0.85725665","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":"Q450944$F26E048F-9D9D-49EC-8729-679DFBB9C573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5218ea84eabe5c2eaf3ed16f4d4b930576a7f07","datavalue":{"value":{"entity-type":"item","numeric-id":3141992,"id":"Q3141992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"963e1912baddc1f1edd9e0ba06b773ede10ae306","datavalue":{"value":{"amount":"+0.8571688","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":"Q450944$B46ABBED-B092-48D1-B74D-C59BD8581C72","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af03343da6a364ee51cfa223d153049e9aaddac3","datavalue":{"value":"The concept of locale is a satisfactory substitute for the notion of topological space in an intuitionistic framework. However, the notion of locale is unsatisfactory in the framework of predicative mathematics. For this reason, the categories \\textbf{FSP} of formal spaces and \\textbf{FSP}\\(_i\\) of inductively generated formal spaces have been introduced and studied. These categories are equivalent to the category of locales in an impredicative setting, but both are incomplete in some sense.NEWLINENEWLINEThe article aims at proposing another category, \\textbf{ImLoc}, the category of \\textit{imaginary} locales to circumvent the problems of \\textbf{FSP} and \\textbf{FSP}\\(_i\\) in the predicative setting. It turns out that \\textbf{ImLoc} contains both \\textbf{FSP} and \\textbf{FSP}\\(_i\\) as subcategories, and it is equivalent to the categories of locales in the intuitionistic impredicative framework, thus meeting the initial objective.NEWLINENEWLINEIn simple terms, \\textbf{ImLoc} is the opposite of the category of frame presentations, which are structures given by a preordered set over the base of the intended space together with a generalised covering system. The result is that a frame presentation does not always allow to define a concrete frame meeting its structure, but it always allows to identify a structure of opens that may be realised by a concrete frame. For this reason, \\textbf{ImLoc} contains enough objects and continuous functions between them to be complete as a category, thus fixing the problem of \\textbf{FSP}, and to represent all the formal spaces of interest, overcoming the difficulties of \\textbf{FSP}\\(_i\\).NEWLINENEWLINEThe paper concludes presenting a few applications: a point-free version of the Tychonoff embedding theorem, and some set-representation theorems.NEWLINENEWLINEThis article is of prime interest for every mathematician interested in the categorical description of formal topology in constructive and predicative terms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q450944$BDA5E7C7-3129-415E-826F-2EC4BA7A8C3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Topological inductive definitions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Topological_inductive_definitions"}}}}}