Displaying 1941 – 1960 of 5989

Showing per page

Highly Undecidable Problems For Infinite Computations

Olivier Finkel (2009)

RAIRO - Theoretical Informatics and Applications

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...

Hilbert algebras as implicative partial semilattices

Jānis Cīrulis (2007)

Open Mathematics

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...

Historic forcing for Depth

Andrzej Rosłanowski, Saharon Shelah (2001)

Colloquium Mathematicae

We show that, consistently, for some regular cardinals θ <λ, there exists a Boolean algebra 𝔹 such that |𝔹| = λ⁺ and for every subalgebra 𝔹'⊆ 𝔹 of size λ⁺ we have Depth(𝔹') = θ.

HOD-supercompactness, Indestructibility, and Level by Level Equivalence

Arthur W. Apter, Shoshana Friedman (2014)

Bulletin of the Polish Academy of Sciences. Mathematics

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...

Holland’s theorem for pseudo-effect algebras

Anatolij Dvurečenskij (2006)

Czechoslovak Mathematical Journal

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 M V -algebra can be represented as a pseudo-effect algebra or as a pseudo M V -algebra of automorphisms of some antilattice or of some linearly ordered set.

Holonomie et cycle évanouissant

Guy Wallet (1981)

Annales de l'institut Fourier

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.

Homogeneous aggregation operators

Tatiana Rückschlossová, Roman Rückschloss (2006)

Kybernetika

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...

Currently displaying 1941 – 1960 of 5989