On generalized quantifiers in arithmetic

DOI10.2307/2273392MaRDI QIDQ3947649zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• Compact extensions of L(Q) (part 1a)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• Proof theory
• Zur Theorie der konstruktiven Wohlordnungen

Cited in

(2)

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

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

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