scientific article; zbMATH DE number 3750921

zbMATH Open0478.03011MaRDI QIDQ3934367FDOQ3934367

Authors: Patrick Cégielski 

Publication date: 1981

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

zbMATH Keywords

Peano arithmeticaxiomatisationRamsey quantifiersfirst order theory of multiplication of the natural numbers

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10)

Cited In (4)

• Axiomatic (and non-axiomatic) mathematics
• Foundations and Philosophy of Mathematics in Warsaw, the School of Andrzej Mostowski and Philosophy
• Recursive models and the divisibility poset
• A list of arithmetical structures complete with respect to the first-order definability

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