Showing 1–9 of 9 results for author: Ishihara, H

Reflexive combinatory algebras

Authors: Marlou M. Gijzen, Hajime Ishihara, Tatsuji Kawai

Abstract: We introduce the notion of reflexivity for combinatory algebras. Reflexivity can be thought of as an equational counterpart of the Meyer-Scott axiom of combinatory models, which indeed allows us to characterise an equationally definable counterpart of combinatory models. This new structure, called strongly reflexive combinatory algebra, admits a finite axiomatisation with seven closed equations, a… ▽ More We introduce the notion of reflexivity for combinatory algebras. Reflexivity can be thought of as an equational counterpart of the Meyer-Scott axiom of combinatory models, which indeed allows us to characterise an equationally definable counterpart of combinatory models. This new structure, called strongly reflexive combinatory algebra, admits a finite axiomatisation with seven closed equations, and the structure is shown to be exactly the retract of combinatory models. Lambda algebras can be characterised as strongly reflexive combinatory algebras which are stable. Moreover, there is a canonical construction of a lambda algebra from a strongly reflexive combinatory algebra. The resulting axiomatisation of lambda algebras by the seven axioms for strong reflexivity together with those for stability is shown to correspond to the axiomatisation of lambda algebras due to Selinger [J.Funct.Programming, 12(6), 549--566, 2002]. △ Less

Submitted 30 June, 2022; v1 submitted 23 April, 2021; originally announced April 2021.

Comments: 25 pages

MSC Class: 03B40

Solutions to the Einstein-Maxwell-Current System with Sasakian maifolds

Authors: Hideki Ishihara, Satsuki Matsuno

Abstract: We construct stationary solutions to the Einstein-Maxwell-current system by using the Sasakian manifold for the three-dimensional space. Both the magnetic field and the electric current in the solution are specified by the contact form of the Sasakian manifold. The solutions contain an arbitrary function that describes inhomogeneity of the number density of the charged particles, and the function… ▽ More We construct stationary solutions to the Einstein-Maxwell-current system by using the Sasakian manifold for the three-dimensional space. Both the magnetic field and the electric current in the solution are specified by the contact form of the Sasakian manifold. The solutions contain an arbitrary function that describes inhomogeneity of the number density of the charged particles, and the function determines the curvature of the space. △ Less

Submitted 4 December, 2020; originally announced December 2020.

Comments: 16 pages, no figures

Equivalents of the finitary non-deterministic inductive definitions

Authors: Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto

Abstract: We present statements equivalent to some fragments of the principle of non-deterministic inductive definitions (NID) by van den Berg (2013), working in a weak subsystem of constructive set theory CZF. We show that several statements in constructive topology which were initially proved using NID are equivalent to the elementary and finitary NIDs. We also show that the finitary NID is equivalent to… ▽ More We present statements equivalent to some fragments of the principle of non-deterministic inductive definitions (NID) by van den Berg (2013), working in a weak subsystem of constructive set theory CZF. We show that several statements in constructive topology which were initially proved using NID are equivalent to the elementary and finitary NIDs. We also show that the finitary NID is equivalent to its binary fragment and that the elementary NID is equivalent to a variant of NID based on the notion of biclosed subset. Our result suggests that proving these statements in constructive topology requires genuine extensions of CZF with the elementary or finitary NID. △ Less

Submitted 22 June, 2019; v1 submitted 14 March, 2019; originally announced March 2019.

Comments: Corrected some typographical errors

MSC Class: 03E70; 03F50; 54A05; 06D22

Classical propositional logic and decidability of variables in intuitionistic propositional logic

Authors: Hajime Ishihara

Abstract: We improve the answer to the question: what set of excluded middles for propositional variables in a formula suffices to prove the formula in intuitionistic propositional logic whenever it is provable in classical propositional logic. We improve the answer to the question: what set of excluded middles for propositional variables in a formula suffices to prove the formula in intuitionistic propositional logic whenever it is provable in classical propositional logic. △ Less

Submitted 6 August, 2014; v1 submitted 1 May, 2014; originally announced May 2014.

Journal ref: Logical Methods in Computer Science, Volume 10, Issue 3 (August 7, 2014) lmcs:1173

Some adjunction properties of ample vector bundles

Authors: Hironobu Ishihara

Abstract: Let $E$ be an ample vector bundle of rank $r$ on a projective variety $X$ with only log-terminal singularities. We consider the nefness of adjoint divisors $K_X+(t-r)det(E)$ when $t>=dim(X)$ and $t>r$. As a corollary, we classify pairs $(X,E)$ with $c_r$-sectional genus zero. Let $E$ be an ample vector bundle of rank $r$ on a projective variety $X$ with only log-terminal singularities. We consider the nefness of adjoint divisors $K_X+(t-r)det(E)$ when $t>=dim(X)$ and $t>r$. As a corollary, we classify pairs $(X,E)$ with $c_r$-sectional genus zero. △ Less

