{"entities":{"Q1607303":{"pageid":1618043,"ns":120,"title":"Item:Q1607303","lastrevid":74205444,"modified":"2026-04-14T18:57:15Z","type":"item","id":"Q1607303","labels":{"en":{"language":"en","value":"Extended admissibility."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1774176"}},"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":"Q1607303$9D8DAFA2-FC11-42A3-8F0E-7E10693C469D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c8f476904861af8e4d51bea2e08daf2e5dc43d2","datavalue":{"value":{"text":"Extended admissibility.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1607303$0C5CFF86-B83D-44A3-8240-06935E58CDCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95eb3d4d9ecf7ce24f38113c16cfd33fcf97c79a","datavalue":{"value":"1042.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607303$768F77C3-1AB4-409F-9C55-85081C32BD7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d1f7df528732d0094903def8b0d4f4ab75a50a9","datavalue":{"value":"10.1016/S0304-3975(01)00109-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607303$1FFB3098-C59C-42B8-90B9-60123C66BB68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c3dc4c3c4e128ce360d27194396ae1a2a899087","datavalue":{"value":{"entity-type":"item","numeric-id":864425,"id":"Q864425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607303$BD6363EC-E8F2-4B4B-8C97-A31E850C3395","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607303$29ACD2CC-6D1F-4392-B5A9-FDF47B6C8288","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38f00cb3fa95ac38bd620d58528eb98b3b3d8394","datavalue":{"value":{"time":"+2002-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1607303$AA518F4B-0211-4E16-AADD-E7FFE6E519C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"84e2e552fc548468085f3ebfdffa48d480cb9860","datavalue":{"value":"We give a new definition of admissible representations which allows to handle also non countably-based topological spaces in the framework of Type-2 Theory of Effectivity. We prove that admissible representations \\(\\delta_{X},\\delta_{Y}\\) of topological spaces \\(X,Y\\) have the desirable property that every partial function \\(f\\subseteq X\\rightarrow Y\\) is continuously realizable with respect to \\(\\delta_{X},\\delta_{Y}\\) if and only if \\(f\\) is sequentially continuous. Furthermore, we characterize the class of the spaces having an admissible representation. Many interesting operators creating new topological spaces from old ones are shown to preserve the property of having an admissible representation. In particular, the class of sequential spaces with admissible representations turns out to be cartesian-closed. Thus, a reasonable computability theory is possible on important non countably based spaces.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607303$33D5CCF2-E766-473D-8C5E-5D8A6825CFAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607303$671A5612-1648-4A52-8887-EEEA7B8EF34B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f37f21ffe55efccfaff8afc1e2c58c7427f43d1c","datavalue":{"value":"1774176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607303$AE66EAA7-D09B-4B5B-8E2A-4198E43BA670","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c79351c6b95b73baf30ea8966bef51ebf1ce52f","datavalue":{"value":"Computable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607303$C5ADB134-7C40-42EF-BA4D-64D05B122F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148d04ef9f659d1dfd4addcac590d87bb28d16ee","datavalue":{"value":"TTE","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607303$3985C67B-C9DA-40A9-B16B-8AED093DA5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"493f034f2f9756ea7a7c8cca6c1f4560a4b965c7","datavalue":{"value":"Topological spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607303$B4251BA9-D415-4E84-9ADE-0D00246F2B1F","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":"Q1607303$670392A3-117E-4FF0-B9D1-11DC567D6A2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607303$21B258EE-DEF4-41EA-BA96-DE21BED303C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be3d8fb3ea0608a30440ec139e9f2dbb425b2918","datavalue":{"value":{"entity-type":"item","numeric-id":3244109,"id":"Q3244109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607303$FF8B9D87-CDA4-420C-B6DB-4B3D6EAA694E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860531763d18ed387e21c0f98b8b16b88ef9aadd","datavalue":{"value":{"entity-type":"item","numeric-id":4002474,"id":"Q4002474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607303$00433413-44E6-4B3B-8A2B-5B538DF7F5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14dd23e439d8a5676d55733e6e6fc2f64720ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1073022,"id":"Q1073022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607303$FDDEE2E5-205E-408E-93F9-C055D2F56582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def2c931176027a2e91972d8f217f89dea0b484e","datavalue":{"value":{"entity-type":"item","numeric-id":3994907,"id":"Q3994907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607303$2DBF7AF0-AB48-4AA7-BB76-1F5C10CC30D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2bea380f1c6c45124f0b115d5128648446a1d8","datavalue":{"value":{"entity-type":"item","numeric-id":1292413,"id":"Q1292413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607303$07E43F6D-2426-41E9-AC1D-25D705E3EBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523fc8a4382670dbaf95ddd08cf6de19314c7ce6","datavalue":{"value":{"entity-type":"item","numeric-id":3751553,"id":"Q3751553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607303$5A4D0963-C847-44E3-BEDF-8C344668AD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"091a454c0b2e7d4421847dcdb13ef725d1d887dc","datavalue":{"value":{"entity-type":"item","numeric-id":4436366,"id":"Q4436366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607303$2B472EE0-844C-4A01-BECF-7C5A4DEBC4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41dd6dc130a4f462362dcd083c9ceba10064d3fb","datavalue":{"value":{"entity-type":"item","numeric-id":4217582,"id":"Q4217582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607303$A95425D6-9356-4E41-82E3-139794AD25F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607303$167ECC40-8CA4-4EA4-8D39-06D36B8FEA99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"069d078d4810f37d7ade677b7904baad73119ffb","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00109-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1607303$CE16AB9F-06FF-4FCB-B911-7F5A67518E27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"071a367ec642b6c2591cf46a8230101624f78861","datavalue":{"value":"W2911572548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607303$9EB03870-A58B-47B2-95EE-441B31104451","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3b6d6bbdbfbb7de4931558814cce5fe32a8e88a","datavalue":{"value":{"entity-type":"item","numeric-id":4531993,"id":"Q4531993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5ce5ee028f1406719508e4ccc0b9367777353b8","datavalue":{"value":{"amount":"+0.9173663258552552","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":"Q1607303$D0680887-745B-4A35-A16B-A22B61ECC2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbf2d724cca0d07d33b3a6b47b270b7efc5c901","datavalue":{"value":{"entity-type":"item","numeric-id":1802069,"id":"Q1802069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe39a2fa4a8c3720e2d124a11d44eb03d6617c2","datavalue":{"value":{"amount":"+0.9173661470413208","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":"Q1607303$05365D1A-DA55-416A-A5E3-BDAADBE03FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"212d21e4ad514c7274b13100ac6baff7d7c8ca4f","datavalue":{"value":{"entity-type":"item","numeric-id":4422786,"id":"Q4422786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"929c2529cd818a61bb21f8750914d0f1bab52039","datavalue":{"value":{"amount":"+0.872600793838501","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":"Q1607303$DAD4F8D8-BB8D-480F-ACC3-D37F89E034B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f43efa71e23359b92c91e46681a13187e9460fb","datavalue":{"value":{"entity-type":"item","numeric-id":4787859,"id":"Q4787859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"929c2529cd818a61bb21f8750914d0f1bab52039","datavalue":{"value":{"amount":"+0.872600793838501","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":"Q1607303$46613DE9-11BF-4EFC-9791-CF97DFB94D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d8a83be6c9bd183ca5f492b96fd1d6e66e8d58","datavalue":{"value":{"entity-type":"item","numeric-id":5898844,"id":"Q5898844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e131fb1f676ab9150d0fb7afbc08ff0353814c","datavalue":{"value":{"amount":"+0.8689212203025818","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":"Q1607303$8857F1CC-AE6D-4993-A6EC-36D1DE6FC904","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extended admissibility.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extended_admissibility."}}}}}