Returning to semi-bounded sets

Journal of Symbolic Logic 74 (2):597-617 (2009)
  Copy   BIBTEX

Abstract

An o-minimal expansion of an ordered group is called semi-bounded if there is no definable bijection between a bounded and an unbounded interval in it (equivalently, it is an expansion of the group by bounded predicates and group automorphisms). It is shown that every such structure has an elementary extension

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1243948329

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Semi-Bounded Relations in Ordered Modules.Oleg Belegradek - 2004 - Journal of Symbolic Logic 69 (2):499 - 517.
Definability with a predicate for a semi-linear set.Michael Benedikt & H. Jerome Keisler - 2003 - Journal of Symbolic Logic 68 (1):319-351.
Weakly semirecursive sets.Carl G. Jockusch & James C. Owings - 1990 - Journal of Symbolic Logic 55 (2):637-644.
A maximal bounded forcing axiom.David Asperó - 2002 - Journal of Symbolic Logic 67 (1):130-142.
On interpretations of bounded arithmetic and bounded set theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
Topological elementary equivalence of closed semi-algebraic sets in the real plane.Bart Kuijpers, Jan Paredaens & Jan Van den Bussche - 2000 - Journal of Symbolic Logic 65 (4):1530-1555.
Semi-post algebras.Nguyen Cat Ho & Helena Rasiowa - 1987 - Studia Logica 46 (2):149 - 160.
Dominating and unbounded free sets.Slawomir Solecki & Otmar Spinas - 1999 - Journal of Symbolic Logic 64 (1):75-80.
On the structures inside truth-table degrees.Frank Stephan - 2001 - Journal of Symbolic Logic 66 (2):731-770.
Finite automata, real time processes and counting problems in bounded arithmetics.Mirosław Kutyłowski - 1988 - Journal of Symbolic Logic 53 (1):243-258.
Bounded epistemology.Robert C. Robinson - 2006 - Ssrn Elibrary.
Finite reverse mathematics.Harvey Friedman - manuscript
Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
Subalgebras and homomorphisms of semi-post algebras.Nguyen Cat Ho & Helena Rasiowa - 1987 - Studia Logica 46 (2):161 - 175.
A structure theorem for semibounded sets in the reals.Ya'acov Peterzil - 1992 - Journal of Symbolic Logic 57 (3):779-794.

Analytics

Added to PP
2010-09-12

Downloads
26 (#592,813)

6 months
2 (#1,263,261)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Coverings by open cells.Mário J. Edmundo, Pantelis E. Eleftheriou & Luca Prelli - 2014 - Archive for Mathematical Logic 53 (3-4):307-325.
Maximal compact subgroups in the o-minimal setting.Annalisa Conversano - 2013 - Journal of Mathematical Logic 13 (1):1350004.
Non-standard lattices and o-minimal groups.Pantelis E. Eleftheriou - 2013 - Bulletin of Symbolic Logic 19 (1):56-76.

View all 6 citations / Add more citations

References found in this work

Definably compact Abelian groups.Mário J. Edmundo & Margarita Otero - 2004 - Journal of Mathematical Logic 4 (02):163-180.
A structure theorem for semibounded sets in the reals.Ya'acov Peterzil - 1992 - Journal of Symbolic Logic 57 (3):779-794.
Structure theorems for o-minimal expansions of groups.Mario J. Edmundo - 2000 - Annals of Pure and Applied Logic 102 (1-2):159-181.

Add more references