Switch to: Citations

Add references

You must login to add references.
  1. Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems.Christian Michaux & Roger Villemaire - 1996 - Annals of Pure and Applied Logic 77 (3):251-277.
    Let be the set of nonnegative integers. We show the two following facts about Presburger's arithmetic:1. 1. Let . If L is not definable in , + then there is an definable in , such that there is no bound on the distance between two consecutive elements of L′. and2. 2. is definable in , + if and only if every subset of which is definable in is definable in , +. These two Theorems are of independent interest but we (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (1 other version)Quasi-o-minimal structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.
    A structure (M, $ ,...) is called quasi-o-minimal if in any structure elementarily equivalent to it the definable subsets are exactly the Boolean combinations of 0-definable subsets and intervals. We give a series of natural examples of quasi-o-minimal structures which are not o-minimal; one of them is the ordered group of integers. We develop a technique to investigate quasi-o-minimality and use it to study quasi-o-minimal ordered groups (possibly with extra structure). Main results: any quasi-o-minimal ordered group is abelian; any quasi-o-minimal (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations