TRANSFORMABILITY OF THE FORMULAS OF THE LANGUAGES OF MARKOVLN,Lω INT FORMULAS OF THE LANGUAGE2

DOI10.1002/MALQ.19830290405zbMath0527.03038OpenAlexW2065692866MaRDI QIDQ3043143

A. H. Sahyoun, Ford Waghrees Gorgy

Publication date: 1983

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

Full work available at URL: https://doi.org/10.1002/malq.19830290405

zbMATH Keywords

constructive logicmutual transformability of Markov's hierarchies of languages

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

This page was built for publication: TRANSFORMABILITY OF THE FORMULAS OF THE LANGUAGES OF MARKOVLN,Lω INT FORMULAS OF THE LANGUAGE2