Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Free
Faster access than browser!
 

Suslin's problem

Index Suslin's problem

In mathematics, Suslin's problem is a question about totally ordered sets posed by and published posthumously. [1]

39 relations: AD+, Antichain, Axiom of constructibility, Axiom of determinacy, Axiomatic system, Completeness (order theory), Continuum hypothesis, Countable chain condition, Countable set, Dense order, Diamond principle, Disjoint sets, Empty set, Forcing (mathematics), Georg Cantor, Greatest and least elements, Independence (mathematical logic), Infimum and supremum, Inner model, Interval (mathematics), Limit cardinal, List of statements independent of ZFC, Martin's axiom, Mathematics, Order isomorphism, Order topology, Real line, Regular cardinal, Ronald Jensen, Separable space, Set theory, Square principle, Successor cardinal, Superstrong cardinal, Suslin algebra, Suslin tree, Total order, Tree (set theory), Zermelo–Fraenkel set theory.

AD+

In set theory, AD+ is an extension, proposed by W. Hugh Woodin, to the axiom of determinacy.

New!!: Suslin's problem and AD+ · See more »

Antichain

In mathematics, in the area of order theory, an antichain is a subset of a partially ordered set such that any two distinct elements in the subset are incomparable.

New!!: Suslin's problem and Antichain · See more »

Axiom of constructibility

The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible.

New!!: Suslin's problem and Axiom of constructibility · See more »

Axiom of determinacy

In mathematics, the axiom of determinacy (abbreviated as AD) is a possible axiom for set theory introduced by Jan Mycielski and Hugo Steinhaus in 1962.

New!!: Suslin's problem and Axiom of determinacy · See more »

Axiomatic system

In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems.

New!!: Suslin's problem and Axiomatic system · See more »

Completeness (order theory)

In the mathematical area of order theory, completeness properties assert the existence of certain infima or suprema of a given partially ordered set (poset).

New!!: Suslin's problem and Completeness (order theory) · See more »

Continuum hypothesis

In mathematics, the continuum hypothesis (abbreviated CH) is a hypothesis about the possible sizes of infinite sets.

New!!: Suslin's problem and Continuum hypothesis · See more »

Countable chain condition

In order theory, a partially ordered set X is said to satisfy the countable chain condition, or to be ccc, if every strong antichain in X is countable.

New!!: Suslin's problem and Countable chain condition · See more »

Countable set

In mathematics, a countable set is a set with the same cardinality (number of elements) as some subset of the set of natural numbers.

New!!: Suslin's problem and Countable set · See more »

Dense order

In mathematics, a partial order or total order.

New!!: Suslin's problem and Dense order · See more »

Diamond principle

In mathematics, and particularly in axiomatic set theory, the diamond principle is a combinatorial principle introduced by Ronald Jensen in that holds in the constructible universe and that implies the continuum hypothesis.

New!!: Suslin's problem and Diamond principle · See more »

Disjoint sets

In mathematics, two sets are said to be disjoint sets if they have no element in common.

New!!: Suslin's problem and Disjoint sets · See more »

Empty set

In mathematics, and more specifically set theory, the empty set or null set is the unique set having no elements; its size or cardinality (count of elements in a set) is zero.

New!!: Suslin's problem and Empty set · See more »

Forcing (mathematics)

In the mathematical discipline of set theory, forcing is a technique for proving consistency and independence results.

New!!: Suslin's problem and Forcing (mathematics) · See more »

Georg Cantor

Georg Ferdinand Ludwig Philipp Cantor (– January 6, 1918) was a German mathematician.

New!!: Suslin's problem and Georg Cantor · See more »

Greatest and least elements

In mathematics, especially in order theory, the greatest element of a subset S of a partially ordered set (poset) is an element of S that is greater than every other element of S. The term least element is defined dually, that is, it is an element of S that is smaller than every other element of S. Formally, given a partially ordered set (P, ≤), an element g of a subset S of P is the greatest element of S if Hence, the greatest element of S is an upper bound of S that is contained within this subset.

New!!: Suslin's problem and Greatest and least elements · See more »

Independence (mathematical logic)

In mathematical logic, independence refers to the unprovability of a sentence from other sentences.

New!!: Suslin's problem and Independence (mathematical logic) · See more »

Infimum and supremum

In mathematics, the infimum (abbreviated inf; plural infima) of a subset S of a partially ordered set T is the greatest element in T that is less than or equal to all elements of S, if such an element exists.

New!!: Suslin's problem and Infimum and supremum · See more »

Inner model

