| 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:
|
http://hdl.handle.net/10338.dmlcz/120525 |
| . |
| 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 |
| . |
