{"entities":{"Q5959193":{"pageid":8135995,"ns":120,"title":"Item:Q5959193","lastrevid":25485217,"modified":"2024-03-04T22:49:21Z","type":"item","id":"Q5959193","labels":{"en":{"language":"en","value":"Reuniting the antipodes---constructive and nonstandard views of the continuum. Symposium proceedings, San Servolo, Venice, Italy, May 16--22, 1999"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1722885"}},"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":"Q5959193$B09C3E22-A5AF-4E46-A515-26C11E862AA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"280e536368801e2d57131594f62b4aabc5df68d3","datavalue":{"value":{"text":"Reuniting the antipodes---constructive and nonstandard views of the continuum. Symposium proceedings, San Servolo, Venice, Italy, May 16--22, 1999","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5959193$11C043BE-B09B-40B8-9A97-F098567CDA34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94dbe58d1d0030d249e6db9ae324d53aaf90a1be","datavalue":{"value":"0982.00037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959193$2A01122E-2DFD-4A9B-9376-59D095916C3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a1cc4e398eb5d81a21b68eacc416647ae411adda","datavalue":{"value":{"entity-type":"item","numeric-id":163447,"id":"Q163447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959193$B0A97A40-F67A-4D25-A2F6-CB257B8AC676","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ace5781d14ecf75d42ee9c3dff2c13074619ad7f","datavalue":{"value":{"time":"+2002-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5959193$D4DB9051-62AF-4D77-9C90-77EDC34ECC9C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c87dc410c51094fb70f4d4805c88a335ac4ff107","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Albeverio, Sergio; Wu, Jiang-Lun}, Nonstandard construction of stable type Euclidean random field measures, 1-18 [Zbl 1009.28012]  \\textit{Bell, John L.}, The continuum in smooth infinitesimal analysis, 19-24 [Zbl 1017.03040]  \\textit{Bridges, Douglas; Ishihara, Hajime}, Constructive unbounded operators., 25-37 [Zbl 1076.47511]  \\textit{Curi, Giovanni}, The points of (locally) compact regular formal topologies, 39-54 [Zbl 1011.54001]  \\textit{V\u00ee\u0163\u0103, Lumini\u0163a}, Embedding a linear subset of \\({\\mathcal B}(H)\\) in the dual of its predual., 55-61 [Zbl 1076.47512]  \\textit{Di Nasso, Mauro}, Nonstandard analysis by means of ideal values of sequences, 63-73 [Zbl 1010.03057]  \\textit{Giordano, Paolo}, Nilpotent infinitesimals and synthetic differential geometry in classical logic, 75-92 [Zbl 1022.03052]  \\textit{Gordon, Evgenii I.; Rezvova, Olga A.}, On hyperfinite approximations of the field \\(R\\), 93-102 [Zbl 1018.22003]  \\textit{Ishihara, Hajime; Mines, Ray}, Various continuity properties in constructive analysis., 103-110 [Zbl 1036.03049]  \\textit{Keisler, H. Jerome; Sun, Yeneng}, Loeb measures and Borel algebras, 111-117 [Zbl 1011.28011]  \\textit{Kushner, Boris A.}, On Brouwerian bar induction, 119-126 [Zbl 1019.03042]  \\textit{Laugwitz, Detlef}, Curt Schmieden's approach to infinitesimals. An eye-opener to the historiography of analysis, 127-142 [Zbl 1017.26022]  \\textit{Negri, Sara}, A sequent calculus for constructive ordered fields, 143-155 [Zbl 1010.03050]  \\textit{Ng, Siu-Ah; Render, Hermann}, The Puritz order and its relationship to the Rudin-Keisler order, 157-166 [Zbl 1014.03060]  \\textit{Palmgren, Erik}, Unifying constructive and nonstandard analysis, 167-183 [Zbl 1010.03058]  \\textit{von Plato, Jan}, Positive lattices., 185-197 [Zbl 1041.03051]  \\textit{Richman, Fred}, Constructive mathematics without choice., 199-205 [Zbl 1036.03052]  \\textit{Richman, Fred}, Pointwise differentiability, 207-210 [Zbl 1027.26027]  \\textit{Rosemeier, Frank}, On Conway numbers and generalized real numbers. Conway's theory of games and numbers constructively reconstructed, 211-227 [Zbl 1010.03051]  \\textit{Ross, David A.}, The constructive content of nonstandard measure existence proofs -- is there any?, 229-239 [Zbl 1012.28016]  \\textit{Seisenberger, Monika}, Kruskal's tree theorem in a constructive theory of inductive definitions, 241-255 [Zbl 1032.03053]  \\textit{Taschner, Rudolf}, Real numbers and functions exhibited in dialogues, 257-269 [Zbl 1019.03044]  \\textit{Terwijn, Sebastiaan A.}, On the quantitative structure of \\(\\Delta_2^0\\), 271-283 [Zbl 1010.03028]  \\textit{Veldman, Wim}, Understanding and using Brouwer's continuity principle, 285-302 [Zbl 1019.03043]  \\textit{Zink, Julia}, Peirce and the continuum from a philosophical point of view., 303-316 [Zbl 1036.00005]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959193$62721418-8FC0-427A-ACDC-B7827E22219C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959193$124D5238-ADA0-426C-B2DC-DCA5B2D4A970","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e4c49f147f1b3a69a57205a18d5ac681f4e6f97","datavalue":{"value":"1722885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959193$1A5E0D55-BD3B-4607-B590-CD617BE6BB39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959193$2CF5836F-1340-4155-BF7C-7FC486C73AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959193$3C8DFF34-DBE5-4D41-BD8A-C16A497BE1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2193d67492763a7042221fd30ff1828880b1c9ee","datavalue":{"value":"Antipodes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959193$073E3CF9-1930-4CE1-8D7A-485A173C14DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4094092e8efe3119e196bca72c1f112202cd5d82","datavalue":{"value":"Continuum","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959193$01384353-C77B-4D73-8A82-55F721A0FF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7ff15db1cd0b942e1980d788e048362212b758","datavalue":{"value":"Venice (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959193$4E25AB53-711F-45E0-9453-9F3B6BD39B23","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":"Q5959193$2F9043A3-7FDF-40AC-89B7-BE413BB3874E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5959193","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5959193"}}}}}