MHB Existential Theory: Understanding Last Proposition

  • Thread starter Thread starter mathmari
  • Start date Start date
  • Tags Tags
    Theory
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: 88
Physics news on Phys.org
Back
Top