On the strength of PA with a non-principal ultrafilter quantifier

DOI10.4288/JAFPOS1956.8.17zbMath0745.03032OpenAlexW2087903911MaRDI QIDQ3976993

Tatsuya Shimura

Publication date: 25 June 1992

Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4288/jafpos1956.8.17

zbMATH Keywords

Peano arithmeticnon-principal ultrafilter quantifier

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Logic with extra quantifiers and operators (03C80)

This page was built for publication: On the strength of PA with a non-principal ultrafilter quantifier