{"entities":{"Q2888633":{"pageid":2899358,"ns":120,"title":"Item:Q2888633","lastrevid":83912111,"modified":"2026-05-07T13:43:07Z","type":"item","id":"Q2888633","labels":{"en":{"language":"en","value":"An approximate Herbrand's theorem and definable functions in metric structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040458"}},"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":"Q2888633$B74EFB7F-2C69-43EE-B4D5-0BA46E6BFFC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4aa462898a0671eb0f19e67e462190471f39ed70","datavalue":{"value":"1246.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888633$65A6FBF7-E52C-47EA-9077-48C3411A61A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15e66a1daa50c9d0cd6d768e1f85fecfbf74f4b4","datavalue":{"value":{"entity-type":"item","numeric-id":246268,"id":"Q246268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888633$F3F909F9-D3D0-4E83-80F9-B01F7115B33D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2888633$C41A9FB2-6053-4A31-B771-64FC94D0F546","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc6416ca41f231f20dfb0485057c38b57ac10509","datavalue":{"value":"https://arxiv.org/abs/1107.3783","type":"string"},"datatype":"url"},"type":"statement","id":"Q2888633$69E1F79B-0AF4-4D73-9C06-5B2B5996EDC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888633$8BE5210B-8F6E-4307-AB15-83C2CE435574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888633$073AC50D-9297-481E-8AF6-68E0403890B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"771baf6ca5f0255524a58945feed67ddbd0fc776","datavalue":{"value":"03C98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888633$0511D274-385D-4A13-8270-20F27598B610","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3981025a3ce783637841c7b93d9589371df2cdf4","datavalue":{"value":"6040458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888633$5D5943D9-EA4A-444D-9C19-BE96B8050FB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e35afb24aaae354b38e675b5c9e498530dbc66b1","datavalue":{"value":"definable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888633$5BA4C11E-21B8-43C4-89F9-8B7DF577C004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a2a96d016586cb198f7d32c0e864c0a301f3790","datavalue":{"value":"continuous logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888633$8008019E-3811-4AFB-A5C4-DC3BD478D028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888633$F23FEC81-DF08-4883-B37F-674AEF4C2038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7362be7da45606107241c507af50d712722be6f","datavalue":{"value":"Hilbert spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888633$D1AE807B-7BBC-47F4-9BDB-86C6119A31A8","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":"Q2888633$C1E9AE59-9BEF-4602-BA5E-B5C8AEFA22A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57a987c03716afc81365709ec541207e7f71cbb9","datavalue":{"value":"W2071884262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888633$C079A028-C273-4A20-B36D-1B1552E3BF8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1bf1d2c6e929661d07223f589abea3eacaa783b","datavalue":{"value":{"entity-type":"item","numeric-id":3621280,"id":"Q3621280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888633$4D0B1DDE-CC75-4221-B752-15D6B0653127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa6e9a24d6991b5ba4f59ea8f2bef8a12b0c291c","datavalue":{"value":{"entity-type":"item","numeric-id":877262,"id":"Q877262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888633$4CB5AA36-1586-4664-8BEA-2C4855D4C655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888633$40F67A65-62A3-4D72-9ED5-827EC1DD800B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f700a9e504034833a18674481ba1d6faa33ce2a","datavalue":{"value":{"entity-type":"item","numeric-id":435239,"id":"Q435239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888633$9CB9A8B6-E0B9-440A-8B76-5CC3E2A14C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6ae6ef3a6de19712bdec5c507eac2cd377761c1","datavalue":{"value":{"entity-type":"item","numeric-id":358931,"id":"Q358931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888633$20A8ED82-E015-4D91-8B07-3F0F382A1BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888633$DC1E8BD1-C8C5-40DD-8561-47235A98318E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22680b00afe42489064979aae0a95fe30de0fd01","datavalue":{"value":{"entity-type":"item","numeric-id":4819747,"id":"Q4819747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888633$EE7AE964-ACF7-43E8-B0B9-931669D79B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6412a5f04ae9e455f6eda0b90eb0f772255628a","datavalue":{"value":{"entity-type":"item","numeric-id":3777997,"id":"Q3777997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888633$91865DB8-F88E-4C8B-B849-1D79D6B9DA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b72f4e47d232e9aecc95bae21596f25a3489aa9","datavalue":{"value":{"entity-type":"item","numeric-id":3486554,"id":"Q3486554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888633$55E76D82-3BA4-4627-A02F-D4FAD3093C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b28bc26c3102ee65913ef1b596e4af0ea3c79b6","datavalue":{"value":{"entity-type":"item","numeric-id":3819049,"id":"Q3819049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888633$E4FEE102-988B-46C9-B581-8E5474B4BAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8185eca188dc0510335a7141f2c8a6536de87150","datavalue":{"value":{"entity-type":"item","numeric-id":935262,"id":"Q935262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888633$FE55101C-2F08-4D27-B7ED-D6B7678CA0DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2d438273bf3ef374227760cbb6422e0e2276e1a","datavalue":{"value":"10.1002/MALQ.201110061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888633$026368CE-A2F2-427E-8789-89DAF64D6A77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef1be617b2804d73c0285e688d71be72c89409c5","datavalue":{"value":{"text":"An approximate Herbrand's theorem and definable functions in metric structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888633$C2D9F348-E52B-4579-A776-00D74068FFF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888633$77B3ADBA-C5A6-4B90-B4DC-83783EF4DBD5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b7b4efcfd9c83be3ffae160fc93f19c8382f3d59","datavalue":{"value":"One famous form of Herbrand's theorem in first-order logic states that if \\(T\\) is a universal theory admitting quantifier elimination then for each formula \\(\\phi(\\bar x,\\bar y)\\) there are tuples of terms \\({\\bar t}_1({\\bar x}),\\ldots, {\\bar t}_k({\\bar x})\\) such that NEWLINE\\[NEWLINET\\vDash\\phi(\\bar x)\\rightarrow\\bigvee_{i=1}^k\\phi(\\bar x,\\bar t_i(\\bar x)).NEWLINE\\]NEWLINE This theorem can be used to describe definable maps in certain theories and has applications in motivic measures. The author states some appropriate preservation theorems in continuous logic and use them to prove an approximate variant of Herbrand's theorem. He then applies it to describe definable functions in theories of Hilbert spaces and certain extensions. In particular, it is proved that in the theory of Hilbert spaces (or rather their unit balls) definable functions are piecewise approximated by affine maps \\(\\lambda x+v\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888633$80CFC154-0217-4877-8E15-4BE0F7A3E9E9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"13b451a44422adf3b6285340c23361bf4b29a4c1","datavalue":{"value":{"entity-type":"item","numeric-id":481877,"id":"Q481877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888633$BF19B0A8-140E-4939-973A-03BC99FB1382","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90645fd7e1129104add4198635399aec5c39556c","datavalue":{"value":{"entity-type":"item","numeric-id":435239,"id":"Q435239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da25403788499360cde245bf4c1b648d9044dd3d","datavalue":{"value":{"amount":"+0.8074031472206116","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":"Q2888633$F5163043-EB01-4186-AFAD-BB492067061F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ae1747b85e52c66fcf1e3eb59f0e854676ad8d","datavalue":{"value":{"entity-type":"item","numeric-id":358931,"id":"Q358931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cbfc139068a25b1519c4ea9c8f8768a301a23d1","datavalue":{"value":{"amount":"+0.7315821647644043","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":"Q2888633$FA568F3E-7F80-4BC4-8458-4DC49CED4F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96327a4d890ef29f8ec4bde35b2baab7b0328218","datavalue":{"value":{"entity-type":"item","numeric-id":3733772,"id":"Q3733772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b89014d5d840036e618d1f4b44e0b1dfb585cab","datavalue":{"value":{"amount":"+0.7184773683547974","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":"Q2888633$4CB2E5B3-945B-4231-B6CB-76BE7EE7D0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a014947dc3c8c4552560d689573f6e2dbee95a","datavalue":{"value":{"entity-type":"item","numeric-id":4358051,"id":"Q4358051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744e207124452de0ea030f866cb22b225d9b875f","datavalue":{"value":{"amount":"+0.7074061632156372","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":"Q2888633$A4E785EC-83C5-433D-B26E-000389BE73C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb77c33509eb13469d047cff62be4feedf5192b","datavalue":{"value":{"entity-type":"item","numeric-id":2641297,"id":"Q2641297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5922ed19456255d5ea07f3f6cc789ec62393471a","datavalue":{"value":{"amount":"+0.7056484818458557","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":"Q2888633$25EFEA4B-167D-4FE1-B9ED-9379786869AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An approximate Herbrand's theorem and definable functions in metric structures","badges":[]}}}}}