Logical characterization of recognizable sets of polynomials over a finite field
type: Item
instance of: scholarly article
zbMATH Open document ID: 1252.03022
DOI: 10.1142/S0129054111008878
author: Laurent Waxweiler
author: Michel Rigo
published in: International Journal of Foundations of Computer Science
publication date: 2012-08-29T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 11T06
Mathematics Subject Classification ID: 11U05
zbMATH DE Number: 6073864
zbMATH Keywords: recognizable set
zbMATH Keywords: first-order logic
zbMATH Keywords: polynomial over a finite field
zbMATH Keywords: Cobham's theorem
zbMATH Keywords: decidability
zbMATH Keywords: first-order theory
MaRDI profile type: Publication
cites work: Automatic Sequences
cites work: Q4888749
cites work: Weak Second‐Order Arithmetic and Finite Automata
cites work: On the base-dependence of sets of numbers recognizable by finite automata
cites work: Q4052071
cites work: Independent numeration systems and syndeticity
cites work: Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems
cites work: Unrecognizable Sets of Numbers
cites work: Elimination theory for addition and the frobenius map in polynomial rings
cites work: Syntactical and automatic properties of sets of polynomials over finite fields
cites work: Decidability of Sub-theories of Polynomials over a Finite Field
cites work: On an exponential predicate in polynomials over finite fields
cites work: The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable
Recommended article: Syntactical and automatic properties of sets of polynomials over finite fields
Recommended article: Recursively enumerable sets of polynomials over a finite field
Recommended article: A theorem on sets of polynomials over a finite field
Recommended article: On value sets of polynomials over a finite field
Recommended article: Q4792294
Recommended article: Value Sets of Polynomials Over Finite Fields
Recommended article: Polynomial spaces over finite fields
Recommended article: Polynomials over finite fields with a given value set
Recommended article: Decidability of Sub-theories of Polynomials over a Finite Field
Recommended article: Polynomial multiplicities over finite fields and intersection sets
title: Logical characterization of recognizable sets of polynomials over a finite field
description: scientific article; zbMATH DE number 6073864