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

Equiconsistency and Robert M. Solovay

Shortcuts: Differences, Similarities, Jaccard Similarity Coefficient, References.

Difference between Equiconsistency and Robert M. Solovay

Equiconsistency vs. Robert M. Solovay

In mathematical logic, two theories are equiconsistent if the consistency of one theory implies the consistency of the other theory, and vice versa. Robert Martin Solovay (born December 15, 1938) is an American mathematician specializing in set theory.

Similarities between Equiconsistency and Robert M. Solovay

Equiconsistency and Robert M. Solovay have 4 things in common (in Unionpedia): Inaccessible cardinal, Peano axioms, Set theory, Zermelo–Fraenkel set theory.

Inaccessible cardinal

In set theory, an uncountable cardinal is inaccessible if it cannot be obtained from smaller cardinals by the usual operations of cardinal arithmetic.

Equiconsistency and Inaccessible cardinal · Inaccessible cardinal and Robert M. Solovay · See more »

Peano axioms

In mathematical logic, the Peano axioms, also known as the Dedekind–Peano axioms or the Peano postulates, are axioms for the natural numbers presented by the 19th century Italian mathematician Giuseppe Peano.

Equiconsistency and Peano axioms · Peano axioms and Robert M. Solovay · See more »

Set theory

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

Equiconsistency and Set theory · Robert M. Solovay and 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.

Equiconsistency and Zermelo–Fraenkel set theory · Robert M. Solovay and Zermelo–Fraenkel set theory · See more »

The list above answers the following questions

Equiconsistency and Robert M. Solovay Comparison

Equiconsistency has 29 relations, while Robert M. Solovay has 42. As they have in common 4, the Jaccard index is 5.63% = 4 / (29 + 42).

References

This article shows the relationship between Equiconsistency and Robert M. Solovay. To access each article from which the information was extracted, please visit:

Hey! We are on Facebook now! »