Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02793738n
Noun Concept
Categories: Large cardinals, Mathematical logic
EN
equiconsistency  consistency strength  equiconsistent
EN
In mathematical logic, two theories are equiconsistent if the consistency of one theory implies the consistency of the other theory, and vice versa. Wikipedia
Definitions
Sources
EN
In mathematical logic, two theories are equiconsistent if the consistency of one theory implies the consistency of the other theory, and vice versa. Wikipedia
Being equally consistent Wikidata
Wikipedia
EN
equiconsistency
Wikidata
EN
Equiconsistency
Wikipedia Redirections
EN
consistency strength, equiconsistent

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License