Ultrafilters on words for a fragment of logic
type: Item
instance of: scholarly article
title: Ultrafilters on words for a fragment of logic
zbMATH Open document ID: 1332.68149
author: Mai Gehrke
author: A. Krebs
author: Jean-Éric Pin
published in: Theoretical Computer Science
publication date: 2015-12-10T00:00:00Z
Mathematics Subject Classification ID: 68Q70
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 06E15
zbMATH DE Number: 6519455
zbMATH Keywords: ultrafilters
zbMATH Keywords: formal languages
zbMATH Keywords: profinite equations
zbMATH Keywords: regular languages
zbMATH Keywords: stone duality
MaRDI profile type: Publication
full work available at URL: j.tcs.2015.08.007
OpenAlex ID: W2151103848
cites work: Q4206797
cites work: Q4848740
cites work: Non-uniform automata over groups
cites work: Duality and Equational Theory of Regular Languages
cites work: A Topological Approach to Recognition
cites work: From Ultrafilters on Words to the Expressive Power of a Fragment of Logic
cites work: Extensional Uniformity for Boolean Circuits
cites work: Profinite Methods in Automata Theory
cites work: EQUATIONAL DESCRIPTIONS OF LANGUAGES
cites work: CONSTANT-DEPTH PERIODIC CIRCUITS
cites work: Q4302435
cites work: Q3044353
DOI: 10.1016/J.TCS.2015.08.007
Recommended article: From Ultrafilters on Words to the Expressive Power of a Fragment of Logic
Recommended article: Q4438115
Recommended article: Fragments of First-Order Logic over Infinite Words.
Recommended article: Fragments of first-order logic over infinite words
Recommended article: Lattices of Logical Fragments over Words
Recommended article: Q4364502
Recommended article: On ultrafilter logic and special functions
Recommended article: Q4489078
Recommended article: Q4438106
Recommended article: Some remarks on ultrafilter and normality logics
description: scientific article; zbMATH DE number 6519455