Submitted 18 February, 1999; originally announced February 1999.

Comments: 7 pages, AMS-TeX

MSC Class: 14J60

A generalization of curve genus for ample vector bundles, I

Authors: Hironobu Ishihara

Abstract: A new genus $g=g(X,\ce)$ is defined for the pairs $(X,\ce)$ that consist of $n$-dimensional compact complex manifolds $X$ and ample vector bundles $\ce$ of rank $r$ less than $n$ on $X$. In case $r=n-1$, $g$ is equal to curve genus. Above pairs $(X,\ce)$ with $g$ less than two are classified. For spanned $\ce$ it is shown that $g$ is greater than or equal to the irregularity of $X$, and its equa… ▽ More A new genus $g=g(X,\ce)$ is defined for the pairs $(X,\ce)$ that consist of $n$-dimensional compact complex manifolds $X$ and ample vector bundles $\ce$ of rank $r$ less than $n$ on $X$. In case $r=n-1$, $g$ is equal to curve genus. Above pairs $(X,\ce)$ with $g$ less than two are classified. For spanned $\ce$ it is shown that $g$ is greater than or equal to the irregularity of $X$, and its equality condition is given. △ Less

Submitted 22 September, 1997; originally announced September 1997.

Comments: AMS-TeX v2.1, 8 pages

MSC Class: 14J60 (Primary) 14C20; 14F05; 14J40 (Secondary)

A generalization of curve genus for ample vector bundles, II

Authors: Yoshiaki Fukuma, Hironobu Ishihara

Abstract: Let $X$ be a compact complex manifold of dimension $n\ge 2$ and $\ce$ an ample vector bundle of rank $r<n$ on $X$. As the continuation of Part I, we further study the properties of $g(X,\ce)$ that is an invariant for pairs $(X,\ce)$ and is equal to curve genus when $r=n-1$. Main results are the classifications of $(X,\ce)$ with $g(X,\ce)=2$ (resp. 3) when $\ce$ has a regular section (resp.… ▽ More Let $X$ be a compact complex manifold of dimension $n\ge 2$ and $\ce$ an ample vector bundle of rank $r<n$ on $X$. As the continuation of Part I, we further study the properties of $g(X,\ce)$ that is an invariant for pairs $(X,\ce)$ and is equal to curve genus when $r=n-1$. Main results are the classifications of $(X,\ce)$ with $g(X,\ce)=2$ (resp. 3) when $\ce$ has a regular section (resp. $\ce$ is ample and spanned) and $1<r<n-1$. △ Less

Submitted 22 September, 1997; originally announced September 1997.

Comments: AMS-TeX v2.1, 19 pages

MSC Class: 14J60 (Primary) 14C20; 14F05; 14J40 (Secondary)

Rank-2 ample vector bundles on some smooth rational surfaces

Authors: Hironobu Ishihara

Abstract: Some classification results for ample vector bundles of rank 2 on Hirzebruch surfaces, and on Del Pezzo surfaces, are obtained. In particular, we classify rank-2 ample vector bundles with $c_2$ less than 7 on Hirzebruch surfaces, and with $c_2$ less than 4 on Del Pezzo surfaces. Some classification results for ample vector bundles of rank 2 on Hirzebruch surfaces, and on Del Pezzo surfaces, are obtained. In particular, we classify rank-2 ample vector bundles with $c_2$ less than 7 on Hirzebruch surfaces, and with $c_2$ less than 4 on Del Pezzo surfaces. △ Less

Submitted 13 May, 1996; originally announced May 1996.

Comments: AMS-TeX v2.1, 29 pages

MSC Class: 14J60 (Primary) 14F05; 14J26 (Secondary)

On Polarized Manifolds of Sectional Genus Three

Authors: Hironobu Ishihara

Abstract: This paper is an attempt for the classification of polarized manifolds of sectional genus $g=3$ and dimension $n\geq 3$. As in the case of $g\leq 2$,which was classified by T.Fujita,we use Mori-Kawamata theory. The classification result of $g=3$ and $n=2$, which was obtained by H.Maeda,is also used essentially. Although our results are far from being complete, they are very similar to those in c… ▽ More This paper is an attempt for the classification of polarized manifolds of sectional genus $g=3$ and dimension $n\geq 3$. As in the case of $g\leq 2$,which was classified by T.Fujita,we use Mori-Kawamata theory. The classification result of $g=3$ and $n=2$, which was obtained by H.Maeda,is also used essentially. Although our results are far from being complete, they are very similar to those in case $g=2$. △ Less

Submitted 14 February, 1994; originally announced February 1994.

Comments: 21 pages, AmS-TeX 2.1