179,354 research outputs found
On effective compactness and sigma-compactness
Using the Gandy -- Harrington topology and other methods of effective
descriptive set theory, we prove several theorems on compact and sigma-compact
pointsets. In particular we show that any set of the Baire
space either is covered by a countable union of compact
sets, or contains a subset closed in and homeomorphic to (and
then is not covered by a sigma-compact set, of course)
Observing compact quark matter droplets in relativistic nuclear collisions
Compactness is introduced as a new method to search for the onset of the quark matter transition in relativistic heavy ion collisions. That transition supposedly leads to stronger compression and higher compactness of the source in coordinate space. That effect could be observed via pion interferometry. We propose to measure the compactness of the source in the appropriate principal axis frame of the compactness tensor in coordinate space
Compactness of first-order fuzzy logics
One of the nice properties of the first-order logic is the compactness of
satisfiability. It state that a finitely satisfiable theory is satisfiable.
However, different degrees of satisfiability in many-valued logics, poses
various kind of the compactness in these logics. One of this issues is the
compactness of -satisfiability. Here, after an overview on the results
around the compactness of satisfiability and compactness of -satisfiability
in many-valued logic based on continuous t-norms (basic logic), we extend the
results around this topic. To this end, we consider a reverse semantical
meaning for basic logic. Then we introduce a topology on and
that the interpretation of all logical connectives are continuous with respect
to these topologies. Finally using this fact we extend the results around the
compactness of satisfiability in basic ogic
- …