CINXE.COM

<!doctype html> <html lang="en-US"> <head> <meta charset="UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="profile" href="http://gmpg.org/xfn/11"> <title>Page not found – Association for Symbolic Logic</title> <meta name='robots' content='max-image-preview:large' /> <link rel='dns-prefetch' href='//s.w.org' /> <link rel="alternate" type="application/rss+xml" title="Association for Symbolic Logic » Feed" href="https://aslonline.org/feed/" /> <link rel="alternate" type="application/rss+xml" title="Association for Symbolic Logic » Comments Feed" href="https://aslonline.org/comments/feed/" /> <script type="text/javascript"> window._wpemojiSettings = {"baseUrl":"https:\/\/s.w.org\/images\/core\/emoji\/13.1.0\/72x72\/","ext":".png","svgUrl":"https:\/\/s.w.org\/images\/core\/emoji\/13.1.0\/svg\/","svgExt":".svg","source":{"concatemoji":"https:\/\/aslonline.org\/wp-includes\/js\/wp-emoji-release.min.js?ver=5.9.10"}}; /*! This file is auto-generated */ !function(e,a,t){var n,r,o,i=a.createElement("canvas"),p=i.getContext&&i.getContext("2d");function s(e,t){var a=String.fromCharCode;p.clearRect(0,0,i.width,i.height),p.fillText(a.apply(this,e),0,0);e=i.toDataURL();return p.clearRect(0,0,i.width,i.height),p.fillText(a.apply(this,t),0,0),e===i.toDataURL()}function c(e){var t=a.createElement("script");t.src=e,t.defer=t.type="text/javascript",a.getElementsByTagName("head")[0].appendChild(t)}for(o=Array("flag","emoji"),t.supports={everything:!0,everythingExceptFlag:!0},r=0;r<o.length;r++)t.supports[o[r]]=function(e){if(!p||!p.fillText)return!1;switch(p.textBaseline="top",p.font="600 32px Arial",e){case"flag":return s([127987,65039,8205,9895,65039],[127987,65039,8203,9895,65039])?!1:!s([55356,56826,55356,56819],[55356,56826,8203,55356,56819])&&!s([55356,57332,56128,56423,56128,56418,56128,56421,56128,56430,56128,56423,56128,56447],[55356,57332,8203,56128,56423,8203,56128,56418,8203,56128,56421,8203,56128,56430,8203,56128,56423,8203,56128,56447]);case"emoji":return!s([10084,65039,8205,55357,56613],[10084,65039,8203,55357,56613])}return!1}(o[r]),t.supports.everything=t.supports.everything&&t.supports[o[r]],"flag"!==o[r]&&(t.supports.everythingExceptFlag=t.supports.everythingExceptFlag&&t.supports[o[r]]);t.supports.everythingExceptFlag=t.supports.everythingExceptFlag&&!t.supports.flag,t.DOMReady=!1,t.readyCallback=function(){t.DOMReady=!0},t.supports.everything||(n=function(){t.readyCallback()},a.addEventListener?(a.addEventListener("DOMContentLoaded",n,!1),e.addEventListener("load",n,!1)):(e.attachEvent("onload",n),a.attachEvent("onreadystatechange",function(){"complete"===a.readyState&&t.readyCallback()})),(n=t.source||{}).concatemoji?c(n.concatemoji):n.wpemoji&&n.twemoji&&(c(n.twemoji),c(n.wpemoji)))}(window,document,window._wpemojiSettings); </script> <style type="text/css"> img.wp-smiley, img.emoji { display: inline !important; border: none !important; box-shadow: none !important; height: 1em !important; width: 1em !important; margin: 0 0.07em !important; vertical-align: -0.1em !important; background: none !important; padding: 0 !important; } </style> <link rel='stylesheet' id='wp-block-library-css' href='https://aslonline.org/wp-includes/css/dist/block-library/style.min.css?ver=5.9.10' type='text/css' media='all' /> <style id='global-styles-inline-css' type='text/css'> body{--wp--preset--color--black: #000000;--wp--preset--color--cyan-bluish-gray: #abb8c3;--wp--preset--color--white: #ffffff;--wp--preset--color--pale-pink: #f78da7;--wp--preset--color--vivid-red: #cf2e2e;--wp--preset--color--luminous-vivid-orange: #ff6900;--wp--preset--color--luminous-vivid-amber: #fcb900;--wp--preset--color--light-green-cyan: #7bdcb5;--wp--preset--color--vivid-green-cyan: #00d084;--wp--preset--color--pale-cyan-blue: #8ed1fc;--wp--preset--color--vivid-cyan-blue: #0693e3;--wp--preset--color--vivid-purple: #9b51e0;--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple: linear-gradient(135deg,rgba(6,147,227,1) 0%,rgb(155,81,224) 100%);--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan: linear-gradient(135deg,rgb(122,220,180) 0%,rgb(0,208,130) 100%);--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange: linear-gradient(135deg,rgba(252,185,0,1) 0%,rgba(255,105,0,1) 100%);--wp--preset--gradient--luminous-vivid-orange-to-vivid-red: linear-gradient(135deg,rgba(255,105,0,1) 0%,rgb(207,46,46) 100%);--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray: linear-gradient(135deg,rgb(238,238,238) 0%,rgb(169,184,195) 100%);--wp--preset--gradient--cool-to-warm-spectrum: linear-gradient(135deg,rgb(74,234,220) 0%,rgb(151,120,209) 20%,rgb(207,42,186) 40%,rgb(238,44,130) 60%,rgb(251,105,98) 80%,rgb(254,248,76) 100%);--wp--preset--gradient--blush-light-purple: linear-gradient(135deg,rgb(255,206,236) 0%,rgb(152,150,240) 100%);--wp--preset--gradient--blush-bordeaux: linear-gradient(135deg,rgb(254,205,165) 0%,rgb(254,45,45) 50%,rgb(107,0,62) 100%);--wp--preset--gradient--luminous-dusk: linear-gradient(135deg,rgb(255,203,112) 0%,rgb(199,81,192) 50%,rgb(65,88,208) 100%);--wp--preset--gradient--pale-ocean: linear-gradient(135deg,rgb(255,245,203) 0%,rgb(182,227,212) 50%,rgb(51,167,181) 100%);--wp--preset--gradient--electric-grass: linear-gradient(135deg,rgb(202,248,128) 0%,rgb(113,206,126) 100%);--wp--preset--gradient--midnight: linear-gradient(135deg,rgb(2,3,129) 0%,rgb(40,116,252) 100%);--wp--preset--duotone--dark-grayscale: url('#wp-duotone-dark-grayscale');--wp--preset--duotone--grayscale: url('#wp-duotone-grayscale');--wp--preset--duotone--purple-yellow: url('#wp-duotone-purple-yellow');--wp--preset--duotone--blue-red: url('#wp-duotone-blue-red');--wp--preset--duotone--midnight: url('#wp-duotone-midnight');--wp--preset--duotone--magenta-yellow: url('#wp-duotone-magenta-yellow');--wp--preset--duotone--purple-green: url('#wp-duotone-purple-green');--wp--preset--duotone--blue-orange: url('#wp-duotone-blue-orange');--wp--preset--font-size--small: 13px;--wp--preset--font-size--medium: 20px;--wp--preset--font-size--large: 36px;--wp--preset--font-size--x-large: 42px;}.has-black-color{color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-color{color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-color{color: var(--wp--preset--color--white) !important;}.has-pale-pink-color{color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-color{color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-color{color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-color{color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-color{color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-color{color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-color{color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-color{color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-color{color: var(--wp--preset--color--vivid-purple) !important;}.has-black-background-color{background-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-background-color{background-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-background-color{background-color: var(--wp--preset--color--white) !important;}.has-pale-pink-background-color{background-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-background-color{background-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-background-color{background-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-background-color{background-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-background-color{background-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-background-color{background-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-background-color{background-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-background-color{background-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-background-color{background-color: var(--wp--preset--color--vivid-purple) !important;}.has-black-border-color{border-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-border-color{border-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-border-color{border-color: var(--wp--preset--color--white) !important;}.has-pale-pink-border-color{border-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-border-color{border-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-border-color{border-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-border-color{border-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-border-color{border-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-border-color{border-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-border-color{border-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-border-color{border-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-border-color{border-color: var(--wp--preset--color--vivid-purple) !important;}.has-vivid-cyan-blue-to-vivid-purple-gradient-background{background: var(--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple) !important;}.has-light-green-cyan-to-vivid-green-cyan-gradient-background{background: var(--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan) !important;}.has-luminous-vivid-amber-to-luminous-vivid-orange-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange) !important;}.has-luminous-vivid-orange-to-vivid-red-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-orange-to-vivid-red) !important;}.has-very-light-gray-to-cyan-bluish-gray-gradient-background{background: var(--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray) !important;}.has-cool-to-warm-spectrum-gradient-background{background: var(--wp--preset--gradient--cool-to-warm-spectrum) !important;}.has-blush-light-purple-gradient-background{background: var(--wp--preset--gradient--blush-light-purple) !important;}.has-blush-bordeaux-gradient-background{background: var(--wp--preset--gradient--blush-bordeaux) !important;}.has-luminous-dusk-gradient-background{background: var(--wp--preset--gradient--luminous-dusk) !important;}.has-pale-ocean-gradient-background{background: var(--wp--preset--gradient--pale-ocean) !important;}.has-electric-grass-gradient-background{background: var(--wp--preset--gradient--electric-grass) !important;}.has-midnight-gradient-background{background: var(--wp--preset--gradient--midnight) !important;}.has-small-font-size{font-size: var(--wp--preset--font-size--small) !important;}.has-medium-font-size{font-size: var(--wp--preset--font-size--medium) !important;}.has-large-font-size{font-size: var(--wp--preset--font-size--large) !important;}.has-x-large-font-size{font-size: var(--wp--preset--font-size--x-large) !important;} </style> <link rel='stylesheet' id='modalcss-css' href='https://aslonline.org/wp-content/plugins/bootstrap-modals/css/bootstrap.css?ver=3.3.7' type='text/css' media='all' /> <link rel='stylesheet' id='asl-style-css' href='https://aslonline.org/wp-content/themes/underscore_s/style.css?ver=5.9.10' type='text/css' media='all' /> <script type='text/javascript' src='https://aslonline.org/wp-includes/js/jquery/jquery.min.js?ver=3.6.0' id='jquery-core-js'></script> <script type='text/javascript' src='https://aslonline.org/wp-includes/js/jquery/jquery-migrate.min.js?ver=3.3.2' id='jquery-migrate-js'></script> <link rel="https://api.w.org/" href="https://aslonline.org/wp-json/" /><link rel="EditURI" type="application/rsd+xml" title="RSD" href="https://aslonline.org/xmlrpc.php?rsd" /> <link rel="wlwmanifest" type="application/wlwmanifest+xml" href="https://aslonline.org/wp-includes/wlwmanifest.xml" /> <meta name="generator" content="WordPress 5.9.10" /> <script>(function(H){H.className=H.className.replace(/\bno-js\b/,'js')})(document.documentElement)</script> <script> (function(d) { var config = { kitId: 'myi6lnn', scriptTimeout: 3000, async: true }, h=d.documentElement,t=setTimeout(function(){h.className=h.className.replace(/\bwf-loading\b/g,"")+" wf-inactive";},config.scriptTimeout),tk=d.createElement("script"),f=false,s=d.getElementsByTagName("script")[0],a;h.className+=" wf-loading";tk.src='https://use.typekit.net/'+config.kitId+'.js';tk.async=true;tk.onload=tk.onreadystatechange=function(){a=this.readyState;if(f||a&&a!="complete"&&a!="loaded")return;f=true;clearTimeout(t);try{Typekit.load(config)}catch(e){}};s.parentNode.insertBefore(tk,s) })(document); </script> <script src="https://ajax.googleapis.com/ajax/libs/jquery/1/jquery.js"></script> <script src="https://cdnjs.cloudflare.com/ajax/libs/galleria/1.5.6/galleria.min.js"></script> </head> <body class="error404 hfeed"> <div id="page" class="site"> <a class="skip-link screen-reader-text" href="#content">Skip to content</a> <header id="masthead" class="site-header"> <div class="site-branding"> <p class="site-title"><a class="site-title-link" href="https://aslonline.org/" rel="home"><svg aria-labelledby="The Association for Symbolic Logic" role="img" tabindex="-1"xmlns="http://www.w3.org/2000/svg" viewBox="0 0 360.71 160.23"><path d="M5.04 148.96l-2 5.64H.54l6.69-18.82h3l7 18.79H14.6l-2.08-5.64zm6.86-2.18c-1.81-4.94-2.78-7.55-3.18-9-.46 1.6-1.57 4.78-3 9zM21.27 150.68a3.1 3.1 0 0 0 3.35 2.38c2 0 2.78-.86 2.78-2.11s-.62-1.89-3.24-2.51c-3.91-.94-4.72-2.16-4.72-4s1.43-3.83 4.94-3.83 5 2.05 5.15 3.94h-2.27a2.73 2.73 0 0 0-3-2.11c-1.92 0-2.52.92-2.52 1.81s.57 1.54 3.08 2.13c4.16 1 5 2.38 5 4.4 0 2.41-1.92 4.16-5.32 4.16s-5.29-1.78-5.64-4.24zM34.1 150.68a3.08 3.08 0 0 0 3.34 2.38c2 0 2.78-.86 2.78-2.11s-.62-1.89-3.24-2.51c-3.91-.94-4.72-2.16-4.72-4s1.43-3.83 4.94-3.83 5 2.05 5.16 3.94h-2.27a2.74 2.74 0 0 0-3-2.11c-1.92 0-2.51.92-2.51 1.81s.57 1.54 3.08 2.13c4.15 1 5 2.38 5 4.4 0 2.41-1.92 4.16-5.32 4.16s-5.29-1.78-5.64-4.24zM57.42 147.71c0 4-2.27 7.21-6.45 7.21-3.91 0-6.29-3-6.29-7.15s2.32-7.18 6.45-7.18c3.81 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.51 5.21 4 5.21s3.91-2.08 3.91-5.18-1.4-5.21-4-5.21-3.91 2.11-3.91 5.25zM71.33 150.41a5.42 5.42 0 0 1-5.65 4.51c-3.77 0-6.1-2.7-6.1-7.1 0-3.86 2.19-7.23 6.27-7.23a5.1 5.1 0 0 1 5.48 4.56h-2.35a3 3 0 0 0-3.19-2.59c-2.4 0-3.78 2.08-3.78 5.18s1.33 5.21 3.7 5.21a3.27 3.27 0 0 0 3.27-2.54zM74.27 137.78v-3h2.38v3zm0 3.18h2.38v13.69h-2.38zM90.58 151.6a21.46 21.46 0 0 0 .19 3H88.5a7.11 7.11 0 0 1-.17-1.82c-.48.89-1.59 2.1-4.24 2.1-3.23 0-4.61-2.1-4.61-4.18 0-3.05 2.4-4.46 6.48-4.46h2.27v-1.16c0-1.21-.38-2.67-2.94-2.67-2.27 0-2.68 1.13-2.92 2.19h-2.29c.19-1.89 1.35-4.05 5.29-4.05 3.34 0 5.21 1.38 5.21 4.48zm-2.32-3.67h-2.22c-2.72 0-4.18.76-4.18 2.67a2.4 2.4 0 0 0 2.67 2.46c3.29 0 3.73-2.21 3.73-4.7zM92.58 140.91h2.37v-4h2.38v4h3v1.92h-3v8c0 1.35.33 2 1.57 2a6.42 6.42 0 0 0 1.19-.11v1.78a6.23 6.23 0 0 1-2.06.25c-2.13 0-3-1.11-3-3.38v-8.58h-2.45zM102.7 137.78v-3h2.38v3zm0 3.18h2.38v13.69h-2.38zM120.74 147.71c0 4-2.27 7.21-6.46 7.21-3.91 0-6.28-3-6.28-7.15s2.32-7.18 6.45-7.18c3.8 0 6.29 2.83 6.29 7.12zm-10.32 0c0 3 1.52 5.21 4 5.21s3.91-2.05 3.91-5.14-1.41-5.21-4-5.21-3.91 2.07-3.91 5.21zM123.68 144.37v-3.46h2.3a21.13 21.13 0 0 1 .11 2.24 4.28 4.28 0 0 1 4.29-2.56c2.59 0 4.59 1.56 4.59 5.21v8.8h-2.38v-8.51c0-2.07-.81-3.45-2.89-3.45-2.59 0-3.61 2-3.61 4.72v7.24h-2.38zM145.93 154.6v-11.77h-2.19v-1.92h2.19v-1.64c0-2.51 1-4.75 4-4.75a6 6 0 0 1 1.52.16v2a5.86 5.86 0 0 0-1.19-.13c-1.41 0-1.95.86-1.95 2.86v1.48h2.76v1.92h-2.74v11.77zM164.72 147.71c0 4-2.27 7.21-6.45 7.21-3.92 0-6.29-3-6.29-7.15s2.32-7.18 6.45-7.18c3.8 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.51 5.21 4 5.21s3.92-2.05 3.92-5.14-1.41-5.21-4-5.21-3.92 2.07-3.92 5.21zM167.66 144.64v-3.73h2.32c0 .38.08 1.46.08 2.78a4.78 4.78 0 0 1 4.59-3.1v2.35c-2.81.08-4.59 1.56-4.59 5v6.64h-2.38zM185.33 149.36c.51 2.27 2 3.48 4.77 3.48 2.92 0 4.08-1.37 4.08-3.15s-.92-2.95-4.67-3.84c-4.43-1.08-6-2.59-6-5.23 0-2.81 2-5.08 6.23-5.08 4.48 0 6.32 2.59 6.59 5.05h-2.54c-.35-1.65-1.38-3-4.13-3-2.29 0-3.56 1-3.56 2.8s1 2.46 4.34 3.27c5.35 1.29 6.29 3.37 6.29 5.8 0 3-2.24 5.4-6.83 5.4s-6.75-2.59-7.15-5.48zM200.58 140.91c2.21 6.56 3.42 10.18 3.8 11.58.43-1.56 1.4-4.69 3.64-11.58h2.38l-4.91 14.31c-1.38 4-2.43 5-5.21 5-.44 0-.95 0-1.49-.08v-2h1.13c1.73 0 2.38-.76 3.19-3l-5.13-14.23zM212.83 144.45v-3.54h2.26a19.65 19.65 0 0 1 .11 2.11 4.22 4.22 0 0 1 4-2.43 3.78 3.78 0 0 1 3.81 2.46 4.63 4.63 0 0 1 4.34-2.46c2.24 0 4.32 1.32 4.32 5v9h-2.34v-8.71c0-1.57-.57-3.24-2.7-3.24s-3.21 1.67-3.21 4.1v7.86h-2.32v-8.64c0-1.75-.49-3.32-2.65-3.32s-3.24 1.78-3.24 4.37v7.59h-2.38zM235.54 134.78h2.38v8.07c.59-1.16 1.86-2.27 4.34-2.27 3.46 0 5.62 2.83 5.62 6.88s-2.11 7.45-6 7.45c-2.19 0-3.35-.81-4-2.13a15.55 15.55 0 0 1-.11 1.81h-2.27V150zm6.18 7.8c-2.91 0-3.94 1.94-3.94 5.21 0 2.86.92 5.12 3.81 5.12 2.43 0 3.86-2.07 3.86-5.39 0-2.96-1.35-4.93-3.73-4.93zM262.75 147.71c0 4-2.27 7.21-6.45 7.21-3.91 0-6.29-3-6.29-7.15s2.32-7.18 6.45-7.18c3.81 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.51 5.21 4 5.21s3.89-2.05 3.89-5.14-1.4-5.21-4-5.21-3.89 2.07-3.89 5.21zM265.7 154.6v-19.82h2.37v19.81zM271.96 137.78v-3h2.37v3zm0 3.18h2.37v13.69h-2.38zM289.02 150.41a5.41 5.41 0 0 1-5.64 4.51c-3.78 0-6.1-2.7-6.1-7.1 0-3.86 2.19-7.23 6.26-7.23a5.09 5.09 0 0 1 5.48 4.56h-2.34a3 3 0 0 0-3.19-2.59c-2.4 0-3.78 2.08-3.78 5.18s1.32 5.21 3.7 5.21a3.27 3.27 0 0 0 3.27-2.54zM298.91 135.78h2.48v16.66h9.8l-.35 2.13h-11.93zM325.33 147.71c0 4-2.26 7.21-6.45 7.21-3.91 0-6.29-3-6.29-7.15s2.33-7.18 6.45-7.18c3.84 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.52 5.21 4 5.21s3.92-2.08 3.92-5.18-1.41-5.21-4-5.21-3.89 2.11-3.89 5.25zM339.75 153.36c0 4.4-1.8 6.88-6.28 6.88-4.16 0-5.43-2.32-5.67-4.18h2.4a3.13 3.13 0 0 0 3.37 2.29c3.11 0 3.86-2 3.86-5.1v-1.11c-.73 1.51-2 2.4-4.26 2.4-3.38 0-5.67-2.75-5.67-6.77 0-4.45 2.62-7.18 5.91-7.18 2.62 0 3.73 1.21 4 2.13 0-.62.11-1.54.14-1.81h2.21v3.94zm-6-.84c2.94 0 3.8-2 3.8-5s-.81-4.91-3.72-4.91c-2.54 0-3.83 2.13-3.83 5.07s1.47 4.84 3.71 4.84zM343.65 137.78v-3h2.37v3zm0 3.18h2.37v13.69h-2.37zM360.71 150.41a5.42 5.42 0 0 1-5.64 4.51c-3.78 0-6.11-2.7-6.11-7.1 0-3.86 2.19-7.23 6.27-7.23a5.1 5.1 0 0 1 5.48 4.56h-2.38a3 3 0 0 0-3.19-2.59c-2.4 0-3.78 2.08-3.78 5.18s1.33 5.21 3.7 5.21a3.27 3.27 0 0 0 3.27-2.54zM132.59 0a22.41 22.41 0 1 0 0 44.81h62.74a31.43 31.43 0 0 1 0 62.86l-60.55-.24L83.13 0H60.48L0 125.56h20.1L71.89 17.9l51.79 107.66h71.65a49.32 49.32 0 0 0 0-98.64h-62.74a4.43 4.43 0 0 1-4.6-4.43 4.57 4.57 0 0 1 4.6-4.59h119.76v107.69H360v-17.92h-89.61V0h-137.8"/><image alt="The Association for Symbolic Logic" class="asl" src="../wp-content/themes/underscore_s/images/asl-logo.png"></image></svg></a></p> </div>   </header> <div id="content" class="site-content"> <div id="primary" class="content-area"> <main id="main" class="site-main"> <section class="error-404 not-found"> <header class="page-header"> <h1 class="page-title">Oops! That page can’t be found.</h1> </header> <div class="page-content"> <p>It looks like nothing was found at this location. Maybe try one of the links below or a search?</p> <form role="search" method="get" class="search-form" action="https://aslonline.org/"> <label> <span class="screen-reader-text">Search for:</span> <input type="search" class="search-field" placeholder="Search …" value="" name="s" /> </label> <input type="submit" class="search-submit" value="Search" /> </form> <div class="widget widget_recent_entries"> <h2 class="widgettitle">Recent Posts</h2> <ul> <li> <a href="https://aslonline.org/hello-world/">Hello world!</a> </li> </ul> </div> <div class="widget widget_categories"> <h2 class="widget-title">Most Used Categories</h2> <ul> <li class="cat-item cat-item-1"><a href="https://aslonline.org/category/uncategorized/">Uncategorized</a> (1) </li> </ul> </div> <div class="widget widget_archive"><h2 class="widgettitle">Archives</h2><p>Try looking in the monthly archives. 馃檪</p> <label class="screen-reader-text" for="archives-dropdown--1">Archives</label> <select id="archives-dropdown--1" name="archive-dropdown"> <option value="">Select Month</option> <option value='https://aslonline.org/2021/03/'> March 2021 </option> </select> <script type="text/javascript"> /* <![CDATA[ */ (function() { var dropdown = document.getElementById( "archives-dropdown--1" ); function onSelectChange() { if ( dropdown.options[ dropdown.selectedIndex ].value !== '' ) { document.location.href = this.options[ this.selectedIndex ].value; } } dropdown.onchange = onSelectChange; })(); /* ]]> */ </script> </div> </div> </section> </main> </div> </div> <nav id="site-navigation" class="main-navigation"> <button class="menu-toggle" aria-controls="primary-menu" aria-expanded="false"><span class="button-bar button-bar-top"></span><span class="button-bar button-bar-middle"></span><span class="button-bar button-bar-bottom"></span></button> <div class="menu-menu-1-container"><ul id="primary-menu" class="menu"><li id="menu-item-1732" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-home menu-item-1732"><a title=" " href="https://aslonline.org/">Home</a></li> <li id="menu-item-1800" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1800"><a title=" " href="https://aslonline.org/about-the-asl/">About</a> <ul class="sub-menu"> <li id="menu-item-1780" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1780"><a title=" " href="https://aslonline.org/about-the-asl/constitution-and-by-laws/">Constitution and By-Laws</a></li> <li id="menu-item-1781" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1781"><a title=" " href="https://aslonline.org/about-the-asl/council-members-and-representatives/">Council Members and Representatives</a></li> <li id="menu-item-1782" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1782"><a title=" " href="https://aslonline.org/about-the-asl/former-officers-council-members-and-executive-committee-members/">Former Officers, Council Members, and Executive Committee Members</a></li> </ul> </li> <li id="menu-item-1792" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1792"><a title=" " href="https://aslonline.org/announce/">Announcements</a></li> <li id="menu-item-1793" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1793"><a title=" " href="https://aslonline.org/meet/">Meetings</a> <ul class="sub-menu"> <li id="menu-item-2362" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-2362"><a href="https://aslonline.org/meet/aslcodeofconduct/">ASL Code of Conduct</a></li> </ul> </li> <li id="menu-item-1750" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1750"><a title=" " href="https://aslonline.org/rules-for-abstracts/">Rules for Abstracts</a></li> <li id="menu-item-1751" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1751"><a title=" " href="https://aslonline.org/student-travel-awards/">Student Travel Awards</a></li> <li id="menu-item-1791" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1791"><a title=" " href="https://aslonline.org/sponsorship-of-meetings/">Sponsorship of Meetings</a></li> <li id="menu-item-1749" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1749"><a title=" " href="https://aslonline.org/journals/">Journals</a> <ul class="sub-menu"> <li id="menu-item-1733" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1733"><a title=" " href="https://aslonline.org/journals/the-journal-of-symbolic-logic/">The Journal</a> <ul class="sub-menu"> <li id="menu-item-1737" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1737"><a title=" " href="https://aslonline.org/journals/the-journal-of-symbolic-logic/submission-guidelines/">Submission Guidelines</a></li> <li id="menu-item-1757" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1757"><a title=" " href="https://aslonline.org/journals/the-journal-of-symbolic-logic/jsl-editorial-staff/">Editorial Staff</a></li> </ul> </li> <li id="menu-item-1735" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1735"><a title=" " href="https://aslonline.org/journals/the-bulletin-of-symbolic-logic/">The Bulletin</a> <ul class="sub-menu"> <li id="menu-item-1741" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1741"><a title=" " href="https://aslonline.org/journals/the-bulletin-of-symbolic-logic/the-bulletin-of-symbolic-logic-submission-guidelines/">Submission Guidelines</a></li> <li id="menu-item-1742" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1742"><a title=" " href="https://aslonline.org/journals/the-bulletin-of-symbolic-logic/bsl-editorial-staff/">Editorial Staff</a></li> <li id="menu-item-1740" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1740"><a title=" " href="https://aslonline.org/journals/the-bulletin-of-symbolic-logic/logic-thesis-abstracts-in-the-bulletin-of-symbolic-logic/">Thesis Abstracts</a></li> <li id="menu-item-1739" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1739"><a title=" " href="https://aslonline.org/journals/reviews/">Reviews</a></li> </ul> </li> <li id="menu-item-1734" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1734"><a title=" " href="https://aslonline.org/journals/the-review-of-symbolic/">The Review</a> <ul class="sub-menu"> <li id="menu-item-1743" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1743"><a title=" " href="https://aslonline.org/journals/the-review-of-symbolic/the-review-of-symbolic-logic-submission-guidelines/">Submission聽Guidelines</a></li> <li id="menu-item-1744" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1744"><a title=" " href="https://aslonline.org/journals/the-review-of-symbolic/rsl-editorial-staff/">Editorial Staff</a></li> </ul> </li> <li id="menu-item-1736" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1736"><a title=" " href="https://aslonline.org/journals/publication-ethics-policy/">Publication Ethics Policy</a> <ul class="sub-menu"> <li id="menu-item-2577" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-2577"><a href="https://aslonline.org/journals/publication-ethics-policy/appeals-of-editorial-decisions/">Appeals of Editorial Decisions</a></li> </ul> </li> <li id="menu-item-1738" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1738"><a title=" " href="https://aslonline.org/journals/subscriptions/">Subscriptions</a></li> <li id="menu-item-1747" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1747"><a title=" " href="https://aslonline.org/journals/asl-sponsored-journals/">ASL Sponsored Journals</a> <ul class="sub-menu"> <li id="menu-item-1748" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1748"><a title=" " href="https://aslonline.org/journals/sponsored-journals-conditions-terms-and-application-procedure/">Conditions, Terms, and Application</a></li> </ul> </li> <li id="menu-item-1745" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1745"><a title=" " href="https://aslonline.org/journals/author-resources/">Author Resources</a></li> <li id="menu-item-1746" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1746"><a title=" " href="https://aslonline.org/journals/back-volumes/">Back Volumes</a></li> </ul> </li> <li id="menu-item-1752" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1752"><a title=" " href="https://aslonline.org/books/">Books</a> <ul class="sub-menu"> <li id="menu-item-1754" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1754"><a title=" " href="https://aslonline.org/books/lecture-notes-in-logic/">Lecture Notes in Logic</a> <ul class="sub-menu"> <li id="menu-item-1753" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1753"><a title=" " href="https://aslonline.org/books/lecture-notes-in-logic/available-volumes/">Available Volumes</a></li> <li id="menu-item-1755" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1755"><a title=" " href="https://aslonline.org/books/lecture-notes-in-logic/ordering-information/">Ordering information</a></li> <li id="menu-item-1756" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1756"><a title=" " href="https://aslonline.org/books/lecture-notes-in-logic/editorial-policies-of-the-lecture-notes-in-logic/">Editorial Policies and Instructions</a></li> <li id="menu-item-1758" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1758"><a title=" " href="https://aslonline.org/books/lecture-notes-in-logic/editorial-board-lecture-notes-in-logic/">Editorial Board</a></li> </ul> </li> <li id="menu-item-1759" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1759"><a title=" " href="https://aslonline.org/books/perspectives-in-logic/">Perspectives in Logic</a> <ul class="sub-menu"> <li id="menu-item-1760" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1760"><a title=" " href="https://aslonline.org/books/perspectives-in-logic/available-volumes/">Available volumes</a></li> <li id="menu-item-1761" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1761"><a title=" " href="https://aslonline.org/books/perspectives-in-logic/editors-of-the-perspectives-in-mathematical-logic/">Editors</a></li> <li id="menu-item-1762" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1762"><a title=" " href="https://aslonline.org/books/perspectives-in-logic/instructions-for-authors/">Instructions for Authors</a></li> </ul> </li> <li id="menu-item-1763" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1763"><a title=" " href="https://aslonline.org/books/other-books/">Other Books</a></li> <li id="menu-item-1764" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1764"><a title=" " href="https://aslonline.org/books/book-discounts-for-asl-members/">Member Discounts</a></li> </ul> </li> <li id="menu-item-1801" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1801"><a title=" " href="https://aslonline.org/inclusiveness/">Inclusiveness</a></li> <li id="menu-item-1794" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1794"><a title=" " href="https://aslonline.org/asl-committees/">ASL Committees</a> <ul class="sub-menu"> <li id="menu-item-1765" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1765"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/">Regional Committees</a> <ul class="sub-menu"> <li id="menu-item-1790" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1790"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/committee-on-logic-in-africa/">Africa</a></li> <li id="menu-item-1789" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1789"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/committee-on-logic-in-australasia/">Australasia</a></li> <li id="menu-item-1788" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1788"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/committee-on-logic-in-east-asia/">East Asia</a></li> <li id="menu-item-1787" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1787"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/committee-on-logic-in-europe/">Europe</a></li> <li id="menu-item-1786" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1786"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/committee-on-logic-in-latin-america/">Latin America</a></li> <li id="menu-item-1785" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1785"><a title=" " href="https://aslonline.org/asl-committees/regional-asl-committees/committee-on-logic-in-north-america/">North America</a></li> </ul> </li> <li id="menu-item-1799" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1799"><a title=" " href="https://aslonline.org/asl-committees/education/">Education</a></li> <li id="menu-item-1798" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1798"><a title=" " href="https://aslonline.org/asl-committees/membership-2/">Membership</a></li> <li id="menu-item-1797" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1797"><a title=" " href="https://aslonline.org/asl-committees/prizes-and-awards/">Prizes and Awards</a></li> <li id="menu-item-1796" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1796"><a title=" " href="https://aslonline.org/asl-committees/publications/">Publications</a></li> <li id="menu-item-1795" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1795"><a title=" " href="https://aslonline.org/asl-committees/translations/">Translations</a></li> </ul> </li> <li id="menu-item-1766" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1766"><a title=" " href="https://aslonline.org/membership/">ASL Membership</a> <ul class="sub-menu"> <li id="menu-item-1767" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1767"><a title=" " href="https://aslonline.org/membership/individual-membership/">Individual</a></li> <li id="menu-item-1768" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1768"><a title=" " href="https://aslonline.org/membership/institutional-membership/">Institutional</a></li> <li id="menu-item-1769" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1769"><a title=" " href="https://aslonline.org/membership/world-bank-list/">World Bank List</a></li> <li id="menu-item-1770" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1770"><a title=" " href="https://aslonline.org/membership/member-services-and-resources/">Services</a></li> </ul> </li> <li id="menu-item-1774" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1774"><a title=" " href="https://aslonline.org/prizes-and-awards/">Prizes and Awards</a> <ul class="sub-menu"> <li id="menu-item-1775" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1775"><a title=" " href="https://aslonline.org/prizes-and-awards/karp-prize-recipients/">Karp Prize Recipients</a></li> <li id="menu-item-1776" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1776"><a title=" " href="https://aslonline.org/prizes-and-awards/sacks-prize-recipients/">Sacks Prize Recipients</a> <ul class="sub-menu"> <li id="menu-item-1777" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1777"><a title=" " href="https://aslonline.org/prizes-and-awards/sacks-prize-recipients/sacks-prize-nominations/">Nominations</a></li> </ul> </li> <li id="menu-item-1779" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1779"><a title=" " href="https://aslonline.org/prizes-and-awards/shoenfield-prize-recipients/">Shoenfield Prize Recipients</a></li> <li id="menu-item-1778" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1778"><a title=" " href="https://aslonline.org/prizes-and-awards/godel-lecturers/">G枚del Lecturers</a></li> </ul> </li> <li id="menu-item-2554" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-2554"><a href="https://aslonline.org/membership/donating-to-the-asl/">Donating to the ASL</a></li> <li id="menu-item-1771" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-1771"><a title=" " href="https://aslonline.org/other-information/">Other Information</a> <ul class="sub-menu"> <li id="menu-item-1772" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1772"><a title=" " href="https://aslonline.org/other-information/617-2/">Newsletters</a></li> <li id="menu-item-1783" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1783"><a title=" " href="https://aslonline.org/other-information/advertisers/">Advertisers</a></li> </ul> </li> <li id="menu-item-1784" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1784"><a title=" " href="https://aslonline.org/sitemap/">Sitemap</a></li> <li id="menu-item-1773" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-1773"><a title=" " href="https://aslonline.org/info-contact/">Contact</a></li> </ul></div> </nav> <footer id="colophon" class="site-footer"> <div class="site-info"> <div class="site-branding"><a class="site-title-link" href="https://aslonline.org/" rel="home"><svg aria-labelledby="The Association for Symbolic Logic" role="img" tabindex="-1"xmlns="http://www.w3.org/2000/svg" viewBox="0 0 360.71 160.23"><path d="M5.04 148.96l-2 5.64H.54l6.69-18.82h3l7 18.79H14.6l-2.08-5.64zm6.86-2.18c-1.81-4.94-2.78-7.55-3.18-9-.46 1.6-1.57 4.78-3 9zM21.27 150.68a3.1 3.1 0 0 0 3.35 2.38c2 0 2.78-.86 2.78-2.11s-.62-1.89-3.24-2.51c-3.91-.94-4.72-2.16-4.72-4s1.43-3.83 4.94-3.83 5 2.05 5.15 3.94h-2.27a2.73 2.73 0 0 0-3-2.11c-1.92 0-2.52.92-2.52 1.81s.57 1.54 3.08 2.13c4.16 1 5 2.38 5 4.4 0 2.41-1.92 4.16-5.32 4.16s-5.29-1.78-5.64-4.24zM34.1 150.68a3.08 3.08 0 0 0 3.34 2.38c2 0 2.78-.86 2.78-2.11s-.62-1.89-3.24-2.51c-3.91-.94-4.72-2.16-4.72-4s1.43-3.83 4.94-3.83 5 2.05 5.16 3.94h-2.27a2.74 2.74 0 0 0-3-2.11c-1.92 0-2.51.92-2.51 1.81s.57 1.54 3.08 2.13c4.15 1 5 2.38 5 4.4 0 2.41-1.92 4.16-5.32 4.16s-5.29-1.78-5.64-4.24zM57.42 147.71c0 4-2.27 7.21-6.45 7.21-3.91 0-6.29-3-6.29-7.15s2.32-7.18 6.45-7.18c3.81 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.51 5.21 4 5.21s3.91-2.08 3.91-5.18-1.4-5.21-4-5.21-3.91 2.11-3.91 5.25zM71.33 150.41a5.42 5.42 0 0 1-5.65 4.51c-3.77 0-6.1-2.7-6.1-7.1 0-3.86 2.19-7.23 6.27-7.23a5.1 5.1 0 0 1 5.48 4.56h-2.35a3 3 0 0 0-3.19-2.59c-2.4 0-3.78 2.08-3.78 5.18s1.33 5.21 3.7 5.21a3.27 3.27 0 0 0 3.27-2.54zM74.27 137.78v-3h2.38v3zm0 3.18h2.38v13.69h-2.38zM90.58 151.6a21.46 21.46 0 0 0 .19 3H88.5a7.11 7.11 0 0 1-.17-1.82c-.48.89-1.59 2.1-4.24 2.1-3.23 0-4.61-2.1-4.61-4.18 0-3.05 2.4-4.46 6.48-4.46h2.27v-1.16c0-1.21-.38-2.67-2.94-2.67-2.27 0-2.68 1.13-2.92 2.19h-2.29c.19-1.89 1.35-4.05 5.29-4.05 3.34 0 5.21 1.38 5.21 4.48zm-2.32-3.67h-2.22c-2.72 0-4.18.76-4.18 2.67a2.4 2.4 0 0 0 2.67 2.46c3.29 0 3.73-2.21 3.73-4.7zM92.58 140.91h2.37v-4h2.38v4h3v1.92h-3v8c0 1.35.33 2 1.57 2a6.42 6.42 0 0 0 1.19-.11v1.78a6.23 6.23 0 0 1-2.06.25c-2.13 0-3-1.11-3-3.38v-8.58h-2.45zM102.7 137.78v-3h2.38v3zm0 3.18h2.38v13.69h-2.38zM120.74 147.71c0 4-2.27 7.21-6.46 7.21-3.91 0-6.28-3-6.28-7.15s2.32-7.18 6.45-7.18c3.8 0 6.29 2.83 6.29 7.12zm-10.32 0c0 3 1.52 5.21 4 5.21s3.91-2.05 3.91-5.14-1.41-5.21-4-5.21-3.91 2.07-3.91 5.21zM123.68 144.37v-3.46h2.3a21.13 21.13 0 0 1 .11 2.24 4.28 4.28 0 0 1 4.29-2.56c2.59 0 4.59 1.56 4.59 5.21v8.8h-2.38v-8.51c0-2.07-.81-3.45-2.89-3.45-2.59 0-3.61 2-3.61 4.72v7.24h-2.38zM145.93 154.6v-11.77h-2.19v-1.92h2.19v-1.64c0-2.51 1-4.75 4-4.75a6 6 0 0 1 1.52.16v2a5.86 5.86 0 0 0-1.19-.13c-1.41 0-1.95.86-1.95 2.86v1.48h2.76v1.92h-2.74v11.77zM164.72 147.71c0 4-2.27 7.21-6.45 7.21-3.92 0-6.29-3-6.29-7.15s2.32-7.18 6.45-7.18c3.8 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.51 5.21 4 5.21s3.92-2.05 3.92-5.14-1.41-5.21-4-5.21-3.92 2.07-3.92 5.21zM167.66 144.64v-3.73h2.32c0 .38.08 1.46.08 2.78a4.78 4.78 0 0 1 4.59-3.1v2.35c-2.81.08-4.59 1.56-4.59 5v6.64h-2.38zM185.33 149.36c.51 2.27 2 3.48 4.77 3.48 2.92 0 4.08-1.37 4.08-3.15s-.92-2.95-4.67-3.84c-4.43-1.08-6-2.59-6-5.23 0-2.81 2-5.08 6.23-5.08 4.48 0 6.32 2.59 6.59 5.05h-2.54c-.35-1.65-1.38-3-4.13-3-2.29 0-3.56 1-3.56 2.8s1 2.46 4.34 3.27c5.35 1.29 6.29 3.37 6.29 5.8 0 3-2.24 5.4-6.83 5.4s-6.75-2.59-7.15-5.48zM200.58 140.91c2.21 6.56 3.42 10.18 3.8 11.58.43-1.56 1.4-4.69 3.64-11.58h2.38l-4.91 14.31c-1.38 4-2.43 5-5.21 5-.44 0-.95 0-1.49-.08v-2h1.13c1.73 0 2.38-.76 3.19-3l-5.13-14.23zM212.83 144.45v-3.54h2.26a19.65 19.65 0 0 1 .11 2.11 4.22 4.22 0 0 1 4-2.43 3.78 3.78 0 0 1 3.81 2.46 4.63 4.63 0 0 1 4.34-2.46c2.24 0 4.32 1.32 4.32 5v9h-2.34v-8.71c0-1.57-.57-3.24-2.7-3.24s-3.21 1.67-3.21 4.1v7.86h-2.32v-8.64c0-1.75-.49-3.32-2.65-3.32s-3.24 1.78-3.24 4.37v7.59h-2.38zM235.54 134.78h2.38v8.07c.59-1.16 1.86-2.27 4.34-2.27 3.46 0 5.62 2.83 5.62 6.88s-2.11 7.45-6 7.45c-2.19 0-3.35-.81-4-2.13a15.55 15.55 0 0 1-.11 1.81h-2.27V150zm6.18 7.8c-2.91 0-3.94 1.94-3.94 5.21 0 2.86.92 5.12 3.81 5.12 2.43 0 3.86-2.07 3.86-5.39 0-2.96-1.35-4.93-3.73-4.93zM262.75 147.71c0 4-2.27 7.21-6.45 7.21-3.91 0-6.29-3-6.29-7.15s2.32-7.18 6.45-7.18c3.81 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.51 5.21 4 5.21s3.89-2.05 3.89-5.14-1.4-5.21-4-5.21-3.89 2.07-3.89 5.21zM265.7 154.6v-19.82h2.37v19.81zM271.96 137.78v-3h2.37v3zm0 3.18h2.37v13.69h-2.38zM289.02 150.41a5.41 5.41 0 0 1-5.64 4.51c-3.78 0-6.1-2.7-6.1-7.1 0-3.86 2.19-7.23 6.26-7.23a5.09 5.09 0 0 1 5.48 4.56h-2.34a3 3 0 0 0-3.19-2.59c-2.4 0-3.78 2.08-3.78 5.18s1.32 5.21 3.7 5.21a3.27 3.27 0 0 0 3.27-2.54zM298.91 135.78h2.48v16.66h9.8l-.35 2.13h-11.93zM325.33 147.71c0 4-2.26 7.21-6.45 7.21-3.91 0-6.29-3-6.29-7.15s2.33-7.18 6.45-7.18c3.84 0 6.29 2.83 6.29 7.12zm-10.31 0c0 3 1.52 5.21 4 5.21s3.92-2.08 3.92-5.18-1.41-5.21-4-5.21-3.89 2.11-3.89 5.25zM339.75 153.36c0 4.4-1.8 6.88-6.28 6.88-4.16 0-5.43-2.32-5.67-4.18h2.4a3.13 3.13 0 0 0 3.37 2.29c3.11 0 3.86-2 3.86-5.1v-1.11c-.73 1.51-2 2.4-4.26 2.4-3.38 0-5.67-2.75-5.67-6.77 0-4.45 2.62-7.18 5.91-7.18 2.62 0 3.73 1.21 4 2.13 0-.62.11-1.54.14-1.81h2.21v3.94zm-6-.84c2.94 0 3.8-2 3.8-5s-.81-4.91-3.72-4.91c-2.54 0-3.83 2.13-3.83 5.07s1.47 4.84 3.71 4.84zM343.65 137.78v-3h2.37v3zm0 3.18h2.37v13.69h-2.37zM360.71 150.41a5.42 5.42 0 0 1-5.64 4.51c-3.78 0-6.11-2.7-6.11-7.1 0-3.86 2.19-7.23 6.27-7.23a5.1 5.1 0 0 1 5.48 4.56h-2.38a3 3 0 0 0-3.19-2.59c-2.4 0-3.78 2.08-3.78 5.18s1.33 5.21 3.7 5.21a3.27 3.27 0 0 0 3.27-2.54zM132.59 0a22.41 22.41 0 1 0 0 44.81h62.74a31.43 31.43 0 0 1 0 62.86l-60.55-.24L83.13 0H60.48L0 125.56h20.1L71.89 17.9l51.79 107.66h71.65a49.32 49.32 0 0 0 0-98.64h-62.74a4.43 4.43 0 0 1-4.6-4.43 4.57 4.57 0 0 1 4.6-4.59h119.76v107.69H360v-17.92h-89.61V0h-137.8"/><image alt="The Association for Symbolic Logic" class="asl" src="./wp-content/themes/underscore_s/images/asl-logo.png"></image></svg></a></div> <div class="site-address">Department of Mathematics<br />University of Connecticut<br /><a class="footer-link" href="https://maps.google.com/?q=341+Mansfield+Road&entry=gmail&source=g">341 Mansfield Road,</a> U-1009<br /> Storrs, CT 06269-1009, USA<br> <a href="mailto:asl@uconn.edu" class="footer-link" target="_blank" rel="noopener">asl@uconn.edu</a><br /> <br />All information 漏 Association for Symbolic Logic 2018</div>  </div> </footer> </div> <script type='text/javascript' src='https://aslonline.org/wp-content/plugins/bootstrap-modals/js/bootstrap.min.js?ver=3.3.7' id='modaljs-js'></script> <script type='text/javascript' src='https://aslonline.org/wp-content/themes/underscore_s/js/navigation.js?ver=20151215' id='asl-navigation-js'></script> <script type='text/javascript' src='https://aslonline.org/wp-content/themes/underscore_s/js/skip-link-focus-fix.js?ver=20151215' id='asl-skip-link-focus-fix-js'></script> </body> </html>