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

DOI10.4288/JAFPOS1956.8.17MaRDI QIDQ3976993zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Ultrafilters in reverse mathematics
• A theorem on the existence of nonprincipal arithmetical ultrafilters on \(\omega\)
• An Effective Conservation Result for Nonstandard Arithmetic
• On the strength of nonstandard analysis
• Models of PA: Standard Systems without Minimal Ultrafilters

Cited in

(3)

• scientific article; zbMATH DE number 4101175 (Why is no real title available?)
• Ultrafilters in reverse mathematics
• A theorem on the existence of nonprincipal arithmetical ultrafilters on \(\omega\)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3976993)