A Note on Higher Order and Variable Order Logic over Finite Models

Arthur Milchior

We show that descriptive complexity's result extends in High Order Logic to capture the expressivity of Turing Machine which have a finite number of alternation and whose time or s…