Decidable classes of number‐theoretic sentences

DOI10.1002/MALQ.19690152602zbMath0199.30901OpenAlexW2093294574MaRDI QIDQ5597522

I. J. Heath

Publication date: 1969

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://figshare.com/articles/thesis/Decidable_classes_of_number_theoretic_sentences_/10187126

zbMATH Keywords

recursion theory, constructive mathematics

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (1)

Théorie du potentiel associée à certains systèmes différentiels

This page was built for publication: Decidable classes of number‐theoretic sentences