On generalized quantifiers in arithmetic

DOI10.2307/2273392zbMath0487.03019OpenAlexW2044107340MaRDI QIDQ3947649

Carl F. Morgenstern

Publication date: 1982

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273392

zbMATH Keywords

characteristic functions of well-founded treesGoedel numbers of general recursive functionsMagidor-Malitz axiomsSuslin quantifier

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Related Items (2)

\(\text{PA} (aa)\) ⋮ Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies

Cites Work

• Zur Theorie der konstruktiven Wohlordnungen
• Compact extensions of L(Q) (part 1a)
• Proof theory
• Unnamed Item

This page was built for publication: On generalized quantifiers in arithmetic