• 検索結果がありません。

Prime Ideal Theorems and systems of nite character

N/A
N/A
Info
ダウンロード
Protected

Academic year: 2022

シェア "Prime Ideal Theorems and systems of nite character"

Copied!
1
0
0

読み込み中.... (全文を見る)

今ダウンロードする ( 1 ページ )

全文

(1)

Marcel Ern´ e

Prime Ideal Theorems and systems of nite character

Comment.Math.Univ.Carolinae 38,3 (1997) 513-536.

Abstract: We study several choice principles for systems of finite character and prove their equivalence to the Prime Ideal Theorem in ZF set theory without Axiom of Choice, among them the Intersection Lemma (stating that if S is a system of finite character then so is the system of all collections of finite subsets of S

S

meeting a common member of S), the Finite Cutset Lemma (a finitary version of the Teichm¨uller-Tukey Lemma), and various compactness theorems. Several implications between these statements remain valid in ZF even if the underlying set is fixed. Some fundamental algebraic and order-theoretical facts like the Artin- Schreier Theorem on the orderability of real fields, the Erd¨os-De Bruijn Theorem on the colorability of infinite graphs, and Dilworth’s Theorem on chain-decompositions for posets of finite width, are easy consequences of the Intersection Lemma or of the Finite Cutset Lemma.

Keywords: axiom of choice, compact, consistent, prime ideal, system of finite character, subbase

AMS Subject Classification: 03E25, 13B25, 13B30

1

参照

今ダウンロードする ( PDF - 1 ページ - 46.80 KB )

関連したドキュメント

3. Proof of the Main Theorem

The proof uses simultaneously the theory of minimal Quillen models of a space in the category of Lie differential graded algebras and the theory of minimal Sullivan models of a space

3 Proof of the Theorem 1

For a class of reversible PCA dynamics on {−1, +1} Z d , with a naturally associated Gibbsian potential ϕ , we prove that a (spatial-) weak mixing condition (WM) for ϕ implies

The fundamental theorem of dynamical systems

One description of the Conley Decomposition Theorem is that the elemental piece of a Dynamical System, the space on which the dynamics take place, can be decomposed uniquely into

3 Proof of the Main Theorem

For example, a maximal embedded collection of tori in an irreducible manifold is complete as each of the component manifolds is indecomposable (any additional surface would have to

On some remarkable properties of the

In this paper, we are going to show that this is impossible and that H (without any shift) is the worst distributed net of all the digital (0, m, 2)-nets over Z 2 that are

2 Proof of the main Theorem

In this paper, we study the uniform stability of mutidimensional planar travelling waves for the nonlocal Allen-Cahn equationc.

4 Proof of the main theorem

The limiting distribution µ of the normalized number of key comparisons required by the Quicksort sorting algorithm is known to be the unique fixed point of a certain

2 Idea of the proof of the theorem

The measure σ p,n of Theorem 1 assigns to measurable subsets of S p,n (1) their Minkowski surface area, an intrinsic area in that it depends on geodesic distances on the surface..