Pages that link to "Item:Q5520636"
From MaRDI portal
The following pages link to Decidability and undecidability of extensions of second (first) order theory of (generalized) successor (Q5520636):
Displayed 47 items.
- Undecidability of the first-order arithmetic \(A[P(x),2x,x+1]\) (Q599047) (← links)
- The Church problem for expansions of \((\mathbb{N},<)\) by unary predicates (Q690498) (← links)
- Logical aspects of Cayley-graphs: the group case (Q705541) (← links)
- Calvin C. Elgot (1922-1980) (Q788706) (← links)
- Learning via finitely many queries (Q812396) (← links)
- Nonmaximal decidable structures (Q843596) (← links)
- Computational complexity of logical theories of one successor and another unary function (Q868664) (← links)
- Inferring answers to queries (Q927868) (← links)
- Construction of decidable singular theories of two successor functions with an extra predicate (Q1079557) (← links)
- The theory of ends, pushdown automata, and second-order logic (Q1084096) (← links)
- In memoriam Calvin C. Elgot (Q1154455) (← links)
- Infinite trees and automaton-definable relations over \(\omega\)-words (Q1199531) (← links)
- The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable (Q1202930) (← links)
- Theory of \(\omega\)-languages. I: Characterizations of \(\omega\)-context- free languages (Q1240574) (← links)
- The theory of successor with an extra predicate (Q1243711) (← links)
- Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes (Q1249573) (← links)
- Systolic tree \(\omega\)-languages: The operational and the logical view (Q1575949) (← links)
- Monadic second-order logic on tree-like structures (Q1606130) (← links)
- Recognizable sets of power series over finite fields (Q1695187) (← links)
- Automata techniques for query inference machines (Q1849855) (← links)
- The monadic theory of morphic infinite words and generalizations (Q1854542) (← links)
- Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts (Q1989336) (← links)
- A tetrachotomy for expansions of the real ordered additive group (Q2037136) (← links)
- Shelah-Stupp's and Muchnik's iterations revisited (Q2117107) (← links)
- On Boolean closed full trios and rational Kripke frames (Q2363961) (← links)
- On decidability of monadic logic of order over the naturals extended by monadic predicates (Q2373700) (← links)
- Definability and decidability of binary predicates for time granularity (Q2495389) (← links)
- Iterated pushdown automata and sequences of rational numbers (Q2498918) (← links)
- Defining Multiplication in Some Additive Expansions of Polynomial Rings (Q2813650) (← links)
- Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus (Q2946334) (← links)
- Minimal undecidable identity problem for finite-automaton mappings (Q3315002) (← links)
- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall (Q3393383) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- Weakly maximal decidable structures (Q3514639) (← links)
- A Hierarchy of Automatic<i>ω</i>-Words having a Decidable MSO Theory (Q3526410) (← links)
- Model Transformations in Decidability Proofs for Monadic Theories (Q3540168) (← links)
- On Monadic Theories of Monadic Predicates (Q3586024) (← links)
- Decidable Extensions of Church’s Problem (Q3644764) (← links)
- CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN (Q3644806) (← links)
- A note on undecidable extensions of monadic second order successor arithmetic (Q4088806) (← links)
- (Q4585066) (← links)
- Lattice of definability (of reducts) for integers with successor (Q5033990) (← links)
- Joining k- and l-recognizable sets of natural numbers (Q5096772) (← links)
- Expansions of the <i>p</i>‐adic numbers that interpret the ring of integers (Q5112392) (← links)
- Decidable Expansions of Labelled Linear Orderings (Q5892516) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)
- The lattice of definability: origins, recent developments, and further directions (Q6132481) (← links)