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

DOI10.4288/JAFPOS1956.8.17zbMATH Open0745.03032OpenAlexW2087903911MaRDI QIDQ3976993FDOQ3976993

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

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

zbMATH Keywords

Peano arithmeticnon-principal ultrafilter quantifier

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• 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)