scientific article; zbMATH DE number 3726320

zbMATH Open0464.03031MaRDI QIDQ3914967FDOQ3914967

Authors: Angus Macintyre 

Publication date: 1980

Title of this publication is not available (Why is that?)

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)