{"entities":{"Q2487181":{"pageid":2497924,"ns":120,"title":"Item:Q2487181","lastrevid":74283831,"modified":"2026-04-14T19:20:29Z","type":"item","id":"Q2487181","labels":{"en":{"language":"en","value":"Mathematical logic: proof theory, type theory and constructive mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195696"}},"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":"Q2487181$02572B15-DF4A-4543-99F1-40DD79F7A4CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abe8b8c791eceff6866e264bf29e3a5bd82e7261","datavalue":{"value":{"text":"Mathematical logic: proof theory, type theory and constructive mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2487181$87D16D59-0380-4B68-B4D9-0933C7735ABC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fa237bd279c502ebe8c9b7ed950b01b01bf4884","datavalue":{"value":"1066.03501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487181$65E0B708-636F-49AA-AE32-9705BC02B1D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15c64bffdc1b5b810feb200eaac2c25336810a44","datavalue":{"value":"10.4171/OWR/2005/14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487181$DD6A6C0E-1ED7-4F36-8E48-B562BDD8724C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a9abe280024f1bf6d5dacc0d016ddbaccd65fb63","datavalue":{"value":{"entity-type":"item","numeric-id":269669,"id":"Q269669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487181$6FFF9A36-4796-464E-A624-C6365262DDDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddb11065d0a8b2eb0c9ba922644fcd7df350e36a","datavalue":{"value":{"time":"+2005-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2487181$8EDD84DD-E002-4312-94C0-CDD52DF041C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd2e55445d1d7224b39dacf72bfd44847437a886","datavalue":{"value":"http://www.ems-ph.org/journals/show_issue.php?issn=1660-8933&vol=2&iss=1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2487181$C38F903C-7E3B-4D60-8FDF-A1F0B1AD217D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"93a488ab34cdbc53e6db1f25124315bd593a6f28","datavalue":{"value":"Contributions:  -- Ulrich Kohlenbach, Proof mining: applications of proof theory to analysis p.783  -- Paulo Oliva, A parametrized functional interpretation p.785  -- Ulrich Berger, Strong normalization for applied lambda calculi p.785  -- Lev Beklemishev, On \\(\\Sigma_2\\)-theorems of fragments of PA p.785  -- Giovanni Sambin, Towards a minimalistic foundation of constructive mathematics p.786  -- Gilles Dowek, Cut elimination in set theory p.786  -- Klaus Aehlig (joint with Jolie G. de Miranda and C.-H. Luke Ong), Level-two recursion schemes and finite automata p.786  -- Stephen A. Cook, Making sense of bounded arithmetic: a complexity theorist's point of view p.787  -- Jan Kraj\u00ed\u010dek, Forcing with random variables p.788  -- Chris Pollett (joint with Norman Danner), Equivalents of the weak multifunction pigeonhole principle p.789  -- Peter Aczel, Topology in constructive set theory (background and motivations) p.790  -- Michael Rathjen, The disjunction property for CZF p.793  -- Thomas Streicher, Realizability models for CZF + \\(\\lnot\\)Pow p.793  -- Sara Negri, Cut elimination in provability logic p.793  -- Fernando Ferreira, Majorisability interpretations in finite-type arithmetic p.794  -- Laurentiu Leustean (joint with Ulrich Kohlenbach), Approximate fixed point property in product spaces p.795  -- Philipp Gerhardy, A case study in proof mining: an effective version of Kirk's fixed-point theorem for asymptotic contractions p.797  -- Thierry Coquand, Infinite objects in constructive mathematics: applications of proof theory to algebra p.797  -- Joan Rand Moschovakis, The effect of Markov's Principle on the intuitionistic continuum p.797  -- Peter Schuster (joint with Josef Berger), Classifying Dini's Theorem p.799  -- Gigori Mints (joint with Henry Towsner), An epsilon substitution method with finite sets p.801  -- Rosalie Iemhoff, Skolemization in intuitionistic logic p.801  -- Albert Visser, Categories of interpretation p.802  -- Isabel Oitavem, Implicit characterizations p.802  -- Arnold Beckmann, Bounded arithmetic, definable functions and dynamic ordinals p.803  -- Dirk Pattinson, Domain-theoretic construction of inverse functions p.804  -- Thomas Strahm, On the proof theory of type two functionals p.804  -- Tarmo Uustalu (joint with Thorsten Altenkirch, Venanzio Capretta), Partiality via coinductive types p.805  -- Ralph Matthes, Monadic stabilization for operationalized second-order classical logic with disjunction and permutative conversions p.805  -- Andreas Weiermann, Phase transitions in logic and Ramsey theory p.807  -- Anton Setzer, Towards a more algebraic treatment of ordinal notation systems p.808  -- Sergei Tupailo, Monotone inductive definitions and the consistency of New Foundations p.808.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487181$260FBA10-6137-404B-9E21-1A2E2E5F1F22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487181$656305C0-08DA-4E75-95A6-53E92C63EB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487181$BE9508F9-269E-449E-B91E-B6968A80B915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9273ee9d6a850a5b4a9f2fe224e0804dc9e99b1f","datavalue":{"value":"00B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487181$6860BF0B-254C-4E84-917E-00EC2D64BA50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f12e2a56853a8fbe172a40ca766e70a3de255e9","datavalue":{"value":"2195696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487181$A33602CB-5F14-426A-BCC4-5D2D986293AA","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":"Q2487181$E799C988-E81E-4E77-AC87-D590A6E5FFCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8a62384fb9f0ffaba969c47e16d81ffb2d0ecc1","datavalue":{"value":"W1965078359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487181$1C690961-B297-45D0-8595-751D57A47D53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2733a6c7c6c792618fb124c33ca894331447c5","datavalue":{"value":{"entity-type":"item","numeric-id":1047744,"id":"Q1047744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3a116542309e6a9f0bc7f8e2048d9e1527f72d","datavalue":{"value":{"amount":"+0.8167428374290466","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":"Q2487181$76784373-6096-4D7A-ACE0-C39876245146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54114c895b388ede930d5c3b6348cedfebf6f799","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa6c121ed872e3c075bb2ecf37e21cba599dcfd7","datavalue":{"value":{"amount":"+0.7892614006996155","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":"Q2487181$777B7854-7516-4BEC-9A36-D59B831AA276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0979c896cfb1612759a330c29034ac6c2a22c8","datavalue":{"value":{"entity-type":"item","numeric-id":3118894,"id":"Q3118894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72932850d8edfc3c0183282c564c166d681cc39b","datavalue":{"value":{"amount":"+0.788735032081604","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":"Q2487181$591C1727-6292-4CA0-AE17-642757A5226C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45d31d7cf8beaf7238d82b9dd7f3f62e442f8aa","datavalue":{"value":{"entity-type":"item","numeric-id":2232317,"id":"Q2232317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"661efd34780c3faf16b547cc00e5ce70f223d1b2","datavalue":{"value":{"amount":"+0.774689793586731","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":"Q2487181$4F11B0C7-5271-4929-9E42-FC74855274EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e3d57445ac71dfe4d08202580f03728cd06977","datavalue":{"value":{"entity-type":"item","numeric-id":5717044,"id":"Q5717044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535839f271ee47a714f224200be318fbfd48d675","datavalue":{"value":{"amount":"+0.7592997550964355","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":"Q2487181$3B09DCBC-09DC-4815-BD21-AE3ABA6CB75A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical logic: proof theory, type theory and constructive mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_logic:_proof_theory,_type_theory_and_constructive_mathematics"}}}}}