Languages with Finite String of Quantifiers on Uncountable Structures

Boris A. Romov. Languages with Finite String of Quantifiers on Uncountable Structures. Multiple-Valued Logic and Soft Computing, 38(1-2):197-226, 2022. [doi]

Abstract

Abstract is missing.