PA (aa)

DOI10.1305/NDJFL/1040136916MaRDI QIDQ1913630zbMATH OpenOpenAlexFDO

Authors James H. Schmerl

Publication date 27 October 1996

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1040136916

zbMATH Keywords

Peano arithmeticstationary logicfinitely determinate modelfull second-order arithmetic

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Models of arithmetic and set theory (03C62)

Recommendations

• scientific article; zbMATH DE number 3941517
• An Effective Conservation Result for Nonstandard Arithmetic
• Peano Arithmetic and Hyper-Ramsey Logic
• Model-theoretic properties characterizing Peano arithmetic
• scientific article; zbMATH DE number 4043829

Cites work

• scientific article; zbMATH DE number 4101175 (Why is no real title available?)
• scientific article; zbMATH DE number 3726320 (Why is no real title available?)
• scientific article; zbMATH DE number 3623503 (Why is no real title available?)
• Generalized Quantifiers and Compact Logic
• Models and types of Peano's arithmetic
• On generalized quantifiers in arithmetic
• On the role of Ramsey quantifiers in first order arithmetic
• Peano Arithmetic and Hyper-Ramsey Logic
• Set theory with a filter quantifier
• Stationary logic
• Stationary logic of finitely determinate structures
• Substructure lattices of models of arithmetic

Cited in

(1)

• Peano Arithmetic and Hyper-Ramsey Logic

This page was built for publication: \(\text{PA} (aa)\)

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