搜索结果: 1-11 共查到“理学 UNCOUNTABLE”相关记录11条 . 查询时间(0.885 秒)
The rise and fall of uncountable models.
ω-stable theories: Do uncountable languages matter?
ω-stable theories uncountable languages matter
2015/9/25
ω-stable theories: Do uncountable languages matter?
Descriptive set theory and uncountable model theory
Descriptive set theory uncountable model theory
2015/9/25
In the early days of the development of model theory it was considered
natural and was certainly beneficial to assume that the theories under investigation
were in a countable language. The primary ...
Let T be a complete, first-order theory in a finite or countable
language having infinite models. Let I(T, κ) be the number of isomorphism
types of models of T of cardinality κ. We denote by µ...
Open colorings,the continuum and the second uncountable cardinal
Open colorings the continuum second uncountable cardinal
2015/8/17
The purpose of this article is to analyze the cardinality of the continuum using Ramsey theoretic statements about open colorings or “open coloring axioms.” In particular I will show that the conjunct...
PROPER FORCING,CARDINAL ARITHMETIC,AND UNCOUNTABLE LINEAR ORDERS
PROPER FORCING CARDINAL ARITHMETIC UNCOUNTABLE LINEAR ORDERS
2015/8/17
In this paper I will communicate some new consequences of the Proper Forcing Axiom. First, the Bounded Proper Forcing Axiom implies that there is a well ordering of R which is Σ1-definable in (H(ω2), ...
A FIVE ELEMENT BASIS FOR THE UNCOUNTABLE LINEAR ORDERS
FIVE ELEMENT BASIS UNCOUNTABLE LINEAR ORDERS
2015/8/17
In this paper I will show that it is relatively consistent with the usual axioms of mathematics (ZFC) together with a strong form of the axiom of infinity (the existence of a supercompact cardinal) th...
ω1 and −ω1 May Be the Only Minimal Uncountable Linear Orders
ω1 and − ω1 May Only Minimal Uncountable Linear Orders
2015/8/17
In 1971 Laver proved the following result, confirming a long-standing conjecture of Fraïssé. Theorem 1.1 [10]. If Li (i < ω) is a sequence of σ-scattered linear orders, then there exist i < j suc...
THE UTILITY OF THE UNCOUNTABLE
UTILITY UNCOUNTABLE
2015/8/17
In my lecture at the 2011 Congress on Logic, Methodology, and the Philosophy of Science in Nancy, France, I spoke on an additional axiom of set theory—the Proper Forcing Axiom—which has proved very su...
More Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures
Dynamical Systems
2012/4/17
In this paper, we compute universal minimal flows of groups of automorphisms of uncountable $\omega$-homogeneous graphs, $K_n$-free graphs, hypergraphs, partially ordered sets, and their extensions wi...
Subgroups of isometries of Urysohn-Katetov metric spaces of uncountable density
Subgroups of isometries of Urysohn-Katetov metric uncountable density
2011/1/18
According to Katˇetov (1988), for every infinite cardinal m satisfying m n ≤ m for all
n < m, there exists a unique m-homogeneous universal metric space Um of weight m.