CINXE.COM
Logic
<!DOCTYPE html> <html lang="en"> <head> <title>Logic </title> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="apple-touch-icon" sizes="180x180" href="/static/browse/0.3.4/images/icons/apple-touch-icon.png"> <link rel="icon" type="image/png" sizes="32x32" href="/static/browse/0.3.4/images/icons/favicon-32x32.png"> <link rel="icon" type="image/png" sizes="16x16" href="/static/browse/0.3.4/images/icons/favicon-16x16.png"> <link rel="manifest" href="/static/browse/0.3.4/images/icons/site.webmanifest"> <link rel="mask-icon" href="/static/browse/0.3.4/images/icons/safari-pinned-tab.svg" color="#5bbad5"> <meta name="msapplication-TileColor" content="#da532c"> <meta name="theme-color" content="#ffffff"> <link rel="stylesheet" type="text/css" media="screen" href="/static/browse/0.3.4/css/arXiv.css?v=20241206" /> <link rel="stylesheet" type="text/css" media="print" href="/static/browse/0.3.4/css/arXiv-print.css?v=20200611" /> <link rel="stylesheet" type="text/css" media="screen" href="/static/browse/0.3.4/css/browse_search.css" /> <script language="javascript" src="/static/browse/0.3.4/js/accordion.js" /></script> <script src="/static/browse/0.3.4/js/mathjaxToggle.min.js" type="text/javascript"></script> <script type="text/javascript" language="javascript">mathjaxToggle();</script> </head> <body class="with-cu-identity"> <div class="flex-wrap-footer"> <header> <a href="#content" class="is-sr-only">Skip to main content</a> <!-- start desktop header --> <div class="columns is-vcentered is-hidden-mobile" id="cu-identity"> <div class="column" id="cu-logo"> <a href="https://www.cornell.edu/"><img src="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg" alt="Cornell University" /></a> </div><div class="column" id="support-ack"> <span id="support-ack-url">We gratefully acknowledge support from the Simons Foundation, <a href="https://info.arxiv.org/about/ourmembers.html">member institutions</a>, and all contributors.</span> <a href="https://info.arxiv.org/about/donate.html" class="btn-header-donate">Donate</a> </div> </div> <div id="header" class="is-hidden-mobile"> <a aria-hidden="true" tabindex="-1" href="/IgnoreMe"></a> <div class="header-breadcrumbs"> <a href="/"><img src="/static/browse/0.3.4/images/arxiv-logo-one-color-white.svg" alt="arxiv logo" style="height:40px;"/></a> <span>></span> <a href="/list/math.LO/recent">math.LO</a> </div> <div class="search-block level-right"> <form class="level-item mini-search" method="GET" action="https://arxiv.org/search"> <div class="field has-addons"> <div class="control"> <input class="input is-small" type="text" name="query" placeholder="Search..." aria-label="Search term or terms" /> <p class="help"><a href="https://info.arxiv.org/help">Help</a> | <a href="https://arxiv.org/search/advanced">Advanced Search</a></p> </div> <div class="control"> <div class="select is-small"> <select name="searchtype" aria-label="Field to search"> <option value="all" selected="selected">All fields</option> <option value="title">Title</option> <option value="author">Author</option> <option value="abstract">Abstract</option> <option value="comments">Comments</option> <option value="journal_ref">Journal reference</option> <option value="acm_class">ACM classification</option> <option value="msc_class">MSC classification</option> <option value="report_num">Report number</option> <option value="paper_id">arXiv identifier</option> <option value="doi">DOI</option> <option value="orcid">ORCID</option> <option value="author_id">arXiv author ID</option> <option value="help">Help pages</option> <option value="full_text">Full text</option> </select> </div> </div> <input type="hidden" name="source" value="header"> <button class="button is-small is-cul-darker">Search</button> </div> </form> </div> </div><!-- /end desktop header --> <div class="mobile-header"> <div class="columns is-mobile"> <div class="column logo-arxiv"><a href="https://arxiv.org/"><img src="/static/browse/0.3.4/images/arxiv-logomark-small-white.svg" alt="arXiv logo" style="height:60px;" /></a></div> <div class="column logo-cornell"><a href="https://www.cornell.edu/"> <picture> <source media="(min-width: 501px)" srcset="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg 400w" sizes="400w" /> <source srcset="/static/browse/0.3.4/images/icons/cu/cornell_seal_simple_black.svg 2x" /> <img src="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg" alt="Cornell University Logo" /> </picture> </a></div> <div class="column nav" id="toggle-container" role="menubar"> <button class="toggle-control"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-white"><title>open search</title><path d="M505 442.7L405.3 343c-4.5-4.5-10.6-7-17-7H372c27.6-35.3 44-79.7 44-128C416 93.1 322.9 0 208 0S0 93.1 0 208s93.1 208 208 208c48.3 0 92.7-16.4 128-44v16.3c0 6.4 2.5 12.5 7 17l99.7 99.7c9.4 9.4 24.6 9.4 33.9 0l28.3-28.3c9.4-9.4 9.4-24.6.1-34zM208 336c-70.7 0-128-57.2-128-128 0-70.7 57.2-128 128-128 70.7 0 128 57.2 128 128 0 70.7-57.2 128-128 128z"/></svg></button> <div class="mobile-toggle-block toggle-target"> <form class="mobile-search-form" method="GET" action="https://arxiv.org/search"> <div class="field has-addons"> <input class="input" type="text" name="query" placeholder="Search..." aria-label="Search term or terms" /> <input type="hidden" name="source" value="header"> <input type="hidden" name="searchtype" value="all"> <button class="button">GO</button> </div> </form> </div> <button class="toggle-control"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512" class="icon filter-white" role="menu"><title>open navigation menu</title><path d="M16 132h416c8.837 0 16-7.163 16-16V76c0-8.837-7.163-16-16-16H16C7.163 60 0 67.163 0 76v40c0 8.837 7.163 16 16 16zm0 160h416c8.837 0 16-7.163 16-16v-40c0-8.837-7.163-16-16-16H16c-8.837 0-16 7.163-16 16v40c0 8.837 7.163 16 16 16zm0 160h416c8.837 0 16-7.163 16-16v-40c0-8.837-7.163-16-16-16H16c-8.837 0-16 7.163-16 16v40c0 8.837 7.163 16 16 16z"/ ></svg></button> <div class="mobile-toggle-block toggle-target"> <nav class="mobile-menu" aria-labelledby="mobilemenulabel"> <h2 id="mobilemenulabel">quick links</h2> <ul> <li><a href="https://arxiv.org/login">Login</a></li> <li><a href="https://info.arxiv.org/help">Help Pages</a></li> <li><a href="https://info.arxiv.org/about">About</a></li> </ul> </nav> </div> </div> </div> </div><!-- /end mobile-header --> </header> <main> <div id="content"> <div id='content-inner'> <div id='dlpage'> <h1>Logic</h1> <h2>Authors and titles for recent submissions</h2> <ul> <li> <a href="/list/math.LO/recent?skip=0&show=50"> Fri, 21 Mar 2025 </a> </li><li> <a href="/list/math.LO/recent?skip=0&show=50"> Thu, 20 Mar 2025 </a> </li><li> <a href="/list/math.LO/recent?skip=7&show=50"> Wed, 19 Mar 2025 </a> </li><li> <a href="/list/math.LO/recent?skip=15&show=50"> Tue, 18 Mar 2025 </a> </li><li> <a href="/list/math.LO/recent?skip=27&show=50"> Mon, 17 Mar 2025 </a> </li></ul> <p>See today's <a id="new-math.LO" aria-labelledby="new-math.LO" href="/list/math.LO/new">new</a> changes</p> <div class='paging'>Total of 30 entries </div> <div class='morefewer'>Showing up to 50 entries per page: <a href=/list/math.LO/recent?skip=0&show=25 rel="nofollow"> fewer</a> | <span style="color: #454545">more</span> | <span style="color: #454545">all</span> </div> <dl id='articles'> <h3>Fri, 21 Mar 2025</h3> <p>No updates for this time period.</p> </dl> <dl id='articles'> <h3>Thu, 20 Mar 2025 (showing 7 of 7 entries )</h3> <dt> <a name='item1'>[1]</a> <a href ="/abs/2503.15431" title="Abstract" id="2503.15431"> arXiv:2503.15431 </a> [<a href="/pdf/2503.15431" title="Download PDF" id="pdf-2503.15431" aria-labelledby="pdf-2503.15431">pdf</a>, <a href="https://arxiv.org/html/2503.15431v1" title="View HTML" id="html-2503.15431" aria-labelledby="html-2503.15431" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.15431" title="Other formats" id="oth-2503.15431" aria-labelledby="oth-2503.15431">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A biequivalence of path categories and axiomatic Martin-L枚f type theories </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Otten,+D">Dani毛l Otten</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Spadetto,+M">Matteo Spadetto</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 32 pages, comments welcome </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span>; Logic in Computer Science (cs.LO); Algebraic Topology (math.AT); Category Theory (math.CT) </div> </div> </dd> <dt> <a name='item2'>[2]</a> <a href ="/abs/2503.15381" title="Abstract" id="2503.15381"> arXiv:2503.15381 </a> [<a href="/pdf/2503.15381" title="Download PDF" id="pdf-2503.15381" aria-labelledby="pdf-2503.15381">pdf</a>, <a href="https://arxiv.org/html/2503.15381v1" title="View HTML" id="html-2503.15381" aria-labelledby="html-2503.15381" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.15381" title="Other formats" id="oth-2503.15381" aria-labelledby="oth-2503.15381">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Un teorema de Ramsey para los enteros </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Caicedo,+A+E">Andr茅s Eduardo Caicedo</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 8 pages, in Spanish language </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span>; Combinatorics (math.CO) </div> </div> </dd> <dt> <a name='item3'>[3]</a> <a href ="/abs/2503.15292" title="Abstract" id="2503.15292"> arXiv:2503.15292 </a> [<a href="/pdf/2503.15292" title="Download PDF" id="pdf-2503.15292" aria-labelledby="pdf-2503.15292">pdf</a>, <a href="https://arxiv.org/html/2503.15292v1" title="View HTML" id="html-2503.15292" aria-labelledby="html-2503.15292" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.15292" title="Other formats" id="oth-2503.15292" aria-labelledby="oth-2503.15292">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Constructive Quantum Logics </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Aguilera,+J+P">Juan P. Aguilera</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Massas,+G">Guillaume Massas</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item4'>[4]</a> <a href ="/abs/2503.15007" title="Abstract" id="2503.15007"> arXiv:2503.15007 </a> [<a href="/pdf/2503.15007" title="Download PDF" id="pdf-2503.15007" aria-labelledby="pdf-2503.15007">pdf</a>, <a href="https://arxiv.org/html/2503.15007v1" title="View HTML" id="html-2503.15007" aria-labelledby="html-2503.15007" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.15007" title="Other formats" id="oth-2503.15007" aria-labelledby="oth-2503.15007">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Supervaluations, truth, and intuitionistic logic </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Dopico,+P">Pablo Dopico</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span> </div> </div> </dd> <dt> <a name='item5'>[5]</a> <a href ="/abs/2503.14811" title="Abstract" id="2503.14811"> arXiv:2503.14811 </a> [<a href="/pdf/2503.14811" title="Download PDF" id="pdf-2503.14811" aria-labelledby="pdf-2503.14811">pdf</a>, <a href="https://arxiv.org/html/2503.14811v1" title="View HTML" id="html-2503.14811" aria-labelledby="html-2503.14811" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.14811" title="Other formats" id="oth-2503.14811" aria-labelledby="oth-2503.14811">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Forcing, genericity and CBERS </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Calderoni,+F">Filippo Calderoni</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Sinapova,+D">Dima Sinapova</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 10 pages, comments are welcome </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span> </div> </div> </dd> <dt> <a name='item6'>[6]</a> <a href ="/abs/2503.14638" title="Abstract" id="2503.14638"> arXiv:2503.14638 </a> [<a href="/pdf/2503.14638" title="Download PDF" id="pdf-2503.14638" aria-labelledby="pdf-2503.14638">pdf</a>, <a href="/format/2503.14638" title="Other formats" id="oth-2503.14638" aria-labelledby="oth-2503.14638">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Connecting the space of marked groups and the space of group operations </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=K%C3%A1tay,+T">Tam谩s K谩tay</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 12 pages, 1 figure </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span>; Group Theory (math.GR) </div> </div> </dd> <dt> <a name='item7'>[7]</a> <a href ="/abs/2503.14825" title="Abstract" id="2503.14825"> arXiv:2503.14825 </a> (cross-list from math.CO) [<a href="/pdf/2503.14825" title="Download PDF" id="pdf-2503.14825" aria-labelledby="pdf-2503.14825">pdf</a>, <a href="https://arxiv.org/html/2503.14825v1" title="View HTML" id="html-2503.14825" aria-labelledby="html-2503.14825" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.14825" title="Other formats" id="oth-2503.14825" aria-labelledby="oth-2503.14825">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Simplicial complexes, stellar moves, and projective amalgamation </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Solecki,+S">S艂awomir Solecki</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Combinatorics (math.CO)</span>; Algebraic Geometry (math.AG); Logic (math.LO) </div> </div> </dd> </dl> <dl id='articles'> <h3>Wed, 19 Mar 2025 (showing 8 of 8 entries )</h3> <dt> <a name='item8'>[8]</a> <a href ="/abs/2503.14458" title="Abstract" id="2503.14458"> arXiv:2503.14458 </a> [<a href="/pdf/2503.14458" title="Download PDF" id="pdf-2503.14458" aria-labelledby="pdf-2503.14458">pdf</a>, <a href="https://arxiv.org/html/2503.14458v1" title="View HTML" id="html-2503.14458" aria-labelledby="html-2503.14458" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.14458" title="Other formats" id="oth-2503.14458" aria-labelledby="oth-2503.14458">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Analysis of HOD for Admissible Structures </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Kruschewski,+J">Jan Kruschewski</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Schlutzenberg,+F">Farmer Schlutzenberg</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 52 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span> </div> </div> </dd> <dt> <a name='item9'>[9]</a> <a href ="/abs/2503.14081" title="Abstract" id="2503.14081"> arXiv:2503.14081 </a> [<a href="/pdf/2503.14081" title="Download PDF" id="pdf-2503.14081" aria-labelledby="pdf-2503.14081">pdf</a>, <a href="https://arxiv.org/html/2503.14081v1" title="View HTML" id="html-2503.14081" aria-labelledby="html-2503.14081" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.14081" title="Other formats" id="oth-2503.14081" aria-labelledby="oth-2503.14081">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> The logic of quasi MV star algebras </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Cai,+L">Lei Cai</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Jiang,+Y">Yingying Jiang</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Chen,+W">Wenjuan Chen</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 33 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span> </div> </div> </dd> <dt> <a name='item10'>[10]</a> <a href ="/abs/2503.13887" title="Abstract" id="2503.13887"> arXiv:2503.13887 </a> [<a href="/pdf/2503.13887" title="Download PDF" id="pdf-2503.13887" aria-labelledby="pdf-2503.13887">pdf</a>, <a href="https://arxiv.org/html/2503.13887v1" title="View HTML" id="html-2503.13887" aria-labelledby="html-2503.13887" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.13887" title="Other formats" id="oth-2503.13887" aria-labelledby="oth-2503.13887">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Strong quasi-MV* algebras and their logics </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Cai,+L">Lei Cai</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Chen,+W">Wenjuan Chen</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span> </div> </div> </dd> <dt> <a name='item11'>[11]</a> <a href ="/abs/2503.13744" title="Abstract" id="2503.13744"> arXiv:2503.13744 </a> [<a href="/pdf/2503.13744" title="Download PDF" id="pdf-2503.13744" aria-labelledby="pdf-2503.13744">pdf</a>, <a href="https://arxiv.org/html/2503.13744v1" title="View HTML" id="html-2503.13744" aria-labelledby="html-2503.13744" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.13744" title="Other formats" id="oth-2503.13744" aria-labelledby="oth-2503.13744">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Jonsson and Magidor filters </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Ben-Neria,+O">Omer Ben-Neria</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Garti,+S">Shimon Garti</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span> </div> </div> </dd> <dt> <a name='item12'>[12]</a> <a href ="/abs/2503.13728" title="Abstract" id="2503.13728"> arXiv:2503.13728 </a> [<a href="/pdf/2503.13728" title="Download PDF" id="pdf-2503.13728" aria-labelledby="pdf-2503.13728">pdf</a>, <a href="https://arxiv.org/html/2503.13728v1" title="View HTML" id="html-2503.13728" aria-labelledby="html-2503.13728" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.13728" title="Other formats" id="oth-2503.13728" aria-labelledby="oth-2503.13728">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> The class of Aronszajn lines under epimorphisms </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Polymeris,+L">Lucas Polymeris</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Martinez-Ranero,+C">Carlos Martinez-Ranero</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 28 pages, 1 figure </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span>; General Topology (math.GN) </div> </div> </dd> <dt> <a name='item13'>[13]</a> <a href ="/abs/2503.13727" title="Abstract" id="2503.13727"> arXiv:2503.13727 </a> [<a href="/pdf/2503.13727" title="Download PDF" id="pdf-2503.13727" aria-labelledby="pdf-2503.13727">pdf</a>, <a href="https://arxiv.org/html/2503.13727v1" title="View HTML" id="html-2503.13727" aria-labelledby="html-2503.13727" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.13727" title="Other formats" id="oth-2503.13727" aria-labelledby="oth-2503.13727">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Failure Modes for Structural Highness Notions </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Calvert,+W">Wesley Calvert</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Franklin,+J+N">Johanna N.Y. Franklin</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Turetsky,+D">Dan Turetsky</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span> </div> </div> </dd> <dt> <a name='item14'>[14]</a> <a href ="/abs/2503.13692" title="Abstract" id="2503.13692"> arXiv:2503.13692 </a> [<a href="/pdf/2503.13692" title="Download PDF" id="pdf-2503.13692" aria-labelledby="pdf-2503.13692">pdf</a>, <a href="/format/2503.13692" title="Other formats" id="oth-2503.13692" aria-labelledby="oth-2503.13692">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> On abstract and concrete minions </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Juhrich,+L">Lukas Juhrich</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 144 Pages. Revised version of a Master's thesis originally submitted on 2024-06-03. Source code available on <a href="https://gitlab.com/lukasjuhrich/ma/" rel="external noopener nofollow" class="link-external link-https">this https URL</a> </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span>; Category Theory (math.CT); Rings and Algebras (math.RA) </div> </div> </dd> <dt> <a name='item15'>[15]</a> <a href ="/abs/2503.13536" title="Abstract" id="2503.13536"> arXiv:2503.13536 </a> [<a href="/pdf/2503.13536" title="Download PDF" id="pdf-2503.13536" aria-labelledby="pdf-2503.13536">pdf</a>, <a href="https://arxiv.org/html/2503.13536v1" title="View HTML" id="html-2503.13536" aria-labelledby="html-2503.13536" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.13536" title="Other formats" id="oth-2503.13536" aria-labelledby="oth-2503.13536">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A Survey on Lawvere's Fixed-Point Theorem </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Barreto,+J+R">Joaquim Reizi Barreto</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 29 pages, 1 figure, and supplementary appendices </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span>; Category Theory (math.CT); History and Overview (math.HO) </div> </div> </dd> </dl> <dl id='articles'> <h3>Tue, 18 Mar 2025 (showing 12 of 12 entries )</h3> <dt> <a name='item16'>[16]</a> <a href ="/abs/2503.13242" title="Abstract" id="2503.13242"> arXiv:2503.13242 </a> [<a href="/pdf/2503.13242" title="Download PDF" id="pdf-2503.13242" aria-labelledby="pdf-2503.13242">pdf</a>, <a href="https://arxiv.org/html/2503.13242v1" title="View HTML" id="html-2503.13242" aria-labelledby="html-2503.13242" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.13242" title="Other formats" id="oth-2503.13242" aria-labelledby="oth-2503.13242">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> On groups definable in geometric fields with generic derivations </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Pilay,+A">Anand Pilay</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Point,+F">Fran莽oise Point</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Rideau-Kikuchi,+S">Silvain Rideau-Kikuchi</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 9 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span> </div> </div> </dd> <dt> <a name='item17'>[17]</a> <a href ="/abs/2503.12965" title="Abstract" id="2503.12965"> arXiv:2503.12965 </a> [<a href="/pdf/2503.12965" title="Download PDF" id="pdf-2503.12965" aria-labelledby="pdf-2503.12965">pdf</a>, <a href="https://arxiv.org/html/2503.12965v1" title="View HTML" id="html-2503.12965" aria-labelledby="html-2503.12965" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.12965" title="Other formats" id="oth-2503.12965" aria-labelledby="oth-2503.12965">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Normative implications </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=De+Domenico,+A">Andrea De Domenico</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Farjami,+A">Ali Farjami</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Manoorkar,+K">Krishna Manoorkar</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Palmigiano,+A">Alessandra Palmigiano</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Panettiere,+M">Mattia Panettiere</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Tzimoulis,+A">Apostolos Tzimoulis</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Wang,+X">Xiaolong Wang</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span> </div> </div> </dd> <dt> <a name='item18'>[18]</a> <a href ="/abs/2503.12713" title="Abstract" id="2503.12713"> arXiv:2503.12713 </a> [<a href="/pdf/2503.12713" title="Download PDF" id="pdf-2503.12713" aria-labelledby="pdf-2503.12713">pdf</a>, <a href="/format/2503.12713" title="Other formats" id="oth-2503.12713" aria-labelledby="oth-2503.12713">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Martin's measurable dilator </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Jeon,+H">Hanul Jeon</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 47 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span> </div> </div> </dd> <dt> <a name='item19'>[19]</a> <a href ="/abs/2503.12673" title="Abstract" id="2503.12673"> arXiv:2503.12673 </a> [<a href="/pdf/2503.12673" title="Download PDF" id="pdf-2503.12673" aria-labelledby="pdf-2503.12673">pdf</a>, <a href="https://arxiv.org/html/2503.12673v1" title="View HTML" id="html-2503.12673" aria-labelledby="html-2503.12673" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.12673" title="Other formats" id="oth-2503.12673" aria-labelledby="oth-2503.12673">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Logic Blog 2023-2024 </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Nies,+A">Andre Nies</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span> </div> </div> </dd> <dt> <a name='item20'>[20]</a> <a href ="/abs/2503.12373" title="Abstract" id="2503.12373"> arXiv:2503.12373 </a> [<a href="/pdf/2503.12373" title="Download PDF" id="pdf-2503.12373" aria-labelledby="pdf-2503.12373">pdf</a>, <a href="https://arxiv.org/html/2503.12373v1" title="View HTML" id="html-2503.12373" aria-labelledby="html-2503.12373" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.12373" title="Other formats" id="oth-2503.12373" aria-labelledby="oth-2503.12373">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Doubly partially conservative sentences </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Kogure,+H">Haruka Kogure</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Kurahashi,+T">Taishi Kurahashi</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 25 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span> </div> </div> </dd> <dt> <a name='item21'>[21]</a> <a href ="/abs/2503.12274" title="Abstract" id="2503.12274"> arXiv:2503.12274 </a> [<a href="/pdf/2503.12274" title="Download PDF" id="pdf-2503.12274" aria-labelledby="pdf-2503.12274">pdf</a>, <a href="https://arxiv.org/html/2503.12274v1" title="View HTML" id="html-2503.12274" aria-labelledby="html-2503.12274" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.12274" title="Other formats" id="oth-2503.12274" aria-labelledby="oth-2503.12274">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Domination, fibrations and splitting </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Eagles,+C">Christine Eagles</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Jimenez,+L">L茅o Jimenez</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 21 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span> </div> </div> </dd> <dt> <a name='item22'>[22]</a> <a href ="/abs/2503.12144" title="Abstract" id="2503.12144"> arXiv:2503.12144 </a> [<a href="/pdf/2503.12144" title="Download PDF" id="pdf-2503.12144" aria-labelledby="pdf-2503.12144">pdf</a>, <a href="https://arxiv.org/html/2503.12144v1" title="View HTML" id="html-2503.12144" aria-labelledby="html-2503.12144" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.12144" title="Other formats" id="oth-2503.12144" aria-labelledby="oth-2503.12144">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A Natural Transformation between the Completeness and Compactness Theorems in Classical Logic </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Barreto,+J+R">Joaquim Reizi Barreto</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span>; Logic in Computer Science (cs.LO); Category Theory (math.CT) </div> </div> </dd> <dt> <a name='item23'>[23]</a> <a href ="/abs/2503.13276" title="Abstract" id="2503.13276"> arXiv:2503.13276 </a> (cross-list from cs.LO) [<a href="/pdf/2503.13276" title="Download PDF" id="pdf-2503.13276" aria-labelledby="pdf-2503.13276">pdf</a>, <a href="https://arxiv.org/html/2503.13276v1" title="View HTML" id="html-2503.13276" aria-labelledby="html-2503.13276" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.13276" title="Other formats" id="oth-2503.13276" aria-labelledby="oth-2503.13276">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Borzechowski,+M">Manfred Borzechowski</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gattinger,+M">Malvin Gattinger</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Hansen,+H+H">Helle Hvid Hansen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Ramanayake,+R">Revantha Ramanayake</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Dalmas,+V+T">Valentina Trucco Dalmas</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Venema,+Y">Yde Venema</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Logic (math.LO) </div> </div> </dd> <dt> <a name='item24'>[24]</a> <a href ="/abs/2503.13146" title="Abstract" id="2503.13146"> arXiv:2503.13146 </a> (cross-list from math.GN) [<a href="/pdf/2503.13146" title="Download PDF" id="pdf-2503.13146" aria-labelledby="pdf-2503.13146">pdf</a>, <a href="https://arxiv.org/html/2503.13146v1" title="View HTML" id="html-2503.13146" aria-labelledby="html-2503.13146" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.13146" title="Other formats" id="oth-2503.13146" aria-labelledby="oth-2503.13146">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> On Sierpi艅ski sets, Hurewicz spaces and Hilgers functions </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Marciszewski,+W">Witold Marciszewski</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Pol,+R">Roman Pol</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Zakrzewski,+P">Piotr Zakrzewski</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">General Topology (math.GN)</span>; Logic (math.LO) </div> </div> </dd> <dt> <a name='item25'>[25]</a> <a href ="/abs/2503.12997" title="Abstract" id="2503.12997"> arXiv:2503.12997 </a> (cross-list from math.GR) [<a href="/pdf/2503.12997" title="Download PDF" id="pdf-2503.12997" aria-labelledby="pdf-2503.12997">pdf</a>, <a href="https://arxiv.org/html/2503.12997v1" title="View HTML" id="html-2503.12997" aria-labelledby="html-2503.12997" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.12997" title="Other formats" id="oth-2503.12997" aria-labelledby="oth-2503.12997">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A permutation group acting transitively on certain collections of models </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Corson,+S+M">Samuel M. Corson</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Shelah,+S">Saharon Shelah</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Group Theory (math.GR)</span>; Logic (math.LO) </div> </div> </dd> <dt> <a name='item26'>[26]</a> <a href ="/abs/2503.12523" title="Abstract" id="2503.12523"> arXiv:2503.12523 </a> (cross-list from cs.LO) [<a href="/pdf/2503.12523" title="Download PDF" id="pdf-2503.12523" aria-labelledby="pdf-2503.12523">pdf</a>, <a href="https://arxiv.org/html/2503.12523v1" title="View HTML" id="html-2503.12523" aria-labelledby="html-2503.12523" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.12523" title="Other formats" id="oth-2503.12523" aria-labelledby="oth-2503.12523">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Chrysafis">Chrysafis</a> (Takis)<a href="https://arxiv.org/search/cs?searchtype=author&query=Hartonas">Hartonas</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Logic (math.LO) </div> </div> </dd> <dt> <a name='item27'>[27]</a> <a href ="/abs/2503.11772" title="Abstract" id="2503.11772"> arXiv:2503.11772 </a> (cross-list from math.GR) [<a href="/pdf/2503.11772" title="Download PDF" id="pdf-2503.11772" aria-labelledby="pdf-2503.11772">pdf</a>, <a href="https://arxiv.org/html/2503.11772v1" title="View HTML" id="html-2503.11772" aria-labelledby="html-2503.11772" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.11772" title="Other formats" id="oth-2503.11772" aria-labelledby="oth-2503.11772">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Generic torsion-free groups and Rubin actions </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Koberda,+T">Thomas Koberda</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Lodha,+Y">Yash Lodha</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 10 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Group Theory (math.GR)</span>; Geometric Topology (math.GT); Logic (math.LO) </div> </div> </dd> </dl> <dl id='articles'> <h3>Mon, 17 Mar 2025 (showing 3 of 3 entries )</h3> <dt> <a name='item28'>[28]</a> <a href ="/abs/2503.11605" title="Abstract" id="2503.11605"> arXiv:2503.11605 </a> [<a href="/pdf/2503.11605" title="Download PDF" id="pdf-2503.11605" aria-labelledby="pdf-2503.11605">pdf</a>, <a href="https://arxiv.org/html/2503.11605v1" title="View HTML" id="html-2503.11605" aria-labelledby="html-2503.11605" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.11605" title="Other formats" id="oth-2503.11605" aria-labelledby="oth-2503.11605">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> On the spectrum of limit models </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Beard,+J">Jeremy Beard</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Mazari-Armida,+M">Marcos Mazari-Armida</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 43 pages. Key words and phrases: Limit models; Abstract Elementary Classes; Stability; Towers </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span> </div> </div> </dd> <dt> <a name='item29'>[29]</a> <a href ="/abs/2503.10816" title="Abstract" id="2503.10816"> arXiv:2503.10816 </a> [<a href="/pdf/2503.10816" title="Download PDF" id="pdf-2503.10816" aria-labelledby="pdf-2503.10816">pdf</a>, <a href="https://arxiv.org/html/2503.10816v1" title="View HTML" id="html-2503.10816" aria-labelledby="html-2503.10816" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.10816" title="Other formats" id="oth-2503.10816" aria-labelledby="oth-2503.10816">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> On the structure and theory of McCarthy algebras </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Bonzio,+S">Stefano Bonzio</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=John,+G+S">Gavin St. John</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic (math.LO)</span>; Rings and Algebras (math.RA) </div> </div> </dd> <dt> <a name='item30'>[30]</a> <a href ="/abs/2502.17017" title="Abstract" id="2502.17017"> arXiv:2502.17017 </a> (cross-list from cs.CL) [<a href="/pdf/2502.17017" title="Download PDF" id="pdf-2502.17017" aria-labelledby="pdf-2502.17017">pdf</a>, <a href="https://arxiv.org/html/2502.17017v1" title="View HTML" id="html-2502.17017" aria-labelledby="html-2502.17017" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2502.17017" title="Other formats" id="oth-2502.17017" aria-labelledby="oth-2502.17017">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Quantifying Logical Consistency in Transformers via Query-Key Alignment </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Tulchinskii,+E">Eduard Tulchinskii</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Voznyuk,+A">Anastasia Voznyuk</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Kushnareva,+L">Laida Kushnareva</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Andriiainen,+A">Andrei Andriiainen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Piontkovskaya,+I">Irina Piontkovskaya</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Burnaev,+E">Evgeny Burnaev</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Barannikov,+S">Serguei Barannikov</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Computation and Language (cs.CL)</span>; Information Theory (cs.IT); Machine Learning (cs.LG); Logic (math.LO) </div> </div> </dd> </dl> <div class='paging'>Total of 30 entries </div> <div class='morefewer'>Showing up to 50 entries per page: <a href=/list/math.LO/recent?skip=0&show=25 rel="nofollow"> fewer</a> | <span style="color: #454545">more</span> | <span style="color: #454545">all</span> </div> </div> </div> </div> </main> <footer style="clear: both;"> <div class="columns is-desktop" role="navigation" aria-label="Secondary" style="margin: -0.75em -0.75em 0.75em -0.75em"> <!-- Macro-Column 1 --> <div class="column" style="padding: 0;"> <div class="columns"> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/about">About</a></li> <li><a href="https://info.arxiv.org/help">Help</a></li> </ul> </div> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li> <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><title>contact arXiv</title><desc>Click here to contact arXiv</desc><path d="M502.3 190.8c3.9-3.1 9.7-.2 9.7 4.7V400c0 26.5-21.5 48-48 48H48c-26.5 0-48-21.5-48-48V195.6c0-5 5.7-7.8 9.7-4.7 22.4 17.4 52.1 39.5 154.1 113.6 21.1 15.4 56.7 47.8 92.2 47.6 35.7.3 72-32.8 92.3-47.6 102-74.1 131.6-96.3 154-113.7zM256 320c23.2.4 56.6-29.2 73.4-41.4 132.7-96.3 142.8-104.7 173.4-128.7 5.8-4.5 9.2-11.5 9.2-18.9v-19c0-26.5-21.5-48-48-48H48C21.5 64 0 85.5 0 112v19c0 7.4 3.4 14.3 9.2 18.9 30.6 23.9 40.7 32.4 173.4 128.7 16.8 12.2 50.2 41.8 73.4 41.4z"/></svg> <a href="https://info.arxiv.org/help/contact.html"> Contact</a> </li> <li> <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><title>subscribe to arXiv mailings</title><desc>Click here to subscribe</desc><path d="M476 3.2L12.5 270.6c-18.1 10.4-15.8 35.6 2.2 43.2L121 358.4l287.3-253.2c5.5-4.9 13.3 2.6 8.6 8.3L176 407v80.5c0 23.6 28.5 32.9 42.5 15.8L282 426l124.6 52.2c14.2 6 30.4-2.9 33-18.2l72-432C515 7.8 493.3-6.8 476 3.2z"/></svg> <a href="https://info.arxiv.org/help/subscribe"> Subscribe</a> </li> </ul> </div> </div> </div> <!-- End Macro-Column 1 --> <!-- Macro-Column 2 --> <div class="column" style="padding: 0;"> <div class="columns"> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/help/license/index.html">Copyright</a></li> <li><a href="https://info.arxiv.org/help/policies/privacy_policy.html">Privacy Policy</a></li> </ul> </div> <div class="column sorry-app-links"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/help/web_accessibility.html">Web Accessibility Assistance</a></li> <li> <p class="help"> <a class="a11y-main-link" href="https://status.arxiv.org" target="_blank">arXiv Operational Status <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 256 512" class="icon filter-dark_grey" role="presentation"><path d="M224.3 273l-136 136c-9.4 9.4-24.6 9.4-33.9 0l-22.6-22.6c-9.4-9.4-9.4-24.6 0-33.9l96.4-96.4-96.4-96.4c-9.4-9.4-9.4-24.6 0-33.9L54.3 103c9.4-9.4 24.6-9.4 33.9 0l136 136c9.5 9.4 9.5 24.6.1 34z"/></svg></a><br> Get status notifications via <a class="is-link" href="https://subscribe.sorryapp.com/24846f03/email/new" target="_blank"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><path d="M502.3 190.8c3.9-3.1 9.7-.2 9.7 4.7V400c0 26.5-21.5 48-48 48H48c-26.5 0-48-21.5-48-48V195.6c0-5 5.7-7.8 9.7-4.7 22.4 17.4 52.1 39.5 154.1 113.6 21.1 15.4 56.7 47.8 92.2 47.6 35.7.3 72-32.8 92.3-47.6 102-74.1 131.6-96.3 154-113.7zM256 320c23.2.4 56.6-29.2 73.4-41.4 132.7-96.3 142.8-104.7 173.4-128.7 5.8-4.5 9.2-11.5 9.2-18.9v-19c0-26.5-21.5-48-48-48H48C21.5 64 0 85.5 0 112v19c0 7.4 3.4 14.3 9.2 18.9 30.6 23.9 40.7 32.4 173.4 128.7 16.8 12.2 50.2 41.8 73.4 41.4z"/></svg>email</a> or <a class="is-link" href="https://subscribe.sorryapp.com/24846f03/slack/new" target="_blank"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512" class="icon filter-black" role="presentation"><path d="M94.12 315.1c0 25.9-21.16 47.06-47.06 47.06S0 341 0 315.1c0-25.9 21.16-47.06 47.06-47.06h47.06v47.06zm23.72 0c0-25.9 21.16-47.06 47.06-47.06s47.06 21.16 47.06 47.06v117.84c0 25.9-21.16 47.06-47.06 47.06s-47.06-21.16-47.06-47.06V315.1zm47.06-188.98c-25.9 0-47.06-21.16-47.06-47.06S139 32 164.9 32s47.06 21.16 47.06 47.06v47.06H164.9zm0 23.72c25.9 0 47.06 21.16 47.06 47.06s-21.16 47.06-47.06 47.06H47.06C21.16 243.96 0 222.8 0 196.9s21.16-47.06 47.06-47.06H164.9zm188.98 47.06c0-25.9 21.16-47.06 47.06-47.06 25.9 0 47.06 21.16 47.06 47.06s-21.16 47.06-47.06 47.06h-47.06V196.9zm-23.72 0c0 25.9-21.16 47.06-47.06 47.06-25.9 0-47.06-21.16-47.06-47.06V79.06c0-25.9 21.16-47.06 47.06-47.06 25.9 0 47.06 21.16 47.06 47.06V196.9zM283.1 385.88c25.9 0 47.06 21.16 47.06 47.06 0 25.9-21.16 47.06-47.06 47.06-25.9 0-47.06-21.16-47.06-47.06v-47.06h47.06zm0-23.72c-25.9 0-47.06-21.16-47.06-47.06 0-25.9 21.16-47.06 47.06-47.06h117.84c25.9 0 47.06 21.16 47.06 47.06 0 25.9-21.16 47.06-47.06 47.06H283.1z"/></svg>slack</a> </p> </li> </ul> </div> </div> </div> <!-- end MetaColumn 2 --> <!-- End Macro-Column 2 --> </div> </footer> </div> <script src="/static/base/1.0.1/js/member_acknowledgement.js"></script> </body> </html>