- journal articles metadata
European Mathematical Society Publishing House
2024-03-29 06:49:08
12
https://www.ems-ph.org/meta/jmeta-stream.php?jrn=PRIMS&vol=23&iss=3&update_since=2024-03-29
Publications of the Research Institute for Mathematical Sciences
Publ. Res. Inst. Math. Sci.
PRIMS
0034-5318
1663-4926
General
10.4171/PRIMS
http://www.ems-ph.org/doi/10.4171/PRIMS
subscribers, moving wall 5 years
European Mathematical Society Publishing House
Zuerich, Switzerland
© Research Institute for Mathematical Sciences, Kyoto University
23
1987
3
On the Splitting of Mapping Spaces between Classifying Spaces I
Norio
Iwase
Kyushu University, FUKUOKA, JAPAN
General
445
453
10.2977/prims/1195176439
http://www.ems-ph.org/doi/10.2977/prims/1195176439
On the Dirichlet Problem for Quasilinear Elliptic Equations with Degenerate Coefficients
Kazuya
Hayasida
Kanazawa University, KANAZAWA, JAPAN
General
455
477
10.2977/prims/1195176440
http://www.ems-ph.org/doi/10.2977/prims/1195176440
Remarks on the Space-Time Behavior of Scattering Solutions to the Schrödinger Equations
Tohru
Ozawa
Hokkaido University, SAPPORO, JAPAN
General
479
486
10.2977/prims/1195176441
http://www.ems-ph.org/doi/10.2977/prims/1195176441
Entire Functions of Several Complex Variables Bounded Outside a Set of Finite Volume
Yasuichiro
Nishimura
Kyoto University, KYOTO, JAPAN
General
487
499
10.2977/prims/1195176442
http://www.ems-ph.org/doi/10.2977/prims/1195176442
Some Connections between Heyting Valued Set Theory and Algebraic Geometry —Prolegomena to Intuitionistic Algebraic Geometry—
Hirokazu
Nishimura
Kyoto University, KYOTO, JAPAN
Rousseau [10] has shown that classical or standard function theory of n variables is no other than intuitionistic function theory of one variable over Cn–1. Similar works have been done by Nishimura [9] in the realm of Sato hyperfunctions and by Takeuti and Titani [16] in the realm of complex manifolds. The main purpose of this paper is to pursue similar results in the arena of algebraic geometry. Since we would like to do so in an intuitionistically valid manner, we reconstruct some rudiments of algebraic geometry, using the complete Heyting algebra of radical ideals in place of the space of prime ideals with Zariski topology as the starting point of our scheme theory.
General
501
515
10.2977/prims/1195176443
http://www.ems-ph.org/doi/10.2977/prims/1195176443
Type I Orbits In the Pure States of a C*-dynamical System, II
Akitaka
Kishimoto
Kyoto University, KYOTO, JAPAN
General
517
526
10.2977/prims/1195176444
http://www.ems-ph.org/doi/10.2977/prims/1195176444
Splitting Theorems for PO-Complexes
Jürgen
Bingener
Universität Regensburg, REGENSBURG, GERMANY
General
527
534
10.2977/prims/1195176445
http://www.ems-ph.org/doi/10.2977/prims/1195176445
Analytic Moduli Spaces as Orbit Spaces
Jürgen
Bingener
Universität Regensburg, REGENSBURG, GERMANY
General
535
542
10.2977/prims/1195176446
http://www.ems-ph.org/doi/10.2977/prims/1195176446
Local Moduli Spaces In Analytic Geometry
Jürgen
Bingener
Universität Regensburg, REGENSBURG, GERMANY
General
543
552
10.2977/prims/1195176447
http://www.ems-ph.org/doi/10.2977/prims/1195176447
Local Moduli for Strictly Pseudoconvex Spaces
Jürgen
Bingener
Universität Regensburg, REGENSBURG, GERMANY
General
553
558
10.2977/prims/1195176448
http://www.ems-ph.org/doi/10.2977/prims/1195176448
Undecidability of Free Pseudo-Complemented Semilattlces
Pawel
Idziak
Jagiellonian University, KRAKOW, POLAND
Decision problem for the first order theory of free objects in equational classes of algebras was investigated for groups (Malcev [10]), semigroups (Quine [12]), commutative semigroups (Mostowski [11]), distributive lattices (Ershov [6]) and several varieties of rings (Lavrov [9]). Recently this question was solved for all varieties of Hilbert algebras and distributive pseudo-complemented lattices (see [7], [8]). In this paper we prove that the theory of all finitely generated free pseudo-complemented semilattices is undecidable.
General
559
564
10.2977/prims/1195176449
http://www.ems-ph.org/doi/10.2977/prims/1195176449
On the Fabry-Ehrenpreis-Kawal Gap Theorem
Daniele
Struppa
Chapman University, ORANGE, UNITED STATES
Carlos
Berenstein
University of Maryland, COLLEGE PARK, UNITED STATES
General
565
574
10.2977/prims/1195176450
http://www.ems-ph.org/doi/10.2977/prims/1195176450