اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدLarge semilattices of breadth three
43
0
0.0
(
0
)
تأليف
Friedrich Wehrung
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
A 1984 problem of S.Z. Ditor asks whether there exists a lattice of cardinality aleph two, with zero, in which every principal ideal is finite and every element has at most three lower covers. We prove that the existence of such a lattice follows from either one of two axioms that are known to be independent of ZFC, namely (1) Martins Axiom restricted to collections of aleph one dense subsets in posets of precaliber aleph one, (2) the existence of a gap-1 morass. In particular, the existence of such a lattice is consistent with ZFC, while the non-existence of such a lattice implies that omega two is inaccessible in the constructible universe. We also prove that for each regular uncountable cardinal $kappa$ and each positive integer n, there exists a join-semilattice L with zero, of cardinality $kappa^{+n}$ and breadth n+1, in which every principal ideal has less than $kappa$ elements.
قيم البحث
اقرأ أيضاً
Given a semilattice $X$ we study the algebraic properties of the semigroup $upsilon(X)$ of upfamilies on $X$. The semigroup $upsilon(X)$ contains the Stone-Cech extension $beta(X)$, the superextension $lambda(X)$, and the space of filters $phi(X)$ on
$X$ as closed subsemigroups. We prove that $upsilon(X)$ is a semilattice iff $lambda(X)$ is a semilattice iff $phi(X)$ is a semilattice iff the semilattice $X$ is finite and linearly ordered. We prove that the semigroup $beta(X)$ is a band if and only if $X$ has no infinite antichains, and the semigroup $lambda(X)$ is commutative if and only if $X$ is a bush with finite branches.
In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models. An posible generalization of the Lobs theorem is considered.Main results is: (1) let $k$ be an inaccessible cardinal, then $
eg Con(ZFC+exists k)$,(2) there is a Lindelof $T_3$ indestructible space of pseudocharacter $leqslant aleph_1$ and size $aleph_2$ in $L$.
Boundary conditions and defects of any codimension are natural parts of any quantum field theory. Surface defects in three-dimensional topological field theories of Turaev-Reshetikhin type have applications to two-dimensional conformal field theories
, in solid state physics and in quantum computing. We explain an obstruction to the existence of surface defects that takes values in a Witt group. We then turn to surface defects in Dijkgraaf-Witten theories and their construction in terms of relative bundles; this allows one to exhibit Brauer-Picard groups as symmetry groups of three-dimensional topological field theories.
It always happens: you have a talk for dinner and nothing prepared. Your signature dish never fails, but you have served it too many times already and youd like to surprise your guests with something new. Try these quick, light and colourful reinterp
retations of haute cuisine classics, like (nonabelian) Fourier transforms and the Plancherel theorem for finite groups.
A numbering of a countable family $S$ is a surjective map from the set of natural numbers $omega$ onto $S$. A numbering $ u$ is reducible to a numbering $mu$ if there is an effective procedure which given a $ u$-index of an object from $S$, computes
a $mu$-index for the same object. The reducibility between numberings gives rise to a class of upper semilattices, which are usually called Rogers semilattices. The paper studies Rogers semilattices for families $S subset P(omega)$ belonging to various levels of the analytical hierarchy. We prove that for any non-zero natural numbers $m eq n$, any non-trivial Rogers semilattice of a $Pi^1_m$-computable family cannot be isomorphic to a Rogers semilattice of a $Pi^1_n$-computable family. One of the key ingredients of the proof is an application of the result by Downey and Knight on degree spectra of linear orders.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
