Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems (Q1919534): Difference between revisions

Latest revision as of 08:59, 13 November 2024

scientific article

Language	Label	Description	Also known as
English	Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems	scientific article

Statements

instance of

scholarly article

0 references

title

Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems (English)

0 references

0 references

0 references

Annals of Pure and Applied Logic

0 references

publication date

11 March 1997

0 references

zbMATH Keywords

Presburger arithmetic

0 references

Cobham's theorem

0 references

Semenov's theorem

0 references

definability

0 references

recognizability by automata

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/0168-0072(95)00022-4

0 references

cites work

Q3673137

0 references

Logic and \(p\)-recognizable sets of integers

0 references

Weak Second‐Order Arithmetic and Finite Automata

0 references

On the base-dependence of sets of numbers recognizable by finite automata

0 references

0 references

0 references

0 references

0 references

0 references

0 references

The definable criterion for definability in Presburger arithmetic and its applications.

0 references

Q4103466

0 references

Q3764203

0 references

Presburgerness of predicates regular in two number systems

0 references

ON CERTAIN EXTENSIONS OF THE ARITHMETIC OF ADDITION OF NATURAL NUMBERS

0 references

The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable

0 references

Joining k- and l-recognizable sets of natural numbers

0 references

Identifiers

zbMATH Open document ID

0857.03003

0 references

DOI

10.1016/0168-0072(95)00022-4

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

journals/apal/MichauxV96

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1919534

@@ Property / author @@
-Roger Villemaire
@@ Property / author: Roger Villemaire / rank @@
-Normal rank
@@ Property / author @@
+Roger Villemaire
@@ Property / author: Roger Villemaire / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56059272
@@ Property / Wikidata QID: Q56059272 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0168-0072(95)00022-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2092583023
@@ Property / OpenAlex ID: W2092583023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3673137
@@ Property / cites work: Q3673137 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and \(p\)-recognizable sets of integers
@@ Property / cites work: Logic and \(p\)-recognizable sets of integers / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+On the base-dependence of sets of numbers recognizable by finite automata
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5772619
@@ Property / cites work: Q5772619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3312199
@@ Property / cites work: Q3312199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722056
@@ Property / cites work: Q4722056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837737
@@ Property / cites work: Q3837737 / rank @@
+Normal rank
@@ Property / cites work @@
+The definable criterion for definability in Presburger arithmetic and its applications.
+Normal rank
@@ Property / cites work @@
+Q4103466
@@ Property / cites work: Q4103466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3764203
@@ Property / cites work: Q3764203 / rank @@
+Normal rank
@@ Property / cites work @@
+Presburgerness of predicates regular in two number systems
+Normal rank
@@ Property / cites work @@
+ON CERTAIN EXTENSIONS OF THE ARITHMETIC OF ADDITION OF NATURAL NUMBERS
+Normal rank
@@ Property / cites work @@
+The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable
+Normal rank
@@ Property / cites work @@
+Joining k- and l-recognizable sets of natural numbers
+Normal rank
@@ Property / DBLP publication ID @@
+journals/apal/MichauxV96
@@ Property / DBLP publication ID: journals/apal/MichauxV96 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1919534