Conversion of Set Theory Problems to other fields

Click For Summary
SUMMARY

The discussion centers on the conversion of set theory problems, specifically the consistency and independence of axioms, to other fields such as algebra. It is established that Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC) combined with any large cardinal axiom is sufficient to prove the consistency of ZFC. Participants express interest in exploring this relationship further.

PREREQUISITES
  • Understanding of Zermelo-Fraenkel set theory (ZFC)
  • Familiarity with large cardinal axioms
  • Basic knowledge of algebraic structures
  • Concepts of mathematical proofs and consistency
NEXT STEPS
  • Research the implications of large cardinal axioms in set theory
  • Study the relationship between set theory and algebraic structures
  • Explore methods for proving consistency in mathematical theories
  • Investigate the role of ZFC in modern mathematical logic
USEFUL FOR

Mathematicians, logicians, and students of mathematical foundations interested in the interplay between set theory and algebra, as well as those studying the consistency of mathematical axioms.

phoenixthoth
Messages
1,600
Reaction score
2
Is there a way to prove axioms are consistent and/or independent by converting the problem of consistency/independence to another field, such as algebra?
 
Physics news on Phys.org
Sure.

You don't even have to go to other fields -- e.g. ZFC + any large cardinal axiom is strong enough to prove ZFC consistent.
 
Thanks, I'll look into that. :biggrin:
 

Similar threads

Graduate On soundness and completeness of ZFC set theory
  • · Replies 6 ·
Replies
6
Views
2K
Graduate First order logic and set theory: who comes first?
  • · Replies 2 ·
Replies
2
Views
3K
Graduate Formal axiom systems and the finite/infinite sets
  • · Replies 10 ·
Replies
10
Views
2K
Graduate Defining the membership relation in set theory?
  • · Replies 14 ·
Replies
14
Views
6K
Undergrad Countability of binary Strings
  • · Replies 18 ·
Replies
18
Views
4K
Undergrad Quine's New Foundations and the concept of a Universal Set
  • · Replies 6 ·
Replies
6
Views
3K
Graduate Concrete examples of randomness in math vs. probability theory
  • · Replies 11 ·
Replies
11
Views
3K
Undergrad May I use set theory to define the number of solutions of polynomials?
  • · Replies 13 ·
Replies
13
Views
3K
Graduate Maybe it is not necessary to define set membership?
  • · Replies 13 ·
Replies
13
Views
2K
Graduate Are Type Theory and Category Theory Viable Alternatives to Set Theory?
  • · Replies 3 ·
Replies
3
Views
1K