Back to Results
First PageMeta Content
Philosophical logic / Propositional calculus / Boolean algebra / Metalogic / Intuitionistic logic / Kripke semantics / Saul Kripke / Negation / Entailment / Logic / Mathematical logic / Model theory


Forcing in proof theory∗ Jeremy Avigad November 3, 2004 Abstract Paul Cohen’s method of forcing, together with Saul Kripke’s related
Add to Reading List

Document Date: 2014-05-28 20:12:31

Open Document

File Size: 258,95 KB

Share Result on Facebook

IndustryTerm

proof-theoretic applications / sample applications / online version / perspective different deductive systems / formal deductive systems / search methods / /

Organization

National Science Foundation / /

Person

Jeremy Avigad / Saul Kripke / Paul Cohen / /

Position

model / /

SocialTag