In set theory, a branch of mathematical logic, an inner model for a theory T is a substructure of a model M of a set theory that is both a model for T and contains all the ordinals of M.

New!!: Suslin's problem and Inner model · See more »

Interval (mathematics)

In mathematics, a (real) interval is a set of real numbers with the property that any number that lies between two numbers in the set is also included in the set.

New!!: Suslin's problem and Interval (mathematics) · See more »

Limit cardinal

In mathematics, limit cardinals are certain cardinal numbers.

New!!: Suslin's problem and Limit cardinal · See more »

List of statements independent of ZFC

The mathematical statements discussed below are independent of ZFC (the Zermelo–Fraenkel axioms plus the axiom of choice, the canonical axiomatic set theory of contemporary mathematics), assuming that ZFC is consistent.

New!!: Suslin's problem and List of statements independent of ZFC · See more »

Martin's axiom

In the mathematical field of set theory, Martin's axiom, introduced by, is a statement that is independent of the usual axioms of ZFC set theory.

New!!: Suslin's problem and Martin's axiom · See more »

Mathematics

Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.

New!!: Suslin's problem and Mathematics · See more »

Order isomorphism

In the mathematical field of order theory an order isomorphism is a special kind of monotone function that constitutes a suitable notion of isomorphism for partially ordered sets (posets).

New!!: Suslin's problem and Order isomorphism · See more »

Order topology

In mathematics, an order topology is a certain topology that can be defined on any totally ordered set.

New!!: Suslin's problem and Order topology · See more »

Real line

In mathematics, the real line, or real number line is the line whose points are the real numbers.

New!!: Suslin's problem and Real line · See more »

Regular cardinal

In set theory, a regular cardinal is a cardinal number that is equal to its own cofinality.

New!!: Suslin's problem and Regular cardinal · See more »

Ronald Jensen

Ronald Björn Jensen (born April 1, 1936) is an American mathematician active in Europe, primarily known for his work in mathematical logic and set theory.

New!!: Suslin's problem and Ronald Jensen · See more »

Separable space

In mathematics, a topological space is called separable if it contains a countable, dense subset; that is, there exists a sequence \_^ of elements of the space such that every nonempty open subset of the space contains at least one element of the sequence.

New!!: Suslin's problem and Separable space · See more »

Set theory

Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.

New!!: Suslin's problem and Set theory · See more »

Square principle

In mathematical set theory, the global square principle is a combinatorial principle introduced by Ronald Jensen in his analysis of the fine structure of the constructible universe L.

New!!: Suslin's problem and Square principle · See more »

Successor cardinal

In the theory of cardinal numbers, we can define a successor operation similar to that in the ordinal numbers.

New!!: Suslin's problem and Successor cardinal · See more »

Superstrong cardinal

In mathematics, a cardinal number κ is called superstrong if and only if there exists an elementary embedding j: V → M from V into a transitive inner model M with critical point κ and V_ ⊆ M. Similarly, a cardinal κ is n-superstrong if and only if there exists an elementary embedding j: V → M from V into a transitive inner model M with critical point κ and V_ ⊆ M. Akihiro Kanamori has shown that the consistency strength of an n+1-superstrong cardinal exceeds that of an n-huge cardinal for each n > 0.

New!!: Suslin's problem and Superstrong cardinal · See more »

Suslin algebra

In mathematics, a Suslin algebra is a Boolean algebra that is complete, atomless, countably distributive, and satisfies the countable chain condition.

New!!: Suslin's problem and Suslin algebra · See more »

Suslin tree

In mathematics, a Suslin tree is a tree of height ω1 such that every branch and every antichain is at most countable.

New!!: Suslin's problem and Suslin tree · See more »

Total order

In mathematics, a linear order, total order, simple order, or (non-strict) ordering is a binary relation on some set X, which is antisymmetric, transitive, and a connex relation.

New!!: Suslin's problem and Total order · See more »

Tree (set theory)

In set theory, a tree is a partially ordered set (T, \omega + 1.

New!!: Suslin's problem and Tree (set theory) · See more »

Zermelo–Fraenkel set theory

In mathematics, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as Russell's paradox.

New!!: Suslin's problem and Zermelo–Fraenkel set theory · See more »

Redirects here:

Souslin conjecture, Souslin hypothesis, Souslin line, Souslin's hypothesis, Souslin's problem, Suslin Hypothesis, Suslin conjecture, Suslin hypothesis, Suslin line, Suslin problem, Suslin property, Suslin's hypothesis.

References

[1] https://en.wikipedia.org/wiki/Suslin's_problem

OutgoingIncoming
Hey! We are on Facebook now! »