Lecomte, Dominique

We study the class of analytic binary relations on Polish spaces, compared with the notions of continuous reducibility or injective continuous reducibility. In particular, we characterize when a locally countable Borel relation is Σ 0 ξ (or Π 0 ξ), when ξ ≥ 3, by providing a concrete finite antichain basis. We give a similar characterization for ar...

Wehrung, Friedrich

We construct a completely normal bounded distributive lattice D in which for every pair (a, b) of elements, the set {x ∈ D | a ≤ b ∨ x} has a countable coinitial subset, such that D does not carry any binary operation - satisfying the identities x ≤ y ∨(x-y),(x-y)∧(y-x) = 0, and x-z ≤ (x-y)∨(y-z). In particular, D is not a homomorphic image of the ...

Wehrung, Friedrich

A compact topological space X is spectral if it is sober (i.e., every irreducible closed set is the closure of a unique singleton) and the compact open subsets of X form a basis of the topology of X, closed under finite intersections. Theorem. A topological space X is homeomorphic to the spectrum of some countable Abelian ℓ-group with unit (resp., ...

Lemghari, El Mustapha
Published in
SHS Web of Conferences

Le décryptage figuratif des noms propres soulève le problème de leur interprétation métonymique et/ou métaphorique. La littérature sur le sujet distingue entre les « métonymies quantitatives » et les « métonymies qualitatives », et tend, généralement, à placer les noms propres métaphoriques sous les « métonymies qualitatives ». Les noms propres fig...

Mukhamedov, Farrukh
Published in
Journal of Inequalities and Applications

In the present article, we provide a new construction of measure, called p-adic quasi Gibbs measure, for countable state of p-adic Potts model on the Cayley tree. Such a construction depends on a parameter and wights. In particular case, i.e., if p=expp, the defined measure coincides with p-adic Gibbs measure. In this article, under some condition ...

Rathjen, Michael Weiermann, Andreas

The paper is concerned with generally Pi^1_2 sentences of the form 'if X is well ordered then f(X) is well ordered', where f is a standard proof theoretic function from ordinals to ordinals. It has turned out that a statement of this form is often equivalent to the existence of countable coded omega-models for a particular theory T_f whose consiste...

Aura Casal de Altuve, Rosa

The international organisms demand changes to the universities as far as the formation of the public accountant. One of the problems that present/display east professional has to do with its formation, since the same one must be cradle in the discipline but under a vision to transdisciplinary. The investigation that appears is of supported document...

Kistler, Max

In E.J. Lowe's ontology, (individual) objects are property-bearers which 1) have identity and 2) are countable. This makes it possible to become or cease to be an object, by beginning or ceasing to fulfil one of these conditions. But the possibility of switching fundamental ontological categories should be excluded. Furthermore, Lowe does not show ...