{"entities":{"Q1283128":{"pageid":1293878,"ns":120,"title":"Item:Q1283128","lastrevid":67221519,"modified":"2026-04-12T16:09:52Z","type":"item","id":"Q1283128","labels":{"en":{"language":"en","value":"A topological completeness theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1275033"}},"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":"Q1283128$CB234A0E-AAD5-417A-9A12-806848723982","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a9ada3f4c55fed6eea2b8abadf8c3a6daf51597","datavalue":{"value":{"text":"A topological completeness theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1283128$2DBC2681-DF5A-4340-8EDD-093FCCC8773F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91244fd998fb08816180fcc5429ed0a0c6694905","datavalue":{"value":"0924.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283128$7C63190E-E011-43C1-B26F-DE2777463132","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c649f5f7648e8dbc6d4f8b5caa18d974a50063e3","datavalue":{"value":{"entity-type":"item","numeric-id":386621,"id":"Q386621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283128$532C989D-A089-4859-8CFA-1FD2BAA50B20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283128$24B7419A-AE7B-4605-95B6-F36F7900C8DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8b9eaa2bb0e97d3cd2a2822e2e24e095566e76f","datavalue":{"value":{"time":"+1999-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1283128$820372CA-C52C-4B4E-88B7-AA3C0F47EDFC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"de5e2a88895effad25491e4cc3b9b77e9c4f33d4","datavalue":{"value":"By definition, a geometric theory \\(T\\) is a theory such that all its axioms are equivalent to formulas of the form \\(\\forall \\overline{y} (\\psi_1(\\overline{y})\\to \\psi_2(\\overline{y}))\\) for geometric formulas \\(\\psi_1\\) and \\(\\psi_2\\), where a geometric formula is built up by atomic formulas, finite conjunction, arbitrary disjunction, the truth values true and false, and existence quantification. A geometric theory \\(T\\) satisfies by definition the completeness theorem, if a given geometric sequent holds in all models of \\(T\\) in all Grothendieck toposes. A geometric morphism \\(\\varphi : \\text{Sh}({\\mathcal D}, J)\\to \\text{Sh}({\\mathcal C},K)\\) between Grothendieck toposes is a pair of functors  \\[ \\varphi_*:\\text{Sh}({\\mathcal D},K)\\to \\text{Sh}({\\mathcal C},K),\\quad \\text{Sh}({\\mathcal D},J)\\leftarrow \\text{Sh}({\\mathcal C},J) :\\varphi^* \\]  such that \\(\\varphi^*\\) is left adjoint to \\(\\varphi_*\\) and \\(\\varphi^*\\) is left exact. \\(\\varphi^*\\) is called the inverse image and \\(\\varphi_*\\) the direct image.   The aim of the paper is to prove a topological completeness theorem as follows: There exist a topological space \\(X\\) and an \\({\\mathcal O}X\\)-valued model \\(\\Phi\\) of any geometric theory \\(T\\) satisfying the completeness theorem in \\(\\text{Sh}(X)\\) corresponding to a geometric morphism \\(\\varphi:\\text{Sh}(X)\\to {\\mathcal B}(T)\\) such that the following statements are true:   (i) The geometric morphism \\(\\varphi\\) is an open surjection.   (ii) Every map in \\(\\text{Sh}(X)\\) between first-order definable sheaves is geometrically definable (functional completeness).   (iii) The inverse image \\(\\varphi^*\\) preserves function types of first order definable types.   \\({\\mathcal B}(T)\\) denotes in this connection the Grothendieck topos determined by \\(T\\) in a certain manner.   Moreover, the inverse image \\(\\varphi^*\\) preserves the interpretation of first-order formulas.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283128$B2ECAADC-9149-46E1-BF1A-F88122127B8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283128$A7CD098D-9D2D-4A6E-9B42-2CE08A5C668A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283128$4CAE557A-69AD-4679-BFE6-A764FF3DC346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283128$4399ED16-0E69-421E-BE73-E77B2DE48463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283128$0DF76A22-6B2E-4678-9DC9-6329BC1328BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283128$D36969C8-8520-4B85-B14D-FF29327252B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c01e7e02b13171cfcddbb8cff93198cb56a99580","datavalue":{"value":"1275033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283128$38C6DBF1-79F3-482E-A43B-85081F393FAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"452933146dd77cb67f9b343dd48957455772357e","datavalue":{"value":"site","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283128$9EE5FE79-1CDE-4847-857F-A2DA675860FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"569904ad4d5ca54a35437909bc93f975536e906b","datavalue":{"value":"conservative model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283128$5EE9089A-BB32-4946-A825-6C3263AD5F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59cfbad9ef2230ff793b13cf6193708dee51e191","datavalue":{"value":"space of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283128$B1FE3001-5AE4-4320-983A-88EA452EE194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"064857ceb6df72b354a9b57ef948d7a94dd23627","datavalue":{"value":"definable open set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283128$45ACBD6C-B2E3-4064-B8CC-BD32C460F9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89edfd146a03ea854dd03d95bdc4404c88778bc6","datavalue":{"value":"geometric theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283128$DAE2DF59-46AE-417A-AB28-588E9E1FA187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283128$19FDC2C7-DF92-429E-AA26-4FE12369E206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd142dbc3133eeea627130126c05cb0e2d86484","datavalue":{"value":"geometric morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283128$5DE13056-E5CE-42B4-8571-68A129877F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee054c8c42d187b49f517e71febcbe6c612fa4d","datavalue":{"value":"sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283128$1261E39B-CB36-4C90-9CFB-172FA8321401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e250e0bd1561eb8b7696c9e15cbde7831c28b50b","datavalue":{"value":"inverse image","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283128$E1C2920A-FD27-4CDD-A3BE-EB5CD669BE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125b37015f2b508fd5055b7e63ab819371ab92c0","datavalue":{"value":"Grothendieck topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283128$E0C542C1-2F21-4FEA-9947-149E1A6B374D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6537e4dbc27d6024722d6db5255b901cc30f77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1177860,"id":"Q1177860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283128$534E7C32-F5F3-436B-A914-98BBC670BCD2","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":"Q1283128$B541520E-E8F8-4247-97AC-91A4B5D0C6FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be49bbd920bb13b5300d6b05747da064f3391efd","datavalue":{"value":"https://doi.org/10.1007/s001530050116","type":"string"},"datatype":"url"},"type":"statement","id":"Q1283128$02BA3EC8-8B8C-44A1-BED4-E5E8EBB47740","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0514e1c0115605ab75f8e199e2cdbf671a34114b","datavalue":{"value":"W2070533360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283128$F5B18CDA-F703-443D-8DE6-B2C20ACA7E35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8791b8d6d00c5362e7a94605013c3cac355fdd32","datavalue":{"value":"10.1007/S001530050116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283128$26D4F71A-9D5D-4909-BC52-6ABDAD024AEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2615d28fe6ac414a94711fcffe21ac421e92c16","datavalue":{"value":{"entity-type":"item","numeric-id":638496,"id":"Q638496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce9d91b0f5a98f7b5db5a9b19423b042beca2b9b","datavalue":{"value":{"amount":"+0.795815110206604","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":"Q1283128$3B7F9E78-6798-4320-BB6D-8B3ADD1421DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"444921ea6b74825e1fe248518401685d68990c5b","datavalue":{"value":{"entity-type":"item","numeric-id":1338199,"id":"Q1338199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab7110ccb106baae4d3f112e76624a8cb462f68f","datavalue":{"value":{"amount":"+0.7838125228881836","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":"Q1283128$A9801CD0-BD16-4E84-86E5-EDA5D0726D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"509fdf23192c2c995bcbd62790a2a3ecdadc1e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3356497,"id":"Q3356497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"026c2b03e740d8bfce72fc863e8fa8f2a48cc167","datavalue":{"value":{"amount":"+0.753707230091095","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":"Q1283128$DFE1D794-7633-4E41-8496-F517DF1843AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f0237435072059edecd41d481df8d8a4c52103","datavalue":{"value":{"entity-type":"item","numeric-id":2825457,"id":"Q2825457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26304c521e4d8345c6bc93b8c18366fdd527a349","datavalue":{"value":{"amount":"+0.7494732141494751","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":"Q1283128$2D8E80F1-7DB9-4623-A874-7DB78620B1A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A topological completeness theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_topological_completeness_theorem"}}}}}