Local consistency of arithmetic with an attainability predicate

zbMath0592.03047MaRDI QIDQ1075323

E. S. Bozhich

Publication date: 1985

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

zbMATH Keywords

feasibilityattainability predicateattainable number

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

This page was built for publication: Local consistency of arithmetic with an attainability predicate