Voir la notice de l'article provenant de la source Math-Net.Ru
@article{JSFU_2020_13_4_a2, author = {Mahdiyeh Nouri}, title = {Algebraic geometry over {Heyting} algebras}, journal = {\v{Z}urnal Sibirskogo federalʹnogo universiteta. Matematika i fizika}, pages = {414--421}, publisher = {mathdoc}, volume = {13}, number = {4}, year = {2020}, language = {en}, url = {http://geodesic.mathdoc.fr/item/JSFU_2020_13_4_a2/} }
Mahdiyeh Nouri. Algebraic geometry over Heyting algebras. Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 13 (2020) no. 4, pp. 414-421. http://geodesic.mathdoc.fr/item/JSFU_2020_13_4_a2/
[1] G. Baumslag, A. Myasnikov, V. Remeslennikov, “Algebraic geometry over groups I. Algebraic sets and ideal theory”, J. Algebra, 219 (1999), 16–79
[2] E. Daniyarova, A. Myasnikov, V. Remeslennikov, “Unification theorems in algebraic geometry”, Algebra and Discrete Mathamatics, 1 (2008), 80–112
[3] E. Daniyarova, A. Myasnikov, V. Remeslennikov, “Algebraic geometry over algebraic structures, II: Fundations”, J. Math. Sci., 185:3 (2012), 389–416
[4] E. Daniyarova, A. Myasnikov, V. Remeslennikov, “Algebraic geometry over algebraic structures, III: Equationally noetherian property and compactness”, South. Asian Bull. Math., 35:1 (2011), 35–68
[5] E. Daniyarova, A. Myasnikov, V. Remeslennikov, “Algebraic geometry over algebraic structures. IV: Equatinal domains and co-domains”, Algebra and Logic, 49 (2011), 483–508
[6] S. Goncharov, Countable Boolean algebras and decidability, Consultant Baurou, New York, 1997
[7] O. Kharlampovich, A. Myasnikov, “Tarski's problem about the elementary theory of free groups has a psitive solution”, E.R.A. of AMS, 4 (1998), 101–108
[8] O. Kharlampovich, A. Myasnikov, “Irreducible affine varieties over a free group. I: irreducibility of quadratic equations and Nullstellensatz”, J. Algebra, 200:2 (1998), 472–516
[9] O. Kharlampovich, A. Myasnikov, “The elemntary theory of free non-abelian groups”, J. Algebra, 302 (2006), 451–552
[10] G. Makanin, “Equations in a free group”, Math. USSR-Izv., 21:3 (1983), 483–546
[11] P. Modabberi, M. Shahryari, “Compactness conditions in universal algebraic geometry”, Algebra and Logic, 55:2 (2016), 146–172
[12] P. Modabberi, M. Shahryari, “On the equational Artinian algebras”, Siberian Electronic Mathematical Reports, 13 (2016), 875–881
[13] B. Plotkin, Seven lectures in universal algebraic geometry, preprints, 2002
[14] A. Razborov, “On systems of equations in free groups”, Math. USSR-Izv., 25:1 (1985), 115–162
[15] Z. Sela, Diophantine geometry over groups IX: Envelopes and Imaginaries, 2009, arXiv: 0909.0774
[16] M. Shahryari, A. Shevlyakov, “Direct products, varieties, and compacness conditions”, Groups Complexity Cryptology, 9:2 (2017), 159–166
[17] A. Shevlyakov, “Algebraic geometry over Boolean algebras in the language with constants”, J. Math. Sciences, 206:6 (2015), 742–757