The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic

zbMath0709.03046MaRDI QIDQ920987

N. A. Pankrat'ev

Publication date: 1989

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

Church's thesisprovability logicdisjunction propertyGrzegorczyk logicarithmetic GrzAexplicit definability property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication: The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic