scientific article
From MaRDI portal
Publication:3946159
zbMath0486.03027MaRDI QIDQ3946159
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
undecidabilityfirst-order theoryPeano arithmeticdefinabilitysuccessor functioncoprimeness predicateisomorphic reinterpretation propertyprimeness predicatetheory without identity
Related Items (1)
This page was built for publication: