No label defined (Q4585066)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 6932680

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 6932680

Statements

scholarly article

0 references

0 references

Anastasia Moskvina

0 references

0 references

publication date

6 September 2018

0 references

full work available at URL

https://arxiv.org/abs/1712.03759

0 references

MaRDI profile type

MaRDI publication profile

0 references

Weakly maximal decidable structures

0 references

Decidable Expansions of Labelled Linear Orderings

0 references

Weak Second‐Order Arithmetic and Finite Automata

0 references

0 references

Definability in the monadic second-order theory of successor

0 references

The monadic theory of morphic infinite words and generalizations

0 references

Decidability and undecidability of extensions of second (first) order theory of (generalized) successor

0 references

0 references

On decidability of monadic logic of order over the naturals extended by monadic predicates

0 references

Decidable Theories of the Ordering of Natural Numbers with Unary Predicates

0 references

LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS

0 references

0 references

The monadic theory of order

0 references

0 references

0 references

Identifiers

10.23638/LMCS-14(3:9)2018

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4585066

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4585066&oldid=36424586"