{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T05:20:48Z","timestamp":1775452848326,"version":"3.50.1"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2026,3]]},"DOI":"10.1007\/s00153-025-00992-3","type":"journal-article","created":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T07:23:23Z","timestamp":1763277803000},"page":"297-317","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Apartness and the elimination of strong forms of extensionality"],"prefix":"10.1007","volume":"65","author":[{"given":"Benno","family":"van den Berg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,11,16]]},"reference":[{"key":"992_CR1","doi-asserted-by":"publisher","unstructured":"van den Berg, B.: A note on equality in finite-type arithmetic. MLQ Math Log Q 63(3\u20134), 282\u2013288 (2017). https:\/\/doi.org\/10.1002\/malq.201600080","DOI":"10.1002\/malq.201600080"},{"key":"992_CR2","doi-asserted-by":"publisher","unstructured":"van den Berg, B., Passmann, R.: Converse extensionality and apartness. Log Methods Comput Sci 18(4) (2022). https:\/\/doi.org\/10.46298\/lmcs-18(4:13)2022,","DOI":"10.46298\/lmcs-18(4:13)2022"},{"key":"992_CR3","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/BF02025118","volume":"16","author":"J Diller","year":"1974","unstructured":"Diller, J., Nahm, W.: Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen. Arch Math Logik Grundlag 16, 49\u201366 (1974). https:\/\/doi.org\/10.1007\/BF02025118","journal-title":"Arch Math Logik Grundlag"},{"key":"992_CR4","unstructured":"Kohlenbach, U.: Applied proof theory: proof interpretations and their use in mathematics. Springer Monographs in Mathematics, Springer-Verlag, Berlin (2008)"},{"key":"992_CR5","doi-asserted-by":"crossref","unstructured":"Troelstra, A.S. (ed.): Metamathematical investigation of intuitionistic arithmetic and analysis. Lecture Notes in Mathematics, vol. 344. Springer-Verlag, Berlin-New York (1973)","DOI":"10.1007\/BFb0066739"},{"key":"992_CR6","doi-asserted-by":"crossref","unstructured":"Troelstra, A.S.: A note on non-extensional operations in connection with continuity and recursiveness. Indag Math 39(5):455\u2013462 (1977). Nederl. Akad. Wetensch. Proc. Ser. A 80","DOI":"10.1016\/1385-7258(77)90060-9"},{"key":"992_CR7","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in mathematics. Vol. I, Studies in Logic and the Foundations of Mathematics, vol 121. North-Holland Publishing Co., Amsterdam (1988a)"},{"key":"992_CR8","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in mathematics. Vol. II, Studies in Logic and the Foundations of Mathematics, vol 123. North-Holland Publishing Co., Amsterdam (1988b)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-00992-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-025-00992-3","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-00992-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T03:59:22Z","timestamp":1775447962000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-025-00992-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,16]]},"references-count":8,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2026,3]]}},"alternative-id":["992"],"URL":"https:\/\/doi.org\/10.1007\/s00153-025-00992-3","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,16]]},"assertion":[{"value":"19 November 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 November 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}