FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Bounded induction without parameters

Author: Emil Jeřábek

Paper Information

Title:Bounded induction without parameters
Authors:Emil Jeřábek
Proceedings:PC Abstracts
Editors: Jan Johannsen and Olaf Beyersdorff
Keywords:bounded arithmetic, parameter-free axioms, induction rules, witnessing theorems
Abstract:

ABSTRACT. (in pdf)

Pages:2
Paper: