PA (aa)

DOI10.1305/NDJFL/1040136916zbMATH Open0848.03018OpenAlexW4252400002MaRDI QIDQ1913630FDOQ1913630

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)

Cites Work

• Generalized Quantifiers and Compact Logic
• Stationary logic of finitely determinate structures
• Set theory with a filter quantifier
• Stationary logic
• Models and types of Peano's arithmetic
• On the role of Ramsey quantifiers in first order arithmetic
• Peano Arithmetic and Hyper-Ramsey Logic
• Substructure lattices of models of arithmetic
• On generalized quantifiers in arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)