From Ultrafilters on Words to the Expressive Power of a Fragment of Logic
From MaRDI portal
Publication:5496184
DOI10.1007/978-3-319-09704-6_13zbMath1332.68148OpenAlexW26770814MaRDI QIDQ5496184
Jean-Eric Pin, Mai Gehrke, Andreas Krebs
Publication date: 7 August 2014
Published in: Descriptional Complexity of Formal Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-09704-6_13
Algebraic theory of languages and automata (68Q70) Decidability of theories and sets of sentences (03B25) Stone spaces (Boolean spaces) and related structures (06E15) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (2)
Ultrafilters on words for a fragment of logic ⋮ A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS
This page was built for publication: From Ultrafilters on Words to the Expressive Power of a Fragment of Logic