Decidability questions for a ring of Laurent polynomials

Annals of Pure and Applied Logic 163 (5):615-619 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.06.015

Links

PhilArchive



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

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

Combinatorics with definable sets: Euler characteristics and grothendieck rings.Jan Krajíček & Thomas Scanlon - 2000 - Bulletin of Symbolic Logic 6 (3):311-330.
Quadratic Axioms.Harvey M. Friedman - unknown
A note on the number of zeros of polynomials and exponential polynomials.C. Smorynski - 1977 - Journal of Symbolic Logic 42 (1):99-106.
Decidability and generalized quantifiers.Andreas Baudisch (ed.) - 1980 - Berlin: Akademie Verlag.
Decidability of an Xstit Logic.Gillman Payette - 2014 - Studia Logica 102 (3):577-607.
The initial meadows.Inge Bethke & Piet Rodenburg - 2010 - Journal of Symbolic Logic 75 (3):888-895.
Questions of decidability and undecidability in number theory.B. Mazur - 1994 - Journal of Symbolic Logic 59 (2):353-371.
Vaught's conjecture for modules over a serial ring.Vera Puninskaya - 2000 - Journal of Symbolic Logic 65 (1):155-163.
The Bernays—Schönfinkel—Ramsey class for set theory: decidability.Alberto Policriti & Eugenio Omodeo - 2012 - Journal of Symbolic Logic 77 (3):896-918.
La mesure du bien. Que calcule le calcul moral de Hutcheson?Laurent Jaffro - 2013 - Philosophiques 40 (1):197.
Rings which admit elimination of quantifiers.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (1):92-112.
Equivalence elementaire et decidabilite pour Des structures du type groupe agissant sur un groupe abelien.Patrick Simonetta - 1998 - Journal of Symbolic Logic 63 (4):1255-1285.
Decidability, partial decidability and sharpness relation for l-subsets.Giangiacomo Gerla - 1987 - Studia Logica 46 (3):227-238.
Issues of decidability and tractability.Witold Marciszewski (ed.) - 2006 - Białystok: University of Białystok.

Analytics

Added to PP
2013-10-27

Downloads
9 (#1,254,017)

6 months
3 (#976,558)

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

Definability and decision problems in arithmetic.Julia Robinson - 1949 - Journal of Symbolic Logic 14 (2):98-114.
Extensions of Hilbert's tenth problem.Thanases Pheidas - 1994 - Journal of Symbolic Logic 59 (2):372-397.
Undecidable-Rings.Raphael M. Robinson - 1952 - Journal of Symbolic Logic 17 (4):268-269.

Add more references