If is a family of filters over some set I, a topological space X is sequencewise -compact if for every I-indexed sequence of elements of X there is such that the sequence has an F-limit point. Countable compactness, sequential compactness, initial κ-compactness, [λ; µ]-compactness, the Menger and Rothberger properties can all be expressed in terms of sequencewise -compactness for appropriate choices of . We show that sequencewise -compactness is preserved under taking products if and only if there...
Usando la teoria del commutatore in algebra universale, si dimostra che una larga classe di algebre di incidenza sono polinomialmente equivalenti a moduli su anelli con divisione.
Si dà, mediante condizioni per l'amalgamabilità di tre modelli, una caratterizzazione completa delle teorie localmente finite con model-compagno. Si introduce inoltre un concetto intermedio tra quelli di model-compagno e model-completamento.
Si determinano alcune restrizioni sulle possibili cardinalità dei modelli di teorie in logiche soddisfacenti alcune proprietà di compattezza. Si dà una caratterizzazione delle logiche -compatte generate da quantificatori di cardinalità. Si stabilisce che il primo cardinale tale che una logica è -compatta è debolmente inaccessibile e soddisfa la proprietà dell'albero. Dai risultati enunciati appare un raffronto assai particolareggiato fra i due concetti di -compattezza e -compattezza.
Nell'ambito della Teoria dei Modelli Astratta è possibile dimostrare che una logica compatta L è univocamente determinata dalla sua relazione di L-elementare equivalenza (Teorema 1). Si enunciano poi alcuni risultati sulle logiche massime correlate a certe relazioni di equivalenza e sulle logiche compatte generate da qualche sistema di Fraissé-Ehrenfeucht.
We introduce a general notion of covering property, of which many classical definitions are particular instances. Notions of closure under various sorts of convergence, or, more generally, under taking kinds of accumulation points, are shown to be equivalent to a covering property in the sense considered here (Corollary 3.10). Conversely, every covering property is equivalent to the existence of appropriate kinds of accumulation points for arbitrary sequences on some fixed index set (Corollary 3.5)....
We characterize exactly the compactness properties of the product of κ copies of the space ω with the discrete topology. The characterization involves uniform ultrafilters, infinitary languages, and the existence of nonstandard elements in elementary extensions. We also have results involving products of possibly uncountable regular cardinals.
Si dà, mediante condizioni per l'amalgamabilità di tre modelli, una caratterizzazione completa delle teorie localmente finite con model-compagno. Si introduce inoltre un concetto intermedio tra quelli di model-compagno e model-completamento.
Si determinano alcune restrizioni sulle possibili cardinalità dei modelli di teorie in logiche soddisfacenti alcune proprietà di compattezza. Si dà una caratterizzazione delle logiche -compatte generate da quantificatori di cardinalità. Si stabilisce che il primo cardinale tale che una logica è -compatta è debolmente inaccessibile e soddisfa la proprietà dell'albero. Dai risultati enunciati appare un raffronto assai particolareggiato fra i due concetti di -compattezza e -compattezza.
Usando la teoria del commutatore in algebra universale, si dimostra che una larga classe di algebre di incidenza sono polinomialmente equivalenti a moduli su anelli con divisione.
Nell'ambito della Teoria dei Modelli Astratta è possibile dimostrare che una logica compatta L è univocamente determinata dalla sua relazione di L-elementare equivalenza (Teorema 1). Si enunciano poi alcuni risultati sulle logiche massime correlate a certe relazioni di equivalenza e sulle logiche compatte generate da qualche sistema di Fraissé-Ehrenfeucht.
The statement in the title solves a problem raised by T. Retta. We also present a variation of the result in terms of -compactness.
We show that, under suitably general formulations, covering properties, accumulation properties and filter convergence are all equivalent notions. This general correspondence is exemplified in the study of products. We prove that a product is Lindelöf if and only if all subproducts by factors are Lindelöf. Parallel results are obtained for final -compactness, -compactness, the Menger and the Rothberger properties.
Download Results (CSV)