Hierarchies of number - theoretic functions I, II: a correction.
We show that many classical decision problems about 1-counter ω-languages, context free ω-languages, or infinitary rational relations, are Π½ -complete, hence located at the second level of the analytical hierarchy, and “highly undecidable”. In particular, the universality problem, the inclusion problem, the equivalence problem, the determinizability problem, the complementability problem, and the unambiguity problem are all Π½ -complete for context-free ω-languages or for infinitary rational...
The infimum of elements a and b of a Hilbert algebra are said to be the compatible meet of a and b, if the elements a and b are compatible in a certain strict sense. The subject of the paper will be Hilbert algebras equipped with the compatible meet operation, which normally is partial. A partial lower semilattice is shown to be a reduct of such an expanded Hilbert algebra i ?both algebras have the same ?lters.An expanded Hilbert algebra is actually an implicative partial semilattice (i.e., a relative...
We show that, consistently, for some regular cardinals θ <λ, there exists a Boolean algebra 𝔹 such that |𝔹| = λ⁺ and for every subalgebra 𝔹'⊆ 𝔹 of size λ⁺ we have Depth(𝔹') = θ.
In an attempt to extend the property of being supercompact but not HOD-supercompact to a proper class of indestructibly supercompact cardinals, a theorem is discovered about a proper class of indestructibly supercompact cardinals which reveals a surprising incompatibility. However, it is still possible to force to get a model in which the property of being supercompact but not HOD-supercompact holds for the least supercompact cardinal κ₀, κ₀ is indestructibly supercompact, the strongly compact and...
We give two variations of the Holland representation theorem for -groups and of its generalization of Glass for directed interpolation po-groups as groups of automorphisms of a linearly ordered set or of an antilattice, respectively. We show that every pseudo-effect algebra with some kind of the Riesz decomposition property as well as any pseudo -algebra can be represented as a pseudo-effect algebra or as a pseudo -algebra of automorphisms of some antilattice or of some linearly ordered set.
On démontre que l’holonomie est non triviale au voisinage d’un cycle évanouissant au moyen d’un critère d’Imanishi et on donne une démonstration non standard de ce dernier.
Recently, the utilization of invariant aggregation operators, i.e., aggregation operators not depending on a given scale of measurement was found as a very current theme. One type of invariantness of aggregation operators is the homogeneity what means that an aggregation operator is invariant with respect to multiplication by a constant. We present here a complete characterization of homogeneous aggregation operators. We discuss a relationship between homogeneity, kernel property and shift-invariance...