title

The Proof Theory Blog – ⊢ ∃x (D(x) → ∀yD(y))

charset

UTF-8

viewport

width=device-width, initial-scale=1

robots

max-image-preview:large

msapplication-TileImage

https://prooftheory.blog/wp-content/uploads/2020/05/cropped-vdash-background512-1-270x270.png

EditURI

https://prooftheory.blog/xmlrpc.php?rsd

alternate

https://prooftheory.blog/feed/

alternate

https://prooftheory.blog/comments/feed/

apple-touch-icon

https://prooftheory.blog/wp-content/uploads/2020/05/cropped-vdash-background512-1-180x180.png

dns-prefetch

//fonts.googleapis.com