scientific article; zbMATH DE number 3726320

MaRDI QIDQ3914967zbMATH OpenFDO

Authors Angus Macintyre

Publication date 1980

zbMATH Keywords

Peano arithmeticgeneralized quantifiersRamsey's theorem

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35) Nonstandard models of arithmetic (03H15)

Cited in

(1)

• \(\text{PA} (aa)\)

This page was built for publication:

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