When is scalar multiplication decidable?

Annals of Pure and Applied Logic 170 (10):1162-1175 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2019.05.001

Links

PhilArchive



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

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

A multiplication operation for the hierarchy of norms.Alexander C. Block & Benedikt Löwe - 2018 - Annals of Pure and Applied Logic 169 (7):656-673.
Maslov's inverse method and decidable classes.N. K. Zamov - 1989 - Annals of Pure and Applied Logic 42 (2):165-194.
Quantifier elimination for modules with scalar variables.Lou van den Dries & Jan Holly - 1992 - Annals of Pure and Applied Logic 57 (2):161-179.
On modal logic of deductive closure.Pavel Naumov - 2006 - Annals of Pure and Applied Logic 141 (1):218-224.
Annals of pure and applied logic.Ja Makowsky - forthcoming - Annals of Pure and Applied Logic.
Decidable Kripke models of intuitionistic theories.Hajime Ishihara, Bakhadyr Khoussainov & Anil Nerode - 1998 - Annals of Pure and Applied Logic 93 (1-3):115-123.
Introducing article numbering to Annals of Pure and Applied Logic.Giovanni Raneri - 2019 - Annals of Pure and Applied Logic 170 (11):102728.
The structure of the models of decidable monadic theories of graphs.D. Seese - 1991 - Annals of Pure and Applied Logic 53 (2):169-195.
When P(λ) (vaguely) resembles κ.Pierre Matet - 2021 - Annals of Pure and Applied Logic 172 (2):102874.
Decidability of the theory of modules over commutative valuation domains.Gennadi Puninski, Vera Puninskaya & Carlo Toffalori - 2007 - Annals of Pure and Applied Logic 145 (3):258-275.

Analytics

Added to PP
2019-05-09

Downloads
12 (#1,115,280)

6 months
1 (#1,516,603)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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.

Add more references