Minimal axiomatic frameworks for definable hyperreals with transfer

, , &
Journal of Symbolic Logic 83 (1):385-391 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2017.48

Links

PhilArchive



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

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

An Integer Construction of Infinitesimals: Toward a Theory of Eudoxus Hyperreals.Alexandre Borovik, Renling Jin & Mikhail G. Katz - 2012 - Notre Dame Journal of Formal Logic 53 (4):557-570.
A definable E 0 class containing no definable elements.Vladimir Kanovei & Vassily Lyubetsky - 2015 - Archive for Mathematical Logic 54 (5-6):711-723.
Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics.Vladimir Kanovei, Mikhail G. Katz & Thomas Mormann - 2013 - Foundations of Science 18 (2):259-296.
A remark on divisibility of definable groups.Mário J. Edmundo - 2005 - Mathematical Logic Quarterly 51 (6):639-641.
Definable homomorphisms of abelian groups in o-minimal structures.Ya'acov Peterzil & Sergei Starchenko - 1999 - Annals of Pure and Applied Logic 101 (1):1-27.
Topological properties of sets definable in weakly o-minimal structures.Roman Wencel - 2010 - Journal of Symbolic Logic 75 (3):841-867.
Invariance results for definable extensions of groups.Mário J. Edmundo, Gareth O. Jones & Nicholas J. Peatfield - 2011 - Archive for Mathematical Logic 50 (1-2):19-31.
The universal covering homomorphism in o‐minimal expansions of groups.Mário J. Edmundo & Pantelis E. Eleftheriou - 2007 - Mathematical Logic Quarterly 53 (6):571-582.
On the Euler characteristic of definable groups.Mário J. Edmundo - 2011 - Mathematical Logic Quarterly 57 (1):44-46.
Definable E 0 classes at arbitrary projective levels.Vladimir Kanovei & Vassily Lyubetsky - 2018 - Annals of Pure and Applied Logic 169 (9):851-871.
Definable group extensions in semi‐bounded o‐minimal structures.Mário J. Edmundo & Pantelis E. Eleftheriou - 2009 - Mathematical Logic Quarterly 55 (6):598-604.
Definable Open Sets As Finite Unions of Definable Open Cells.Simon Andrews - 2010 - Notre Dame Journal of Formal Logic 51 (2):247-251.
Locally definable homotopy.Elías Baro & Margarita Otero - 2010 - Annals of Pure and Applied Logic 161 (4):488-503.
Locally definable homotopy.Elías Baro & Marg\ Otero - 2010 - Annals of Pure and Applied Logic 161 (4):488-503.
Type-Definable and Invariant Groups in O-Minimal Structures.Jana Maříková - 2007 - Journal of Symbolic Logic 72 (1):67 - 80.

Analytics

Added to PP
2018-05-03

Downloads
31 (#513,686)

6 months
20 (#129,475)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.
Iterated perfect-set forcing.James E. Baumgartner & Richard Laver - 1979 - Annals of Mathematical Logic 17 (3):271-288.
A definable nonstandard enlargement.Frederik Herzberg - 2008 - Mathematical Logic Quarterly 54 (2):167-175.
The Axiom of Choice.Gershon Sageev - 1976 - Journal of Symbolic Logic 41 (4):784-785.

View all 8 references / Add more references