Bounded Arithmetic in Free Logic

DOI10.2168/LMCS-8(3:7)2012zbMath1252.03137arXiv1201.3733MaRDI QIDQ2904624

Yoriyuki Yamagata

Publication date: 15 August 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

free logicbounded arithmeticfinitistic Gödel sentences

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

This page was built for publication: Bounded Arithmetic in Free Logic