Existential Theory: Understanding Last Proposition

  • Context:
  • Thread starter Thread starter mathmari
  • Start date Start date
  • Tags Tags
    Theory
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
Sign up Log in
1 reply · 1K views
mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! :o

I am reading the following lemma about (positive) existential theory:

View attachment 4535

Could you explain to me the last proposition?

Why does this hold?
 

Attachments

  • lemma16.PNG
    lemma16.PNG
    14.4 KB · Views: 120

Discussion

Physics news on Phys.org

Similar threads

Undergrad (Elementary number theory) Understanding congruence and modulus

  • Leo Liu
  • · Replies 9 ·
  • General Math
Replies
9

Algorithm to answer existential questions - Reduction

  • mathmari
  • · Replies 1 ·
  • Set Theory, Logic, Probability, Statistics
Replies
1

Probability theory: Understanding some steps

  • WWCY
  • · Replies 6 ·
  • Calculus and Beyond Homework Help
Replies
6

Automata theory: understanding different automata

  • Avichal
  • · Replies 3 ·
  • Programming and Computer Science
Replies
3

Does group theory help with particle physics for a nuclear physics degree?

  • Spinalcold
  • · Replies 5 ·
  • STEM Academic Advising
Replies
5

Visualizing MO Theory: Understanding 2D Diagrams and Bonding MOs

  • ampakine
  • · Replies 7 ·
  • Chemistry
Replies
7

Undergrad Nebular Theory: Understanding Flattening Process

  • Trinitiet
  • · Replies 6 ·
  • Astronomy, Astrophysics, Cosmology
Replies
6

Graduate When can massless particle physics be derived from the m→0 limit?

  • muppet
  • · Replies 1 ·
  • Quantum Physics
Replies
1

Quantum Field Theory: Understanding Path Integrals and Limit Trick

  • latentcorpse
  • · Replies 42 ·
  • Advanced Physics Homework Help
2
Replies
42

Graduate String Theory: Understanding Superstring Theory and Its Location

  • redhedkangaro
  • · Replies 4 ·
  • Beyond the Standard Models
Replies
4