Conversion of Set Theory Problems to other fields

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
Sign up Log in
2 replies · 2K views
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?
 

Discussion

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

Find g: Solving a Set Theory Problem

  • FallArk
  • · Replies 7 ·
  • Set Theory, Logic, Probability, Statistics
Replies
7

Graduate Simple set theory problem - definition of a J-Tuple

  • Math Amateur
  • · Replies 3 ·
  • Set Theory, Logic, Probability, Statistics
Replies
3

Set theory problems from Hrbacek, Jech

  • Syrus
  • · Replies 8 ·
  • Calculus and Beyond Homework Help
Replies
8

Set Theory Problems: S1 U S2 = (S1' ∩ S2')' and S1 U S2 - (S1 ∩ S2') = S2

  • sbc824
  • · Replies 3 ·
  • Calculus and Beyond Homework Help
Replies
3

What is a proof of set theory problems?

  • congtongsat
  • · Replies 1 ·
  • Calculus and Beyond Homework Help
Replies
1

Is the Distributive Property Applicable in this Set Theory Problem?

  • nicnicman
  • · Replies 2 ·
  • Calculus and Beyond Homework Help
Replies
2

Solve Set Theory Problem: 30 People, 7 Black Hair, 24 Right Handed

  • Ascleipus
  • · Replies 3 ·
  • Precalculus Mathematics Homework Help
Replies
3

Set Theory Problem Involving Partitions

  • hmb
  • · Replies 7 ·
  • Calculus and Beyond Homework Help
Replies
7

Set Theory Problem: equality of functions

  • hmb
  • · Replies 2 ·
  • Calculus and Beyond Homework Help
Replies
2

Graduate How Does Knot Theory Connect with Other Fields and Real-World Applications?

  • modnarandom
  • · Replies 1 ·
  • Topology and Analysis
Replies
1