Some Remarks about Normal Rings

&
In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 141-150 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1515/9781501502620-008

Links

PhilArchive



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

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

Elementary constructive theory of Henselian local rings.María E. Alonso, Henri Lombardi & Hervé Perdry - 2008 - Mathematical Logic Quarterly 54 (3):253-271.
Commutative rings whose ideals form an MV‐algebra.Lawrence P. Belluce & Antonio Di Nola - 2009 - Mathematical Logic Quarterly 55 (5):468-486.
A recursive nonstandard model of normal open induction.Alessandro Berarducci & Margarita Otero - 1996 - Journal of Symbolic Logic 61 (4):1228-1241.
Diophantine equivalence and countable rings.Alexandra Shlapentokh - 1994 - Journal of Symbolic Logic 59 (3):1068-1095.
Model companion and model completion of theories of rings.Claude Sureson - 2009 - Archive for Mathematical Logic 48 (5):403-420.
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.
Generic models of the theory of normal ${\bf Z}$-rings.Margarita Otero - 1992 - Notre Dame Journal of Formal Logic 33 (3):322-331.
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-.
Later Wittgenstein on Logical Rules.Tomas Cana - 2011 - Filozofia 66 (2):109-121.
Some Remarks on Normal Measures and Measurable Cardinals.Arthur W. Apter - 2001 - Mathematical Logic Quarterly 47 (1):35-44.
The joint embedding property in normal open induction.Margarita Otero - 1993 - Annals of Pure and Applied Logic 60 (3):275-290.
Towards the decidability of the theory of modules over finite commutative rings.Gena Puninski & Carlo Toffalori - 2009 - Annals of Pure and Applied Logic 159 (1-2):49-70.

Analytics

Added to PP
2016-07-30

Downloads
15 (#952,403)

6 months
4 (#798,550)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Henri Lombardi
Université de Franche-Comté
Thierry Coquand

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references