Some Remarks on Set Theory
1. Der Verf. bestimmt für jedes natürliche \(n\) die Maximalanzahl \(f(n)\) verschiedener Ordinalzahlen, die man durch beliebige Addition von \(n\) Ordinalzahlen erhalten kann: \(f(n)= \max_{k\leq n-1} [(k^{2k-1} +1) f(n-k)].\) 2. Es sei \(X\) eine Menge und \(m\) ihre Mächtigkeit. Zwei Mengen \({\mathfrak A}\) und \({\mathfrak B}\) von Teilmengen \(A\) und \(B\) von \(X\) heißen \(k\)-orthogonal, wenn für \(A \in {\mathfrak A}\) und \(B \in {\mathfrak B}\) die Mächtigkeit des Durchschnittes \(A \cap B\) stets kleiner als \(\aleph_k\) ist; \({\mathfrak A}\) und \({\mathfrak B}\) heißen vollständig \(k\)-orthogonal, wenn \({\mathfrak A}\) und \({\mathfrak B}\) \(k\)-orthogonal sind, zu \({\mathfrak A}\) oder \({\mathfrak B}\) jedoch keine Mengen \(\subseteq X\) hinzugefügt werden können, ohne die \(k\)-Orthogonalität zu zerstören. Der Verf. zeigt, daß die Kardinalzahl der vollständig \(k\)-orthogonalen Paare \({\mathfrak A},{\mathfrak B}\) gleich \(2^{m\aleph_k}\) ist (der Beweis verwendet die verallgemeinerte Kontinuumshyposthese \(2^{\aleph_k} = \aleph_{k+1}\)). 3. Der Verf. zeigt: Jede unendliche Teilmenge des \(k\)-dimensionalen Euklidischen Raumes enthält eine Teilmenge \(M\) gleicher Mächtigkeit derart, daß keine zwei Punktepaare aus \(M\) gleiche Abstände haben. 4. Es sei \(G\) ein Graph der Ordnung \(m\) (unendliche Kardinalzahl), d. h. jeder Eckpunkt von \(G\) sei Endpunkt von \(m\) Strecken. Jeder Eckpunkt sei mit \(m\) verschiedenen Eckpunkten durch Strecken verbunden. Der Verf. zeigt, daß dann \(G\) das Produkt von Linearfaktoren ist (d.h. von Teilgraphen der Ordnung 1 mit denselben Ecken wie \(G\)). 5. Es sei \(S\) eine Menge und \(m\) ihre Mächtigkeit. Jedem \(a \in S\) sei eine Menge \(f(a)\subseteq S\) mit \(a \not\in f(a)\) zugeordnet. \(a \in S\) und \(b\in S\) heißen unabhängig, wenn \(a \not\in f(b)\) und \(b \not\in f(a)\). \(S' \subseteq S\) heißt unabhängig, wenn je zwei Elemente aus \(S'\) unabhängig sind oder der Durchschnitt \(S' \cap f(S)\) leer ist. Der Verf. zeigt: Ist \(n\) eine Kardinalzahl \( < m\) und hat jedes \(f(a)\) eine Mächtigkeit \(<n\), so existiert eine unabhängige Menge \(S' \subseteq S\) mit der Mächtigkeit \(m\) (der Beweis benutzt die verallgemeinerte Kontinuumshypothese). 7. Der Verf. zeigt, daß es für jedes natürliche \(k\) eine Hamel-Basis \((a_1,a_2,...)\) gibt derart, daß \(H_k\) das Maß 0 hat und \(H_{k+1}\) nicht meßbar ist (\(H_k\) ist die Menge aller \(\sum_{r=1}^k c_ra_r\) mit rationalen \(c_r\)).
- On distinct distances among points in general position and other related problems
- On Fodor's theorem: A topological version
- On some metric and combinatorial geometric problems
- Infinite combinatorics and definability
- Weak commutativity of scattered summation of linear orders
- Forcings with ideals and simple forcing notions
- Large ideals on small cardinals
- A very strong set theory?
- Distinct volume subsets via indiscernibles
- Some notices on genuine sets
- A tale of two set theories
- Families of sets not belonging to algebras and combinatorics of finite sets of ultrafilters
- On a problem of Erdős, Hajnal and Rado
- Kritische Zahlen und bestimmt divergente transfinite Funktionen
- Some remarks on set theory. III
- scientific article; zbMATH DE number 6101280 (Why is no real title available?)
- Internal set theory: A new approach to nonstandard analysis
- scientific article; zbMATH DE number 1221836 (Why is no real title available?)
- Notes on Inconsistent Set Theory
- Computing planarity in computable planar graphs
- scientific article; zbMATH DE number 7568205 (Why is no real title available?)
- Rosenthal families, pavings, and generic cardinal invariants
- Distinct volume subsets
- Some results in graph theory and their application to abstract relational biology
- Inscribing nonmeasurable sets
- Limitations on representing \(\mathcal{P}(X)\) as a union of proper subalgebras
- Ordinal Sum-Sets
- Distance Sets in Metric Spaces
- Remarks on the theory of quasi-sets
- The Erdős-Hajnal problem list
- Some remarks on set theory. VIII
- On Rado's boundedness conjecture
This page was built for publication: Some Remarks on Set Theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5798136)