Pages
Home
Monday, May 30, 2011
Henkin sentences
A Henkin Sentence proves it own provability. I can not seem to find some good examples though.
[
http://www3.law.columbia.edu/hrlr/hrlr_journal/42.1/Rosenblum.pdf
]
[
http://www.jstor.org/pss/2273791
]
[
http://phil.gu.se/logic/uppsatser/blanck_logd.pdf
]
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment