A remark concerning decidability of complete theories

DOI10.2307/2268339zbMath0041.00402OpenAlexW2014273327MaRDI QIDQ5800816

Antoni Janiczak

Publication date: 1950

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268339

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items (2)

Kodifikation und Aussagenlogik ⋮ Core Gödel

Cites Work

• An Unsolvable Problem of Elementary Number Theory
• Recursively enumerable sets of positive integers and their decision problems

This page was built for publication: A remark concerning decidability of complete theories