The three-valued logic of quadratic form theory over real rings

Mostrar otras versiones (1)

This paper is a survey of the interaction between the three-valued propositional calculus of Lukasiewicz-Post and the axiomatic versions of quadratic form theory over (semi-real) rings known as abstract real spectra and real semigroups. © 2008 The authors and IOS Press. All rights reserved.

Guardado en:
Detalles Bibliográficos
Autor principal: Dickmann, M.
Otros Autores: Petrovich, A.
Formato: Capítulo de libro
Lenguaje:Inglés
Publicado: IOS Press 2008
Acceso en línea:Registro en Scopus
Handle
Registro en la Biblioteca Digital
Aporte de:Registro referencial: Solicitar el recurso aquí
Biblioteca Central Dr. Luis F. Leloir (FCEN) de Universidad de Buenos Aires
LEADER 06581caa a22006137a 4500
001 PAPER-6045
003 AR-BaUEN
005 20230518203543.0
008 190411s2008 xx ||||fo|||| 00| 0 eng|d
024 7 |2 scopus  |a 2-s2.0-84881800497 
040 |a Scopus  |b spa  |c AR-BaUEN  |d AR-BaUEN 
100 1 |a Dickmann, M. 
245 1 4 |a The three-valued logic of quadratic form theory over real rings 
260 |b IOS Press  |c 2008 
270 1 0 |m Dickmann, M.; Equipe de Logique Mathématique (UMR 7056), CNRS-Université Paris VII, Projet Topologie et Géométrie Algébriques, Institut de Mathématiques de Jussieu (UMR 7586), 2, Place Jussieu - Case 7012, 75251 Paris Cedex 05, France 
506 |2 openaire  |e Política editorial 
504 |a Mostowski, A., L'æuvre scientifique de Jan Lukasiewicz (1957) Fundamenta Math., 44, pp. 1-11 
504 |a Dickmann, M., Petrovich, A., Abstract Real Spectra (2002) Real Semigroups and Three-valued Logic, in: Séminaire de Structures Algébriques Ordonnées, 73, p. 33. , 2001-2002, F. Delon, M. Dickmann and D. Gondard, eds, Paris 7-CNRS Logique, February,(Extended abstract) 
504 |a Dickmann, M., Petrovich, A., Real Semigroups and Abstract Real Spectra. I, Contemporary Math (2004) Amer. Math. Soc., 344, pp. 99-119 
504 |a Dickmann, M., Petrovich, A., Real Semigroups and Abstract Real Spectra , p. 140. , tentative title, in preparation, approx; Marshall, M., Spaces of Orderings and Abstract Real Spectra (1996) Lecture Notes Math., 1636. , Springer- Verlag, Berlin 
504 |a Bröcker, L., Abstract real spectra (1994) Séminaire de Structures Algébriques Ordonnées, 49, p. 4. , 1992-1993, F.Delon, M. Dickmann, D. Gondard, eds, Paris 7-CNRS Logique, Prépublications, Paris 
504 |a Andradas, C., Bröcker, L., Ruiz, J., Constructible Sets in Real Geometry (1996) A Series of Modern Surveys in Mathematics, 33. , Springer-Verlag, Berlin, Heidelberg, New York 
504 |a Dickmann, M., Miraglia, F., Special Groups. Boolean-Theoretic Methods in the Theory of Quadratic Forms (2000) Memoirs Amer. Math. Soc., 689 
504 |a Dickmann, M., Miraglia, F., (2005), 77, p. 25. , Rings with Many Units and Special Groups, Séminaire de Structures Algébriques Ordonnées, 2003-2004, F. Delon, M. Dickmann, D. Gondard, eds., Paris 7-CNRS Logique, Prépublications, Paris; Coste, M., Roy, M.-F., La topologie du spectre réel, in: Ordered Fields and Real Algebraic Geometry (1982) Amer. Math. Soc., 8, pp. 27-59. , D. Dubois, T. Recio, eds, Contemporary Math 
504 |a Bochnak, J., Coste, M., Roy, M.-F., Géométrie algébrique réelle (1987) Ergeb. Math., 12. , Springer-Verlag, Berlin, Heidelberg, New York ,[English translation: Real Algebraic Geometry, Ergeb. Math. 36, Springer-Verlag (1998).] 
504 |a Dickmann, M., Applications of model theory to real algebraic geometry; a survey (1985) Lecture Notes Math., 1130, pp. 76-150. , Springer-Verlag 
504 |a Becker, E., On the real spectrum of a ring and its applications to semi-algebraic geometry (1986) Bulletin Amer. Math. Soc., 15, pp. 19-60 
504 |a Knebusch, M., An invitation to real spectra, in: Quadratic and Hermitean forms, Conf. Hamilton/Ont. 1983, CMS Conf. Proc. (1984) Amer. Math. Soc., 4, pp. 51-105 
504 |a Marshall, M., Real reduced multirings and multifields (2006) J. Pure Appl. Algebra, 205, pp. 452-468 
504 |a Dickmann, M., Anneaux de Witt abstraits et groupes spéciaux (1993), 42. , Séminaire de Structures Algébriques Ordonnées, 1991-1992, F. Delon, M. Dickmann, D. Gondard, eds, Paris 7-CNRS Logique, Prépublications, Paris; Lira, A., Les groupes spéciaux , 7, p. 1995. , Ph.D. Thesis, Univ. of Paris; Dickmann, M., Marshall, M., Miraglia, F., Lattice-ordered reduced special groups (2005) Annals Pure Appl. Logic, 32, pp. 27-49 
504 |a Prestel, A., Lectures on Formally Real Fields (1975) Monografias de Matemáticas, 22. , 1093 IMPA, Rio de Janeiro, [Reprinted in Lecture Notes Math., Springer, 1984] 
504 |a Dickmann, M., Miraglia, F., On quadratic forms whose total signature is zero mod 2n (1998) Inventiones Math., 133, pp. 243-278 
504 |a Dickmann, M., Miraglia, F., Lam's Conjecture (2003) Algebra Colloquium, 10, pp. 149-176 
504 |a Boicescu, V., Filipoiu, A., Georgescu, G., Rudeanu, S., Lukasiewicz-Moisil Algebras (1991) Annals of Discrete Mathematics, 49. , North Holland, Amsterdam 
504 |a Balbes, R., Dwinger, P., Distributive Lattices (1974), Univ. of Missouri Press; Lam, T.Y., Introduction to Quadratic Forms over Fields (2004) Amer. Math. Soc., 67. , Graduate Series in Mathematics 
504 |a Scharlau, W., (1985) Quadratic and Hermitian Forms, , Springer-Verlag, Berlin 
504 |a Lam, T.Y., An Introduction to Real Algebra Rocky Mountain (1984) J. Math., 14, pp. 767-814 
504 |a Pierce, R.S., Modules over Commutative Regular Rings (1967) Memoirs Amer. Math. Soc., 70 
520 3 |a This paper is a survey of the interaction between the three-valued propositional calculus of Lukasiewicz-Post and the axiomatic versions of quadratic form theory over (semi-real) rings known as abstract real spectra and real semigroups. © 2008 The authors and IOS Press. All rights reserved.  |l eng 
593 |a Equipe de Logique Mathématique (UMR 7056), CNRS - Université Paris VII, Projet Topologie et Géométrie Algébriques, Institut de Mathématiques de Jussieu (UMR 7586), 2, Place Jussieu - Case 7012, 75251 Paris Cedex 05, France 
593 |a Departamento de Matemáticas, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Ciudad Universitaria, 1428 Buenos Aires, Argentina 
690 1 0 |a ABSTRACT ORDER SPACE 
690 1 0 |a ABSTRACT REAL SPECTRUM 
690 1 0 |a POST ALGEBRA 
690 1 0 |a REAL SEMIGROUP 
690 1 0 |a SPECIAL GROUP 
700 1 |a Petrovich, A. 
773 0 |d IOS Press, 2008  |h pp. 49-67  |p Andrzej Mostowski and Found. Stud.  |z 9781586037826  |t Andrzej Mostowski and Foundational Studies 
856 4 1 |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-84881800497&partnerID=40&md5=dea5359eb2cbf599fe478468f8d33295  |y Registro en Scopus 
856 4 0 |u https://hdl.handle.net/20.500.12110/paper_97815860_v_n_p49_Dickmann  |y Handle 
856 4 0 |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97815860_v_n_p49_Dickmann  |y Registro en la Biblioteca Digital 
961 |a paper_97815860_v_n_p49_Dickmann  |b paper  |c PE 
962 |a info:eu-repo/semantics/bookPart  |a info:ar-repo/semantics/parte de libro  |b info:eu-repo/semantics/publishedVersion 
999 |c 66998 

Ejemplares similares