Definability of arithmetical operations from binary quadratic forms
Acta Mathematica et Informatica Universitatis Ostraviensis (1998)
- Volume: 06, Issue: 1, page 135-144
- ISSN: 1804-1388
Access Full Article
top
How to cite
topKorec, Ivan. "Definability of arithmetical operations from binary quadratic forms." Acta Mathematica et Informatica Universitatis Ostraviensis 06.1 (1998): 135-144. <http://eudml.org/doc/23804>.
@article{Korec1998,
author = {Korec, Ivan},
journal = {Acta Mathematica et Informatica Universitatis Ostraviensis},
keywords = {elementary definability; undecibable theories; quadratic forms},
language = {eng},
number = {1},
pages = {135-144},
publisher = {University of Ostrava},
title = {Definability of arithmetical operations from binary quadratic forms},
url = {http://eudml.org/doc/23804},
volume = {06},
year = {1998},
}
TY - JOUR
AU - Korec, Ivan
TI - Definability of arithmetical operations from binary quadratic forms
JO - Acta Mathematica et Informatica Universitatis Ostraviensis
PY - 1998
PB - University of Ostrava
VL - 06
IS - 1
SP - 135
EP - 144
LA - eng
KW - elementary definability; undecibable theories; quadratic forms
UR - http://eudml.org/doc/23804
ER -
References
top- P. Cegielski, 10.1007/BF02127802, Annals of Mathematics on Artificial Intelligence 16 (1996), 311-341. (1996) MR1389852DOI10.1007/BF02127802
- 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. (1991) MR1146961
- 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. (1996) MR1475510
- 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. (1996)
- I. Korec, Arithmetical operations strongest with respect to the first order definability, Preprint 12/1997 of Math. Institute SAV Bratislava, 12pp. (1997)
- J. Robinson, 10.2307/2266510, Journal of Symbolic Logic 14 (1949), 98-114. (1949) Zbl0034.00801MR0031446DOI10.2307/2266510
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.