Timofte, Vlad Timofte, Aida
Published in
Journal of Inequalities and Applications

We show that positivity (≥0) on R+n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathbb{R}_{+}^{n}$\end{document} and on Rn\documentclass[12pt]{minimal} \usepackage{a...

Basu, Saugata Patel, Deepam
Published in
Selecta Mathematica

In this article, we use cohomological techniques to obtain an algebraic version of Toda’s theorem in complexity theory valid over algebraically closed fields of arbitrary characteristic. This result follows from a general ‘connectivity’ result in cohomology. More precisely, given a closed subvariety X⊂Pn\documentclass[12pt]{minimal} \usepackage{ams...

Kikyo, Hirotaka

The automorphism groups of Hrushovski's pseudoplanes associated to rational numbers α with 1/3 >α≥1/4 are simple groups.

Tóth, Endre Waldhauser, Tamás
Published in
Algebra universalis

Solution sets of systems of homogeneous linear equations over fields are characterized as being subspaces, i.e., sets that are closed under linear combinations. Our goal is to characterize solution sets of systems of equations over arbitrary finite algebras by a similar closure condition. We show that solution sets are always closed under the centr...

Aslanyan, Vahagn
Published in
Algebra universalis

We show that the theory of De Morgan algebras has a model completion and axiomatise it. Then we prove that it is ℵ0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alep...

KIKYO, HIROTAKA

The automorphism group of Hrushovski's pseudoplane associated to 5/8 is a simple group.

Herrmann, Christian Ziegler, Martin
Published in
Algebra universalis

For a large class of finite dimensional inner product spaces V, over division ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$*$$\end{document}-rings F, we consider de...

Kikyo, Hirotaka

Hrushovski's pseudoplane associated to rational number 5/8 has a model complete theory.

Poizat, Bruno Yeshkeyev, Aibat
Published in
Logica Universalis

This paper is a general introduction to Positive Logic, where only what we call h-inductive sentences are under consideration, allowing the extension to homomorphisms of model-theoric notions which are classically associated to embeddings; in particular, the existentially closed models, that were primitively defined by Abraham Robinson, become here...

Kikyo, Hirotaka
Published in
Archive for Mathematical Logic

Let Kf\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {K}_f$$\end{document} be an ab initio amalgamation class with an unbounded increasing concave function f. ...