On Monadic Theories of Monadic Predicates
type: Item
instance of: scholarly article
title: On Monadic Theories of Monadic Predicates
zbMATH Open document ID: 1287.03029
DOI: 10.1007/978-3-642-15025-8_30
author: Wolfgang Thomas
published in: Fields of Logic and Computation
publication date: 2010-09-03T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03D05
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 5779226
zbMATH Keywords: monadic second-order logic
zbMATH Keywords: tree automata
zbMATH Keywords: decidable theories
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-642-15025-8 30
OpenAlex ID: W1510368107
cites work: The Monadic Theory of Tree-like Structures
cites work: Q5525343
cites work: Definability in the monadic second-order theory of successor
cites work: Decidability and undecidability of theories with a predicate for the primes
cites work: MSO on the Infinite Binary Tree: Choice and Order
cites work: Choice functions and well-orderings over the infinite binary tree
cites work: The monadic theory of morphic infinite words and generalizations
cites work: Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
cites work: Automata, logics, and infinite games. A guide to current research
cites work: Modest theory of short chains. I
cites work: Modest theory of short chains. II
cites work: Rabin's uniformization problem
cites work: Testing and generating infinite sequences by a finite automaton
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: Q5616162
cites work: Q5573961
cites work: Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
cites work: Q3346281
cites work: The monadic theory of order
cites work: The theory of successor with an extra predicate
cites work: On the bounded monadic theory of well-ordered structures
cites work: Q4449164
description: scientific article