Nondecidable intermediate calculus

DOI10.1007/BF01669131zbMath0528.03028OpenAlexW2018445849MaRDI QIDQ786806

Sergey Popov

Publication date: 1982

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187160

zbMATH Keywords

nondecidable intermediate propositional calculirecursively nondecidable Post production systems

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Thue and Post systems, etc. (03D03) Intermediate logics (03B55)

Cites Work

• Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
• Unnamed Item
• Unnamed Item

This page was built for publication: Nondecidable intermediate calculus