Provable or not? The limit 0,639578175

DOI10.1515/DMVM-2015-0060zbMATH Open1327.03043OpenAlexW2366220197MaRDI QIDQ896641FDOQ896641

Andreas Weiermann, Dirk Huylebrouck

Publication date: 10 December 2015

Published in: Mitteilungen der Deutschen Mathematiker-Vereinigung (DMV) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/dmvm-2015-0060

Mathematics Subject Classification ID

Trees (05C05) Proof theory in general (including proof-theoretic semantics) (03F03) Asymptotic enumeration (05A16) First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)

This page was built for publication: Provable or not? The limit 0,639578175\(\ldots\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q896641)