The following pages link to Alexis Bès (Q782562):
Displayed 27 items.
- \(\langle\mathbb{R},+,<,1\rangle\) is decidable in \(\langle \mathbb{R},+,<,\mathbb{Z}\rangle\) (Q782563) (← links)
- (Q843594) (redirect page) (← links)
- Nonmaximal decidable structures (Q843596) (← links)
- Logic and rational languages of words indexed by linear orderings (Q987379) (← links)
- On Pascal triangles modulo a prime power (Q1377632) (← links)
- Decidability and definability results related to the elementary theory of ordinal multiplication (Q2773366) (← links)
- Expansions of MSO by cardinality relations (Q2871470) (← links)
- On countable chains having decidable monadic theory (Q2892678) (← links)
- Algebraic Characterization of FO for Scattered Linear Orderings (Q2915674) (← links)
- Logic and Rational Languages of Words Indexed by Linear Orderings (Q3503626) (← links)
- Weakly maximal decidable structures (Q3514639) (← links)
- An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet (Q3518274) (← links)
- (Q3842688) (← links)
- Undecidable extensions of Skolem arithmetic (Q4212909) (← links)
- Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem (Q4382476) (← links)
- (Q4717487) (← links)
- (Q4781602) (← links)
- An extension of the Cobham-Semënov Theorem (Q4953215) (← links)
- (Q5009704) (← links)
- Complexity and (Un)decidability of Fragments of 〈 ω ω λ ;× 〉 (Q5379888) (← links)
- Developments in Language Theory (Q5473668) (← links)
- A KLEENE THEOREM FOR LANGUAGES OF WORDS INDEXED BY LINEAR ORDERINGS (Q5483372) (← links)
- Decidability of Definability Issues in the Theory of Real Addition (Q5880942) (← links)
- Decidable Expansions of Labelled Linear Orderings (Q5892516) (← links)
- Decidability of the existential fragment of some infinitely generated trace monoids: an application to ordinals (Q6301317) (← links)
- Theories of real addition with and without a predicate for integers (Q6334561) (← links)
- Decidability of definability issues in the theory of real addition (Q6360417) (← links)