On decidability of the theory with the transitive closure operator

DOI10.1134/S1995080215040186zbMath1348.03014OpenAlexW2301892716MaRDI QIDQ266242

A. S. Zolotov

Publication date: 13 April 2016

Published in: Lobachevskii Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s1995080215040186

zbMATH Keywords

transitive closuredecidability problem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Cites Work

• A note on the Entscheidungsproblem
• Extensions of some theorems of Gödel and Church

This page was built for publication: On decidability of the theory with the transitive closure operator