Henselianity in the language of rings

&
Annals of Pure and Applied Logic 169 (9):872-895 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2018.04.008

Links

PhilArchive



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

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

Henselianity and the Denef-Pas language.Yimu Yin - 2009 - Journal of Symbolic Logic 74 (2):655-664.
Model companion and model completion of theories of rings.Claude Sureson - 2009 - Archive for Mathematical Logic 48 (5):403-420.
Commutative rings whose ideals form an MV‐algebra.Lawrence P. Belluce & Antonio Di Nola - 2009 - Mathematical Logic Quarterly 55 (5):468-486.
A valuation ring analogue of von Neumann regularity.Claude Sureson - 2007 - Annals of Pure and Applied Logic 145 (2):204-222.
Commutative rings whose ideals form an MV-algebra.Lawrence Belluce & Antonio di Nola - 2009 - Mathematical Logic Quarterly 55 (5):468-486.
Diophantine equivalence and countable rings.Alexandra Shlapentokh - 1994 - Journal of Symbolic Logic 59 (3):1068-1095.
The ℵ1-categoricity of strictly upper triangular matrix rings over algebraically closed fields.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (2):250 - 259.
Boolean products of real closed valuation rings and fields.Jorge I. Guier - 2001 - Annals of Pure and Applied Logic 112 (2-3):119-150.
Lazy bases: a minimalist constructive theory of Noetherian rings.Hervé Perdry - 2008 - Mathematical Logic Quarterly 54 (1):70-82.
A generalization of von Neumann regularity.Claude Sureson - 2005 - Annals of Pure and Applied Logic 135 (1-3):210-242.
On Boolean algebras and integrally closed commutative regular rings.Misao Nagayama - 1992 - Journal of Symbolic Logic 57 (4):1305-1318.
Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields.Raf Cluckers, Jamshid Derakhshan, Eva Leenknegt & Angus Macintyre - 2013 - Annals of Pure and Applied Logic 164 (12):1236-1246.
First-order definitions of rational functions and S -integers over holomorphy rings of algebraic functions of characteristic 0.Alexandra Shlapentokh - 2005 - Annals of Pure and Applied Logic 136 (3):267-283.
Diophantine properties of finite commutative rings.Mihai Prunescu - 2003 - Archive for Mathematical Logic 42 (3):293-302.
Anaximander's Rings.István M. Bodnár - 1988 - Classical Quarterly 38 (01):49-.

Analytics

Added to PP
2018-06-06

Downloads
19 (#798,463)

6 months
6 (#518,648)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Finite Undecidability in Nip Fields.Brian Tyrrell - forthcoming - Journal of Symbolic Logic:1-24.

Add more citations

References found in this work

Uniformly defining p-henselian valuations.Franziska Jahnke & Jochen Koenigsmann - 2015 - Annals of Pure and Applied Logic 166 (7-8):741-754.
Superrosy fields and valuations.Krzysztof Krupiński - 2015 - Annals of Pure and Applied Logic 166 (3):342-357.
Definable Henselian valuation rings.Alexander Prestel - 2015 - Journal of Symbolic Logic 80 (4):1260-1267.

Add more references