Live briefing
Everything about Equiconsistency
Being equally consistent
In mathematical logic, two theories are equiconsistent if the consistency of one theory implies the consistency of the other theory, and vice versa. In this case, they are, roughly speaking, "as consistent as each other". Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: EquiconsistencyA 5-minute orientation
- Skim a recent paper: An equiconsistency proof for CZF + V = LInfluential work since 2022
- Read the landmark paper: Some exact equiconsistency results in set theory.Cited 82 times
- Go sideways: Large cardinalA closely related topic
- Go sideways: Zermelo–Fraenkel set theoryA closely related topic
đź“– Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Some exact equiconsistency results in set theory.
Martin's axioms, measurability and equiconsistency results
Exact equiconsistency results for ? 3 1 -sets of reals
AN EQUICONSISTENCY RESULT ON PARTIAL SQUARES
Some applications of Sargsyan's equiconsistency method
An equiconsistency for universal indestructibility
Equiconsistency of the Minimalist Foundation with its classical version
Notes on the Equiconsistency of ZFC Without the Power Set Axiom and Second-Order Arithmetic
🆕 Influential since 2022
đź“š Books worth reading
Open Library didn't respond; try again in a moment.
đź”— Related topics
- Large cardinal In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers. Cardinals with such properties…
- Zermelo–Fraenkel set theory In set theory, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in…
- Consistency In deductive logic, a consistent theory is one that does not lead to a logical contradiction. A theory T is consistent if there is no formula φ such that…
- Axiom of constructibility The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible. The axiom is usually written…
- List of statements independent of ZFC The mathematical statements discussed below are provably independent of ZFC (the canonical axiomatic set theory of contemporary mathematics, consisting…
- New Foundations In mathematical logic, New Foundations (NF) is a non-well-founded, finitely axiomatizable set theory conceived by Willard Van Orman Quine as a simplification…
- Gödel's incompleteness theorems Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of provability in formal axiomatic theories.…
- Gödel's completeness theorem Gödel's completeness theorem is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability…