{"title":"Blacklight Inspection","page_title":"XOR’s Hammer – Some things in mathematical logic that I find interesting","uri_ins":"http://xorshammer.com/","uri_dest":"https://xorshammer.com/","uri_redirects":["http://xorshammer.com/"],"secure_connection":{},"host":"xorshammer.com","config":{"emulateDevice":{"name":"Pixel 5","userAgent":"Mozilla/5.0 (Linux; Android 11; Pixel 5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/99.0.4812.0 Mobile Safari/537.36","viewport":{"width":393,"height":851,"deviceScaleFactor":3,"isMobile":true,"hasTouch":true,"isLandscape":false}},"cleareCache":true,"captureHar":true,"captureLinks":false,"enableAdBlock":false,"saveBrowserProfile":false,"numPages":2,"defaultTimeout":35000,"defaultWaitUntil":"networkidle2","headless":true,"headers":{},"extraChromiumArgs":["--disable-features=TrackingProtection3pcd","--website-analysis-scan=95c346b3-4b3d-4a2f-9b3e-5258f078cb4e"],"extraPuppeteerOptions":{}},"browser":{"name":"Chromium","version":"Chrome/127.0.6533.88","user_agent":"Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) HeadlessChrome/127.0.0.0 Safari/537.36","platform":{"name":"Linux","version":"4.4.302+"}},"script":{"host":"f55531b6c604","version":{"npm":"3.11.0","commit":"dev"},"node_version":"v24.20.0"},"start_time":"2026-09-14T13:03:19.322Z","end_time":"2026-09-14T13:03:42.775Z","browsing_history":["https://xorshammer.com/","https://xorshammer.com/2008/08/29/lots-of-fun-math-papers/","https://xorshammer.com/2010/03/13/topology-and-first-order-modal-logic/"],"hosts":{"requests":{"first_party":["xorshammer.com"],"third_party":["fonts-api.wp.com","stats.wp.com","fonts.wp.com","pixel.wp.com","r-login.wordpress.com","s0.wp.com","widgets.wp.com","2.gravatar.com","0.gravatar.com","1.gravatar.com","public-api.wordpress.com"]}},"reports":{"behaviour_event_listeners":{"MOUSE":{"https://xorshammer.com/_static/??/wp-content/mu-plugins/jetpack-plugin/sun/_inc/build/related-posts/related-posts.min.js,/wp-content/js/rlt-proxy.js?m=1755011788j":["click"],"https://xorshammer.com/wp-content/mu-plugins/actionbar/actionbar.js?v=20250204":["scroll","click"],"https://xorshammer.com/_static/??-eJydUNtuwyAM/aERNlVd+jLtUyoXnMQJGIRNu/79ojSppk3a7c0+PhcO9pKNS6zIanXAiGJzPVkUV9UNmNiCCKrYUSzDmXpQStyM8mD/oJSJsgnEk+mSq2I6etssiF2oHheaSzHOdqZgDtcm0pecWE0OtSee6agZ3GRm6JJn4XqwUnm7Hc/IPhULVVMEVXJ31fq0U6Xg76C4QlmNB4VfBH/IO84lVi8HJVXBcKdtwA91YCKJqGbXPN7sNqArC9l/o90ibh/xaf13ExmgoAfvr8tI3K8VXuPLU3t4bnftYd+O72qO2Qg=":["scroll","mousemove","mouseup","mousedown"],"https://xorshammer.com/wp-content/js/bilmur.min.js?i=17&m=202635":["click"],"https://xorshammer.com/wp-content/mu-plugins/likes/queuehandler.js?m=1741961244i":["scroll","click"],"https://xorshammer.com/wp-content/mu-plugins/jetpack-mu-wpcom-plugin/moon/jetpack_vendor/automattic/jetpack-mu-wpcom/src/build/verbum-comments/verbum-comments.js?m=1788898305i&minify=false&ver=3d6130a57c3104d5bc3b":["click"],"https://xorshammer.com/_static/??/wp-content/mu-plugins/jetpack-plugin/moon/_inc/build/related-posts/related-posts.min.js,/wp-content/js/rlt-proxy.js?m=1788798821j":["click"],"https://xorshammer.com/_static/??-eJyVkNtOwzAMhl+I1EOIbVwgHmXyErd1m5NiZ2Nvv6grFRISgrvo93/4FLhmY1NUigo6UiCBXM9AYqvakVIEFCEVmAQiXnhA5RS7SZ7gH0mZORvPcTZ9slVMz59fFRytr44Wm00htDpTKPtbF/jHTqgm+zpwbHbSjHY2TbrmFlwPEFJbXo+nC0WXCmDVFFCV7RZb2c6VvdtEsYWzGoeKvyzjzBJIzUu3g1PD34S+LGb3B+rvsEvHA0RGLOTQudvy5Disv/AR3p8Px8Pb6+6430935TGjrg==":["scroll","mousemove","mouseup","mousedown"],"https://xorshammer.com/wp-content/js/bilmur.min.js?i=17&m=202638":["click"],"https://xorshammer.com/_static/??-eJyVj80OwjAMg1+ILtoQYhfEo6ASsi1bm1Yk5eft2WFDiBMcbdmfZbhnh0mMxCAWl0PpWRRGsuxxWjTElAROLAjnwuECLB0LGznFawph1c8qslSjbuCDagNFUsjlDKRYDAeaYV6VbN5REH/j3hunv5s6cXaBZXJdwqKu48c34vdL6K+pKIV3bjWWT8d4qPftrmm227odXySndHY=":["scroll"]},"TOUCH":{"https://xorshammer.com/_static/??-eJydUNtuwyAM/aERNlVd+jLtUyoXnMQJGIRNu/79ojSppk3a7c0+PhcO9pKNS6zIanXAiGJzPVkUV9UNmNiCCKrYUSzDmXpQStyM8mD/oJSJsgnEk+mSq2I6etssiF2oHheaSzHOdqZgDtcm0pecWE0OtSee6agZ3GRm6JJn4XqwUnm7Hc/IPhULVVMEVXJ31fq0U6Xg76C4QlmNB4VfBH/IO84lVi8HJVXBcKdtwA91YCKJqGbXPN7sNqArC9l/o90ibh/xaf13ExmgoAfvr8tI3K8VXuPLU3t4bnftYd+O72qO2Qg=":["touchend","touchstart","touchmove"],"https://xorshammer.com/_static/??-eJyVkNtOwzAMhl+I1EOIbVwgHmXyErd1m5NiZ2Nvv6grFRISgrvo93/4FLhmY1NUigo6UiCBXM9AYqvakVIEFCEVmAQiXnhA5RS7SZ7gH0mZORvPcTZ9slVMz59fFRytr44Wm00htDpTKPtbF/jHTqgm+zpwbHbSjHY2TbrmFlwPEFJbXo+nC0WXCmDVFFCV7RZb2c6VvdtEsYWzGoeKvyzjzBJIzUu3g1PD34S+LGb3B+rvsEvHA0RGLOTQudvy5Disv/AR3p8Px8Pb6+6430935TGjrg==":["touchend","touchstart","touchmove"]},"KEYBOARD":{"https://xorshammer.com/wp-content/js/bilmur.min.js?i=17&m=202635":["keydown"],"https://xorshammer.com/wp-content/js/bilmur.min.js?i=17&m=202638":["keydown"]}},"canvas_fingerprinters":{"data_url":{},"fingerprinters":[],"styles":{},"texts":{}},"canvas_font_fingerprinters":{"canvas_font":{},"text_measure":{}},"cookies":[{"domain":"xorshammer.com","name":"verbum_subscription_modal_counter_0","path":"/","script":"https://xorshammer.com/wp-content/mu-plugins/jetpack-mu-wpcom-plugin/moon/jetpack_vendor/automattic/jetpack-mu-wpcom/src/build/verbum-comments/verbum-comments.js?m=1788898305i&minify=false&ver=3d6130a57c3104d5bc3b","type":"js","value":"1","third_party":false},{"domain":"xorshammer.com","name":"verbum_test","path":"","script":"https://xorshammer.com/wp-content/mu-plugins/jetpack-mu-wpcom-plugin/moon/jetpack_vendor/automattic/jetpack-mu-wpcom/src/build/verbum-comments/verbum-comments.js?m=1788898305i&minify=false&ver=3d6130a57c3104d5bc3b","type":"js","value":"1","third_party":false}],"fb_pixel_events":[],"tiktok_pixel_events":[],"twitter_pixel_events":[],"google_analytics_events":[],"key_logging":{},"session_recorders":{},"third_party_trackers":[{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"crypt":"UE5tW3cvZGQtTnxyRGc1OHZoek10SmJSYnFmVUlqfmN6Z3JxfixlfkJBK0glajdXV09WYjZdbm1jP2cxU2JQUG83NGZbcTBvPSUyLkxaQnpmVjdBTXlmMU95YStHb3Q4YVRHWDBMTl8mT3ZxLk1wZSYmdE0rNmFpRjlvMVc3XV9JTVp4X1V0akhJLE50aWxEVUFRVFpzTDl3ZHVuU2puPWZmSEE2SF1Ybmk0SzhMZEVfZURVMi1+R2lzaU5ac0J4TGVTSiYxdTNzL3Z0TElMeGNDZD91NGdSYnBQR1l6fnJ1MHdfZWZlajg1XXBfNDVWdA==","rand":0.10710362600557555,"v":"wpcom-no-pv"}},"stack":[{"fileName":"https://xorshammer.com/2010/03/13/topology-and-first-order-modal-logic/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?crypt=UE5tW3cvZGQtTnxyRGc1OHZoek10SmJSYnFmVUlqfmN6Z3JxfixlfkJBK0glajdXV09WYjZdbm1jP2cxU2JQUG83NGZbcTBvPSUyLkxaQnpmVjdBTXlmMU95YStHb3Q4YVRHWDBMTl8mT3ZxLk1wZSYmdE0rNmFpRjlvMVc3XV9JTVp4X1V0akhJLE50aWxEVUFRVFpzTDl3ZHVuU2puPWZmSEE2SF1Ybmk0SzhMZEVfZURVMi1%2BR2lzaU5ac0J4TGVTSiYxdTNzL3Z0TElMeGNDZD91NGdSYnBQR1l6fnJ1MHdfZWZlajg1XXBfNDVWdA%3D%3D&v=wpcom-no-pv&rand=0.10710362600557555"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"blog":4469928,"host":"xorshammer.com","post":433,"rand":0.07946254370943451,"ref":"","subd":"xorshammer","tz":-4,"user_id":0,"v":"wpcom"}},"stack":[{"fileName":"https://xorshammer.com/2010/03/13/topology-and-first-order-modal-logic/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?blog=4469928&v=wpcom&tz=-4&user_id=0&post=433&subd=xorshammer&host=xorshammer.com&ref=&rand=0.07946254370943451"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"rand":0.3525642740333048,"v":"wpcom-no-pv","x_stats-initial-visibility":"visible"}},"stack":[{"fileName":"https://xorshammer.com/2010/03/13/topology-and-first-order-modal-logic/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?x_stats-initial-visibility=visible&v=wpcom-no-pv&rand=0.3525642740333048"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"batcache_hit":0,"bilmur":1,"cls":0.007,"custom_props":{"logged_in":"0","wptheme":"pub/escutcheon","wptheme_is_block":"0"},"downlink":10000,"edge_dc":"cdg","edge_dur":333,"edge_status":"MISS","fcp":519,"fcp_raw":519,"fp_raw":519,"full_path":"/2008/08/29/lots-of-fun-math-papers/","inp":8,"lcp":671,"lcp_raw":671,"lcp_sel":"#post-144>div.entry-wrapper>div.entry-content>p","lcp_type":"text","nav_type":"navigate","nt":"2--____1_1_1_1_1_1_4_9k_a2_9y_jk_kb_ks_yu_yu_yu--0_0_0_--h2","provider":"wordpress.com","reporter":"fetchLater","rtt":0,"service":"simple","site_host":"xorshammer.com","site_path":"/2008/08/29/lots-of-fun-math-papers/","site_tz":"Etc/GMT+4","ttfb":344,"version":"4.5.0"}},"stack":[{"fileName":"https://xorshammer.com/2010/03/13/topology-and-first-order-modal-logic/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/boom.gif?bilmur=1&batcache_hit=0&provider=wordpress.com&service=simple&site_tz=Etc%2FGMT%2B4&custom_props=%7B%22logged_in%22%3A%220%22%2C%22wptheme%22%3A%22pub%2Fescutcheon%22%2C%22wptheme_is_block%22%3A%220%22%7D&rtt=0&downlink=10000&site_host=xorshammer.com&site_path=%2F2008%2F08%2F29%2Flots-of-fun-math-papers%2F&full_path=%2F2008%2F08%2F29%2Flots-of-fun-math-papers%2F&version=4.5.0&edge_dc=cdg&edge_status=MISS&edge_dur=333&nt=2--____1_1_1_1_1_1_4_9k_a2_9y_jk_kb_ks_yu_yu_yu--0_0_0_--h2&reporter=fetchLater&fcp=519&fcp_raw=519&fp_raw=519&lcp=671&lcp_raw=671&lcp_sel=%23post-144%3Ediv.entry-wrapper%3Ediv.entry-content%3Ep&lcp_type=text&cls=0.007&ttfb=344&nav_type=navigate&inp=8"},{"data":{"body":{},"filter":"||stats.wp.com^","listName":"easyprivacy.txt","query":{"69":""}},"stack":[{"fileName":"https://xorshammer.com/2010/03/13/topology-and-first-order-modal-logic/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://stats.wp.com/w.js?69"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"crypt":"UE5tW3cvZGQtTnxyRGc1OHZoek10SmJSYnFmVUlqfmN6Z3JxfixlfkJBK0glajdXV09WYjZdbm1jP2cxU2JQUG83NDBNTGNfbDFpK0NFK0pfUFRhVDA0Mm9DMmlaREgzY0FiLS1xUzQzWCVpRnl1a2l6dEhDfGc0OEZneERzSThfblY0NltYfHJ8M35uL0czfCZ5aFdTQjI4LyUmNjA4TH4zTkY9RiY4RExLblBaPXNtVWN4V2o9Mi5HNDZJJmkxRmVjczlTVUhiYTFGU0Y0cVMzfFs4fm9waF05YnV3QSV4TlpzLCV1UnBlL1hkdWJY","rand":0.20135480144938955,"v":"wpcom-no-pv"}},"stack":[{"fileName":"https://xorshammer.com/2008/08/29/lots-of-fun-math-papers/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?crypt=UE5tW3cvZGQtTnxyRGc1OHZoek10SmJSYnFmVUlqfmN6Z3JxfixlfkJBK0glajdXV09WYjZdbm1jP2cxU2JQUG83NDBNTGNfbDFpK0NFK0pfUFRhVDA0Mm9DMmlaREgzY0FiLS1xUzQzWCVpRnl1a2l6dEhDfGc0OEZneERzSThfblY0NltYfHJ8M35uL0czfCZ5aFdTQjI4LyUmNjA4TH4zTkY9RiY4RExLblBaPXNtVWN4V2o9Mi5HNDZJJmkxRmVjczlTVUhiYTFGU0Y0cVMzfFs4fm9waF05YnV3QSV4TlpzLCV1UnBlL1hkdWJY&v=wpcom-no-pv&rand=0.20135480144938955"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"blog":4469928,"host":"xorshammer.com","post":144,"rand":0.6254643506944813,"ref":"","subd":"xorshammer","tz":-4,"user_id":0,"v":"wpcom"}},"stack":[{"fileName":"https://xorshammer.com/2008/08/29/lots-of-fun-math-papers/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?blog=4469928&v=wpcom&tz=-4&user_id=0&post=144&subd=xorshammer&host=xorshammer.com&ref=&rand=0.6254643506944813"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"rand":0.9222815367382782,"v":"wpcom-no-pv","x_stats-initial-visibility":"visible"}},"stack":[{"fileName":"https://xorshammer.com/2008/08/29/lots-of-fun-math-papers/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?x_stats-initial-visibility=visible&v=wpcom-no-pv&rand=0.9222815367382782"},{"data":{"body":{},"filter":"||stats.wp.com^","listName":"easyprivacy.txt","query":{"69":""}},"stack":[{"fileName":"https://xorshammer.com/2008/08/29/lots-of-fun-math-papers/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://stats.wp.com/w.js?69"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"batcache_hit":0,"bilmur":1,"cls":0,"custom_props":{"logged_in":"0","wptheme":"pub/escutcheon","wptheme_is_block":"0"},"downlink":10000,"edge_dc":"cdg","edge_dur":613,"edge_status":"MISS","fcp":925,"fcp_raw":925,"fp_raw":925,"full_path":"/","inp":16,"lcp":1093,"lcp_raw":1093,"lcp_sel":"#post-1650>div.entry-wrapper>div.entry-summary>p","lcp_type":"text","nav_type":"navigate","nt":"2--____8_11_11_11_1m_17_1m_iv_jw_j7_tt_v5_vj_199_199_199--0_0_0_--h2","provider":"wordpress.com","reporter":"fetchLater","rtt":0,"service":"simple","site_host":"xorshammer.com","site_path":"/","site_tz":"Etc/GMT+4","ttfb":679,"version":"4.5.0"}},"stack":[{"fileName":"https://xorshammer.com/2008/08/29/lots-of-fun-math-papers/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/boom.gif?bilmur=1&batcache_hit=0&provider=wordpress.com&service=simple&site_tz=Etc%2FGMT%2B4&custom_props=%7B%22logged_in%22%3A%220%22%2C%22wptheme%22%3A%22pub%2Fescutcheon%22%2C%22wptheme_is_block%22%3A%220%22%7D&rtt=0&downlink=10000&site_host=xorshammer.com&site_path=%2F&full_path=%2F&version=4.5.0&edge_dc=cdg&edge_status=MISS&edge_dur=613&nt=2--____8_11_11_11_1m_17_1m_iv_jw_j7_tt_v5_vj_199_199_199--0_0_0_--h2&reporter=fetchLater&fcp=925&fcp_raw=925&fp_raw=925&lcp=1093&lcp_raw=1093&lcp_sel=%23post-1650%3Ediv.entry-wrapper%3Ediv.entry-summary%3Ep&lcp_type=text&cls=0&ttfb=679&nav_type=navigate&inp=16"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"crypt":"UE5tW3cvZGQtTnxyRGc1OHZoek10SmJSYnFmVUlqfmN6Z3JxfixlfkJBK0glajdXV09WYjZdbm1jP2cxU2JQUG83NC9fP2wmJkdUOWJZb3VsdFp1djYzdy1OflordnU0aiVLTVZ6bVsyJkE3ZU5hMlYmY2VVS08lMHV1a212QyxJRm9+LHI/SyVHcmZ0WnlmeXxYMGU5djhmVFRpbkhxcUltUy5SMWhrTDMwQlt3dXhK","rand":0.9642707900467591,"v":"wpcom-no-pv"}},"stack":[{"fileName":"https://xorshammer.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?crypt=UE5tW3cvZGQtTnxyRGc1OHZoek10SmJSYnFmVUlqfmN6Z3JxfixlfkJBK0glajdXV09WYjZdbm1jP2cxU2JQUG83NC9fP2wmJkdUOWJZb3VsdFp1djYzdy1OflordnU0aiVLTVZ6bVsyJkE3ZU5hMlYmY2VVS08lMHV1a212QyxJRm9%2BLHI%2FSyVHcmZ0WnlmeXxYMGU5djhmVFRpbkhxcUltUy5SMWhrTDMwQlt3dXhK&v=wpcom-no-pv&rand=0.9642707900467591"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"arch_home":1,"blog":4469928,"host":"xorshammer.com","rand":0.3958898080542983,"ref":"","subd":"xorshammer","tz":-4,"user_id":0,"v":"wpcom"}},"stack":[{"fileName":"https://xorshammer.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?blog=4469928&v=wpcom&tz=-4&user_id=0&arch_home=1&subd=xorshammer&host=xorshammer.com&ref=&rand=0.3958898080542983"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"rand":0.22799305121560232,"v":"wpcom-no-pv","x_stats-initial-visibility":"visible"}},"stack":[{"fileName":"https://xorshammer.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?x_stats-initial-visibility=visible&v=wpcom-no-pv&rand=0.22799305121560232"},{"data":{"body":{},"filter":"||stats.wp.com^","listName":"easyprivacy.txt","query":{"69":""}},"stack":[{"fileName":"https://xorshammer.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://stats.wp.com/w.js?69"}]}}