scientific article
From MaRDI portal
Publication:3934367
zbMath0478.03011MaRDI QIDQ3934367
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Peano arithmeticaxiomatisationRamsey quantifiersfirst order theory of multiplication of the natural numbers
Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (4)
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 ⋮ Axiomatic (and non-axiomatic) mathematics
This page was built for publication:
