Valuation theoretic content of the Marker-Steinhorn theorem

Journal of Symbolic Logic 69 (1):91-93 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1080938828

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

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

The Marker–Steinhorn Theorem via Definable Linear Orders.Erik Walsberg - 2019 - Notre Dame Journal of Formal Logic 60 (4):701-706.
Marcus Ruth Barcan. Strict implication, deducibility, and the deduction theorem. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):294-294.
A proof theoretic proof of Scott's general interpolation theorem.Henry Africk - 1972 - Journal of Symbolic Logic 37 (4):683-695.
On the set-theoretic strength of ellis’ theorem and the existence of free idempotent ultrafilters on ω.Eleftherios Tachtsis - 2018 - Journal of Symbolic Logic 83 (2):551-571.
Review: Charles Steinhorn, Borel Structures for First-Order and Extended Logics. [REVIEW]David Marker - 1990 - Journal of Symbolic Logic 55 (2):874-875.
Kaplansky's Problem on Valuation RingsA Transfer Theorem for Nonstandard UniserialsOn a Conjecture regarding Nonstandard Uniserial ModulesExplicitly Non-Standard Uniserial Modules.Birge Huisgen-Zimmermann, Laszlo Fuchs, Saharon Shelah, Paul C. Eklof, P. C. Eklof & S. Shelah - 2002 - Bulletin of Symbolic Logic 8 (3):441.
On non-compact p-adic definable groups.Will Johnson & Ningyuan Yao - 2022 - Journal of Symbolic Logic 87 (1):188-213.
A Valuation Theoretic Characterization of Recursively Saturated Real Closed Fields.Paola D’Aquino, Salma Kuhlmann & Karen Lange - 2015 - Journal of Symbolic Logic 80 (1):194-206.
On the proof theory of the intermediate logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.
Ontological Purity for Formal Proofs.Robin Martinot - 2024 - Review of Symbolic Logic 17 (2):395-434.

Analytics

Added to PP
2009-02-05

Downloads
20 (#181,865)

6 months
8 (#1,326,708)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The domination monoid in o-minimal theories.Rosario Mennuni - 2021 - Journal of Mathematical Logic 22 (1).
The Marker–Steinhorn Theorem via Definable Linear Orders.Erik Walsberg - 2019 - Notre Dame Journal of Formal Logic 60 (4):701-706.

Add more citations

References found in this work

No references found.

Add more references