Skip to main content
5 events
when toggle format what by license comment
Jan 16, 2010 at 17:38 comment added François G. Dorais It's a good question, but difficult to answer as I illustrated. I guess the main point to retain is that "meta" usually means the first type, where the requirements are essentially just basic arithmetic. This is not always how things are actually done, but there is often a (somewhat impractical) way to do it using just basic arithmetic, as illustrated by the forcing example.
Jan 16, 2010 at 5:30 comment added Zev Chonoles Thanks for your thorough response! I'm afraid my knowledge of logic and set theory was just barely enough to ask a good question, but unfortunately is not yet at the point where I can fully understand your answer :) I'll hit the books (and Wikipedia) and hopefully I will soon be able to appreciate it.
Jan 15, 2010 at 3:43 vote accept Zev Chonoles
Jan 14, 2010 at 16:00 history edited François G. Dorais CC BY-SA 2.5
typos and other fuss
Jan 14, 2010 at 14:50 history answered François G. Dorais CC BY-SA 2.5