Arithmetical and Hyperarithmetical Worm Battles

DOI10.1093/logcom/exac067OpenAlexW4307642264WikidataQ120204357 ScholiaQ120204357MaRDI QIDQ5872868

David Fernández-Duque, Unnamed Author, Joost J. Joosten, Konstantinos Papafilippou, Fedor N. Pakhomov

Publication date: 4 January 2023

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2112.07473

zbMATH Keywords

ordinal analysisindependence resultsprovability logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: Arithmetical and Hyperarithmetical Worm Battles