Related papers: Remarks On $\aleph_0$-Injectivity
We describe a natural generalization of irreducibility in order lattices with arbitrary metrics. We analyse the special cases of valuation metrics and more general metrics for lattices. This article is mainly based on a part of the author's…
We present some motivations and discuss various aspects of an approach to the Jacobian Conjecture in terms of irreducible elements and square-free elements.
In this paper we continue with the algebraic study of Krivine's realizability, refining some of the authors' previous constructions by introducing two categories, with objects the abstract Krivine structures and the implicative algebras…
We investigate the relationship between algebraic integrability and the model theoretic notion of internality. Our main result give a geometric account of almost internality and indeed we show that this notion correspond in a reasonable way…
This note gives a simple approach to q-analogues of some results associated with Abel polynomials.
Expansions of abelian categories are introduced. These are certain functors between abelian categories and provide a tool for induction/reduction arguments. Expansions arise naturally in the study of coherent sheaves on weighted projective…
We treat interpolation for various logics.
These are yet another lecture notes on Seiberg-Witten invariants, where no claim of originality is made, they contain a discussion of some related results from the recent literature.
Essential $\aleph_0$-categoricity; i.e., $\aleph_0$-categoricity in some full countable language, is shown to be a robust notion for strongly minimal compact complex manifolds. Characterisations of triviality and essential…
This article contains: - Proofs of certain results recently obtained by D. Panyushev. - An addendum to the "inequality of Panyushev". - Calculations of indexes of certain contracted Lie algebras. - Examples of additivity of the index of Lie…
This paper explores the sheaves with the action of a lie algebra and computes their cohomology in a new category. Then in the following sections, We try to generalize a classical result in [GM, Ch. IV] about exterior algebra. We add the…
We continue our recent work on averages for ternary additive problems with powers of prime numbers.
In this article we determine the implicational fragments of most of the known subintuitionistic logics.
In [1], Theorem 3, the authors proved, in one dimension, a generalization of the Hopf Lemma, and the question arose if it could be extended to higher dimensions. In this paper we present two conjectures as possible extensions, and give a…
This work is a continuation of what was done in a previous paper and strongly connected to the recent work of U. Abel and I. Rasa [arXiv:1707.00127]
In this article one builds a class of recursive sets, one establishes properties of these sets, and one proposes applications.
In this article we define a new reducibility based on the enumeration orders of r.e. sets.
Let W be a finite complex reflection group acting on the complex vector space V and let A(W) = (A(W), V) be the associated reflection arrangement. In an earlier paper by the last two authros, we classified all inductively free reflection…
Continued fractions are used to give an alternate proof of $e^{x/y}$ is irrational.
We deal with stability theory for ``reasonable'' non-elementary classes without any remanents of compactness (like: above Hanf number or definable by L_{omega_1, omega}).