scientific article

From MaRDI portal

Revision as of 21:56, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3218118

Jump to:navigation, search

zbMath0555.03026MaRDI QIDQ3218118

Denis Richard

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

undecidability definability incompleteness saturation models of arithmetic natural order nonstandard models of Peano arithmetic order of divisibility

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items (5)

On arithmetical first-order theories allowing encoding and decoding of lists ⋮ A list of arithmetical structures complete with respect to the first-order definability ⋮ All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate ⋮ Definability, decidability, complexity ⋮ Investigation of binary spectra by explicit polynomial transformations of graphs

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3218118&oldid=16288696"