scientific article; zbMATH DE number 1827828
zbMATH Open1013.03071MaRDI QIDQ4781602FDOQ4781602
Authors: Alexis Bès 
Publication date: 14 July 2003
Title of this publication is not available (Why is that?)
surveydecidabilityfinite automatadefinabilityPresburger arithmeticSkolem arithmeticnumeration systemsfirst-order fragments of arithmeticErdős-Woods conjectureFeferman-Vaught technique
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) Decidability (number-theoretic aspects) (11U05)
Cited In (21)
- Arithmetic definability by formulas with two quantifiers
- Semantics, specification logic, and Hoare logic of exact real computation
- Title not available (Why is that?)
- Interpreting arithmetic in the first-order theory of addition and coprimality of polynomial rings
- Weakly minimal groups with a new predicate
- A wild model of linear arithmetic and discretely ordered modules
- A Note on Definability and Approximations
- Cobham's theorem for substitutions
- On the complexity of decision using destinies in \(H\)-bounded structures
- Circuit satisfiability and constraint satisfaction around Skolem arithmetic
- Hierarchies of Subsystems of Weak Arithmetic
- Iterated pushdown automata and sequences of rational numbers
- Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022
- Decidability and classification of the theory of integers with primes
- Emptiness problems for integer circuits
- Emptiness problems for integer circuits
- Title not available (Why is that?)
- A note on definability in fragments of arithmetic with free unary predicates
- An Ehrenfeucht-Fraïssé game approach to collapse results in database theory
- A list of arithmetical structures complete with respect to the first-order definability
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4781602)
