Turn on thread page Beta
    • Thread Starter
    Offline

    15
    ReputationRep:
    Q9 - http://www.dpmms.cam.ac.uk/site2002/...ogic2010-1.pdf

    I'm not asking for an answer, rather how is that true?

    for example, why can we not have valuations v_n that are zero except for v_n (t_n) = 1 ?

    then certainly the n cannot be bounded by N, since v_(N+1) would be zero on all of {t_1, ..., t_N}...
    Offline

    1
    ReputationRep:
    (Original post by Chewwy)
    Q9 - http://www.dpmms.cam.ac.uk/site2002/...ogic2010-1.pdf

    I'm not asking for an answer, rather how is that true?

    for example, why can we not have valuations v_n that are zero except for v_n (t_n) = 1 ?

    then certainly the n cannot be bounded by N, since v_(N+1) would be zero on all of {t_1, ..., t_N}...
    It follows quickly from noting that V_n is 0 E R
    moreover the bijection of the above can cause subjection by making an inspection on the assumption that the above can cause an inflammation which can cause rejection from a interjection
    • Wiki Support Team
    Offline

    14
    ReputationRep:
    Wiki Support Team
    You haven't read the question properly. For every valuation v we must have one of these t_n being true. This puts a restriction on t_n.
    • Wiki Support Team
    Offline

    14
    ReputationRep:
    Wiki Support Team
    Here's a hint, but it might be nonsense, because I haven't thought about the question much...

    Spoiler:
    Show
    Try and build a valuation v with v(t_i) = 0 for all i recursively: if possible, set v(t_1) = 0 (if not, stop, you're done). Then, if possible, set v(t_2) = 0, etc. At some point this must fail, i.e. if v(t_i) = 0 for all 1 <= i <= k-1, we must have v(t_k) = 1. Then...
 
 
 
Reply
Submit reply
Turn on thread page Beta
Updated: January 31, 2010

University open days

  1. University of Bradford
    University-wide Postgraduate
    Wed, 25 Jul '18
  2. University of Buckingham
    Psychology Taster Tutorial Undergraduate
    Wed, 25 Jul '18
  3. Bournemouth University
    Clearing Campus Visit Undergraduate
    Wed, 1 Aug '18
Poll
How are you feeling in the run-up to Results Day 2018?
Useful resources

Make your revision easier

Maths

Maths Forum posting guidelines

Not sure where to post? Read the updated guidelines here

Equations

How to use LaTex

Writing equations the easy way

Student revising

Study habits of A* students

Top tips from students who have already aced their exams

Study Planner

Create your own Study Planner

Never miss a deadline again

Polling station sign

Thinking about a maths degree?

Chat with other maths applicants

Can you help? Study help unanswered threads

Groups associated with this forum:

View associated groups

The Student Room, Get Revising and Marked by Teachers are trading names of The Student Room Group Ltd.

Register Number: 04666380 (England and Wales), VAT No. 806 8067 22 Registered Office: International House, Queens Road, Brighton, BN1 3XE

Write a reply...
Reply
Hide
Reputation gems: You get these gems as you gain rep from other members for making good contributions and giving helpful advice.