Previous |  Up |  Next


Title: Definability of arithmetical operations from binary quadratic forms (English)
Author: Korec, Ivan
Language: English
Journal: Acta Mathematica et Informatica Universitatis Ostraviensis
ISSN: 1211-4774
Volume: 6
Issue: 1
Year: 1998
Pages: 135-144
Category: math
MSC: 03B10
MSC: 03B25
MSC: 11C99
idZBL: Zbl 1024.03011
idMR: MR1822523
Date available: 2009-01-30T09:06:29Z
Last updated: 2013-10-22
Stable URL:
Reference: [Ce96] P. Cegielski: Definability, decidability and complexity.Annals of Mathematics on Artificial Intelligence 16 (1996), 311-341. MR 1389852, 10.1007/BF02127802
Reference: [Gr91] S. Grigorieff: Decidability et complexite des theories logiques.Logique et Informatique: Une Introduction (B. Courcelle - M. Nivat, eds.), I.N.R.I.A., Rocquancourt - France, 1991, pp. 7-97. MR 1146961
Reference: [Ko96] I. Korec: List of structures strongest with respect to the first order definability.Preprint 33/1996 of Math. Institute SAV Bratislava, 32pp, latest revision: November 1997, 34pp. MR 1475510
Reference: [Ko96a] I. Korec: Definability of addition from multiplication and neighborhood relation and some related results.Proceedings of the Conference on Analytic and Elementary Number Theory, Vienna, July 18-20, 1996 (W. G. Nowak and J. Schoissengeier, eds.), Universitat fur Bodenkultur and Universitat Wien, 1996, pp. 137-148, also Preprint 23/1996 of Math. Institute SAV Bratislava.
Reference: [Ko97] I. Korec: Arithmetical operations strongest with respect to the first order definability.Preprint 12/1997 of Math. Institute SAV Bratislava, 12pp.
Reference: [Ro49] J. Robinson: Definability and decision problems in arithmetic.Journal of Symbolic Logic 14 (1949), 98-114. Zbl 0034.00801, MR 0031446, 10.2307/2266510


Files Size Format View
ActaOstrav_06-1998-1_16.pdf 1.058Mb application/pdf View/Open
Back to standard record
Partner of
EuDML logo