Some Corrections on My Paper 'Some Connections between Heyting Valued Set Theory and Algebraic Geometry - Prolegomena to Intuitionistic Algebraic Geometry
Author(s) -
Hirokazu Nishimura
Publication year - 1990
Publication title -
publications of the research institute for mathematical sciences
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.786
H-Index - 39
eISSN - 1663-4926
pISSN - 0034-5318
DOI - 10.2977/prims/1195170955
Subject(s) - mathematics , algebraic geometry , function field of an algebraic variety , geometry , derived algebraic geometry , differential algebraic geometry , real algebraic geometry , algebra over a field , algebraic geometry and analytic geometry , algebraic surface , algebraic number , algebraic cycle , dimension of an algebraic variety , pure mathematics , mathematical analysis , differential algebraic equation , ordinary differential equation , differential equation
(1) In the definition of a morphism of locally ringed cHas (p. 506), it is not /*: &n^>f*&H but its left adjoint *f'.f*@n-*@H> regarded as a homomorphism of rings in V\ that should be required to be a local homomorphism of local rings. Due modification should be made wherever this notion is concerned. (2) In the proof of Theorem 4.3 (p. 513), since the degree d(f) of a polynomial / is not available in intuitionistic algebra generally, ha should be defined to be the homogeneous ideal generated by the following set:
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom