Quantifier elimination for o-minimal structures expanded by a valuational cut

&
Annals of Pure and Applied Logic 174 (2):103206 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2022.103206

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

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

Consequences of neocompact quantifier elimination.Stefano Baratella & Siu-Ah Ng - 2003 - Mathematical Logic Quarterly 49 (2):150-162.
Non-effective Quantifier Elimination.Mihai Prunescu - 2001 - Mathematical Logic Quarterly 47 (4):557-562.
Quantifier elimination in valued Ore modules.Luc Bélair & Françoise Point - 2010 - Journal of Symbolic Logic 75 (3):1007-1034.
Quantifier elimination for the theory of algebraically closed valued fields with analytic structure.Yalin Firat Çelikler - 2007 - Mathematical Logic Quarterly 53 (3):237-246.
The Role of Quantifier Alternations in Cut Elimination.Philipp Gerhardy - 2005 - Notre Dame Journal of Formal Logic 46 (2):165-171.
Neocompact quantifier elimination in structures based on Banach spaces.Stefano Baratella & Siu-Ah Ng - 2001 - Annals of Pure and Applied Logic 111 (1-2):115-143.
T-Convexity and Tame Extensions.Dries Lou Van Den & H. Lewenberg Adam - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
Strong cell decomposition property in o-minimal traces.Somayyeh Tari - 2020 - Archive for Mathematical Logic 60 (1):135-144.
Quantifier Elimination for the Reals with a Predicate for the Powers of Two.Jeremy Avigad & Yimu Yin - unknown
A theory of pairs for non-valuational structures.Elitzur Bar-Yehuda, Assaf Hasson & Ya’Acov Peterzil - 2019 - Journal of Symbolic Logic 84 (2):664-683.
Hilbert spaces expanded with a unitary operator.Camilo Argoty & Alexander Berenstein - 2009 - Mathematical Logic Quarterly 55 (1):37-50.
Elimination of Imaginaries in Expansions of O-Minimal Structures by Generic Sets.Sergio Fratarcangeli - 2005 - Journal of Symbolic Logic 70 (4):1150 - 1160.
O-minimal residue fields of o-minimal fields.Jana Maříková - 2011 - Annals of Pure and Applied Logic 162 (6):457-464.
Quantifier elimination for neocompact sets.H. Jerome Keisler - 1998 - Journal of Symbolic Logic 63 (4):1442-1472.
Weakly o-minimal nonvaluational structures.Roman Wencel - 2008 - Annals of Pure and Applied Logic 154 (3):139-162.

Analytics

Added to PP
2022-10-14

Downloads
11 (#1,144,917)

6 months
3 (#984,719)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A geometric introduction to forking and thorn-forking.Hans Adler - 2009 - Journal of Mathematical Logic 9 (1):1-20.
T-Convexity and Tame Extensions.Dries Lou Van Den & H. Lewenberg Adam - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
Paires de structures o-minimales.Yerzhan Baisalov & Bruno Poizat - 1998 - Journal of Symbolic Logic 63 (2):570-578.
Definable types in o-minimal theories.David Marker & Charles I. Steinhorn - 1994 - Journal of Symbolic Logic 59 (1):185-198.
Definable Types in $mathscr{O}$-Minimal Theories.David Marker & Charles I. Steinhorn - 1994 - Journal of Symbolic Logic 59 (1):185-198.

View all 14 references / Add more references