The Journal of Symbolic Logic - Serial Profile

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>The Journal of Symbolic Logic - Serial Profile - zbMATH Open</title> <meta name="viewport" content="width=device-width, minimum-scale=0.1, maximum-scale=5.0"> <meta name="robots" content="noarchive"> <meta name="referrer" content="origin-when-cross-origin"> <link href="https://static.zbmath.org/contrib/bootstrap/v3.3.7/css/bootstrap.min.css" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/contrib/bootstrap/v3.3.7/css/bootstrap-theme.min.css" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/contrib/bootstrap-lightbox/v0.7.0/bootstrap-lightbox.min.css" rel="stylesheet" media="screen,print"> <link rel="stylesheet" href="https://static.zbmath.org/contrib/bootstrap-select/v1.13.14/css/bootstrap-select.min.css"> <link href="/static/css/smoothness/jquery-ui-1.10.1.custom.min.css" rel="stylesheet" media="screen"> <link href="/static/styles.css?v=20241024" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/zbMathJax/v0.1.38/zbmathjax.css" rel="stylesheet" media="screen,print"> <link rel="shortcut icon" href="/static/zbmath.ico"> <script type="application/ld+json"> { "@context": "http://schema.org", "@type": "Organization", "url": "https://zbmath.org/", "logo": "https://zbmath.org/static/zbMATH.png" } </script> </head> <body> <div id="line"></div> <span id="clear" style="cursor: pointer;">×</span> <div id="page"> <div id="head"> <nav id="menu" class="navbar navbar-default"> <div class="container-fluid"> <div class="navbar-header"> <button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#zbnav" aria-expanded="false"> <span class="sr-only">Toggle navigation</span> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button> <a class="navbar-brand" href="#"> <img class="logo" src="/static/zbmath.gif" alt="zbMATH Open logo"> </a> </div> <div id="zbnav" class="collapse navbar-collapse"> <ul class="nav navbar-nav pages"> <li class="about"> <a href="/about/">About</a> </li> <li class="frequently-asked-questions"> <a href="/frequently-asked-questions/">FAQ</a> </li> <li class="general-help"> <a href="/general-help/">General Help</a> </li> <li class="reviewer-service"> <a href="https://zbmath.org/reviewer-service/" target="_self" >Reviewer Service</a> </li> <li> <a href="/tools-and-resources/">Tools & Resources</a> </li> <li class="contact"> <a href="/contact/">Contact</a> </li> </ul> <ul class="nav navbar-nav navbar-right prefs"> <li class="preferences dropdown"> <a data-toggle="dropdown" href="#">Preferences <i class="caret"></i></a> <ul class="dropdown-menu preferences"> <li> <form id="preferences" class="navbar-form" method="post" action="/preferences/" onsubmit="return confirm('This website uses cookies for the purposes of storing preference information on your device. Do you agree to this?\n\nPlease refer to our Privacy Policy to learn more about our use of cookies.')" > <input type="hidden" name="path" value="/serials/?q=se%3A524"> <span class=""> <label class="title">Search Form</label> <div class="form-group"> <input id="search-multi-line" type="radio" name="search" value="multi-line" checked> <label for="search-multi-line" class="radio">Multi-Line Search (default)</label> </div> <div class="form-group"> <input id="search-one-line" type="radio" name="search" value="one-line"> <label for="search-one-line" class="radio">One-Line Search</label> </div> </span> <span class="count"> <label class="title">Hits per Page</label> <div class="form-group"> <input id="count-10" type="radio" name="count" value="10"> <label for="count-10" class="radio">10</label> </div> <div class="form-group"> <input id="count-20" type="radio" name="count" value="20"> <label for="count-20" class="radio">20</label> </div> <div class="form-group"> <input id="count-50" type="radio" name="count" value="50"> <label for="count-50" class="radio">50</label> </div> <div class="form-group"> <input id="count-100" type="radio" name="count" value="100" checked> <label for="count-100" class="radio">100 (default)</label> </div> <div class="form-group"> <input id="count-200" type="radio" name="count" value="200"> <label for="count-200" class="radio">200</label> </div> </span> <span class="format"> <label class="title">Display Format</label> <div class="form-group"> <input id="format-mathjax" type="radio" name="format" value="mathjax" checked> <label for="format-mathjax" class="radio">MathJax (default)</label> </div> <div class="form-group"> <input id="format-amstex" type="radio" name="format" value="latex"> <label for="format-amstex" class="radio">LaTeX</label> </div> </span> <span class="ranking"> <label class="title">Documents Sorting</label> <div class="form-group"> <input id="documents-ranking-default" type="radio" name="documents_ranking" value="date" checked> <label for="documents-ranking-default" class="radio">Newest first (default)</label> </div> <div class="form-group"> <input id="documents-ranking-references" type="radio" name="documents_ranking" value="references"> <label for="documents-ranking-references" class="radio">Citations</label> </div> <div class="form-group"> <input id="documents-ranking-relevance" type="radio" name="documents_ranking" value="relevance"> <label for="documents-ranking-relevance" class="radio">Relevance</label> </div> </span> <span class="ranking"> <label class="title">Authors Sorting</label> <div class="form-group"> <input id="authors-ranking-default" type="radio" name="authors_ranking" value="alpha" checked> <label for="authors-ranking-default" class="radio">Alphabetically (default)</label> </div> <div class="form-group"> <input id="authors-ranking-references" type="radio" name="authors_ranking" value="references"> <label for="authors-ranking-references" class="radio">Citations</label> </div> </span> <span class="ranking"> <label class="title">Serials Sorting</label> <div class="form-group"> <input id="serials-ranking-default" type="radio" name="serials_ranking" value="alpha" checked> <label for="serials-ranking-default" class="radio">Alphabetically (default)</label> </div> <div class="form-group"> <input id="serials-ranking-references" type="radio" name="serials_ranking" value="references"> <label for="serials-ranking-references" class="radio">Citations</label> </div> </span> <span class="ranking"> <label class="title">Software Sorting</label> <div class="form-group"> <input id="software-ranking-default" type="radio" name="software_ranking" value="references" checked> <label for="software-ranking-default" class="radio">Citations (default)</label> </div> <div class="form-group"> <input id="software-ranking-alpha" type="radio" name="software_ranking" value="alpha"> <label for="software-ranking-alpha" class="radio">Alphabetically</label> </div> </span> <button type="submit" class="btn btn-default">OK</button> <div class="clearfix"> </form> </li> </ul> </li> </ul> </div> </div> </nav> <div id="tabs"> <h1 class="logo"> <a class="logo" href="/"> <img class="logo" src="/static/zbmath.gif" alt="zbMATH Open — the first resource for mathematics" > </a> </h1> <nav> <ul class="nav nav-tabs"> <li class="tab-documents"> <a href="/">Documents</a> </li> <li class="tab-authors"> <a href="/authors/">Authors</a> </li> <li class="tab-serials active"> <a href="/serials/">Serials</a> </li> <li class="tab-software"> <a href="/software/">Software</a> </li> <li class="tab-classification"> <a href="/classification/">Classification</a> </li> <li class="tab-formulae"> <a href="/formulae/">Formul忙</a> </li> </ul> </nav> <div class="clearfix"></div> </div> <div class="content-fixed"> <div class="content-formular"> <div style="display: none;"> <div class="row ml-0"id="multi-line-new-line" style="display: none;"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-0-f" aria-label="field"> <option data-type="input" value="any" selected>Anywhere</option> <option data-type="input" value="jt">Title</option> <option data-type="input" value="pu">Publisher / Editor</option> <option data-type="input" value="sn">ISSN</option> <option data-type="input" value="cc">Main Fields</option> <option data-type="input" value="py">Time Period</option> <option data-type="input" value="cy">Country</option> <option data-type="input" value="la">Languages</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><select class="form-control multi-line-operators multi-line-selectpicker" name="ml-0-op" aria-label="operator"> <option value="and" selected>AND</option> <option value="andnot">AND NOT</option> <option value="or">OR</option> </select></div> </div> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input"> <span class="multi-line-value" id="multi-line-type-range"><span style="padding-left: 5px;">from</span> <input name="ml-0-v1" class="form-control multi-line-input" type="text" value="" aria-label="value"> until <input name="ml-0-v2" class="form-control multi-line-input" type="text" value="" aria-label="value"></span> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-jt" placeholder="Title, Short Title or Abbreviation"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-cc" placeholder="field given by first two MSC digits"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-py" placeholder="enter year (e.g. 2018) or year range (e.g. 1990-2000)"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-cy" placeholder="Country of Publisher"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-la" placeholder="Language of indexed Documents"> </div> <form name="serials" method="GET" action="/serials/" autocomplete="off"> <div class="serials multi-line" style="display: none;"> <div class="forms"> <ul class="nav forms"> <li class="one-line"> <span tabindex="0" class="glyphicon glyphicon-question-sign" title="One-Line Search allows for free logical combinations of search fields" aria-label="One-Line Search allows for free logical combinations of search fields" data-placement="bottom"></span> <a style="display: inline-block;" href="#">One-Line Search <span class="glyphicon glyphicon-search"></span></a> </li> </ul> </div> <div class="clearfix"></div> <div class="container-fluid"> <input type="hidden" id="multi-line-ml" name="ml" value="3"> <div id="multi-line-row-wrapper"> <div class="row ml-1"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-1-f" aria-label="field"> <option data-type="input" value="any" selected>Anywhere</option> <option data-type="input" value="jt">Title</option> <option data-type="input" value="pu">Publisher / Editor</option> <option data-type="input" value="sn">ISSN</option> <option data-type="input" value="cc">Main Fields</option> <option data-type="input" value="py">Time Period</option> <option data-type="input" value="cy">Country</option> <option data-type="input" value="la">Languages</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-1-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><select class="form-control multi-line-operators multi-line-selectpicker" name="ml-1-op" aria-label="operator"> <option value="and" selected>AND</option> <option value="andnot">AND NOT</option> <option value="or">OR</option> </select></div> </div> <div class="row ml-2"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-2-f" aria-label="field"> <option data-type="input" value="any">Anywhere</option> <option data-type="input" value="jt" selected>Title</option> <option data-type="input" value="pu">Publisher / Editor</option> <option data-type="input" value="sn">ISSN</option> <option data-type="input" value="cc">Main Fields</option> <option data-type="input" value="py">Time Period</option> <option data-type="input" value="cy">Country</option> <option data-type="input" value="la">Languages</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-2-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" placeholder="Title, Short Title or Abbreviation"><select class="form-control multi-line-operators multi-line-selectpicker" name="ml-2-op" aria-label="operator"> <option value="and" selected>AND</option> <option value="andnot">AND NOT</option> <option value="or">OR</option> </select></div> </div> <div class="row ml-3"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-3-f" aria-label="field"> <option data-type="input" value="any">Anywhere</option> <option data-type="input" value="jt">Title</option> <option data-type="input" value="pu" selected>Publisher / Editor</option> <option data-type="input" value="sn">ISSN</option> <option data-type="input" value="cc">Main Fields</option> <option data-type="input" value="py">Time Period</option> <option data-type="input" value="cy">Country</option> <option data-type="input" value="la">Languages</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-3-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><div id="multi-line-plus"> <a href="#"><span class="glyphicon glyphicon-plus" aria-hidden="true"></span> add line</a> </div></div> </div> </div> <div class="row"> <div class="col-xs-12 form-inline"> <div class="form-group field checkboxes-wrapper" id="checkboxes-wrapper-test" style="visibility: hidden; position: fixed;"> <label>Serial Type:</label> <div class="checkboxes"> <div class="slider"> <label title="search for Journals"> <input type="checkbox" class="form-control" value="j" checked> <span tabindex="0"><small></small></span> Journals </label> </div> <div class="slider"> <label title="search for Book Series"> <input type="checkbox" class="form-control" value="b" checked> <span tabindex="0"><small></small></span> Book Series </label> </div> </div> </div> <div class="form-group field checkboxes-wrapper" id="checkboxes-wrapper-real"> <label>Serial Type:</label> <div class="checkboxes"> <div class="slider"> <label for="tp-j" title="search for Journals"> <input type="checkbox" id="tp-j" name="tp" class="form-control" value="j" checked> <span tabindex="0"><small></small></span> Journals </label> </div> <div class="slider"> <label for="tp-b" title="search for Book Series"> <input type="checkbox" id="tp-b" name="tp" class="form-control" value="b" checked> <span tabindex="0"><small></small></span> Book Series </label> </div> </div> </div> </div> </div> <div class="row"> <div class="col-xs-12 buttons"> <a tabindex="0" class="btn btn-default clear-all">Reset all <span class="glyphicon glyphicon-remove"></span></a> <div class="submit"> <button class="btn btn-default search" type="submit">Search <span class="glyphicon glyphicon-search"></span></button> </div> </div> </div> </div> </div> </form> <form class="form-inline" name="serials" method="GET" action="/serials/"> <div class="serials one-line" style="display: block;"> <div class="forms"> <ul class="nav forms"> <li class="multi-line"><a href="#">New Multi-Line Search <span class="glyphicon glyphicon-list"></span></a></li> </ul> </div> <div id="search-row" class="input-group box"> <span> <div id="search-field"> <input class="query form-control" type="text" name="q" value="se:524" aria-label="Search for serials" placeholder="Search for serials" autocomplete="off"> </div> <div class="search-buttons input-group-btn"> <div class="btn-group"> <button class="btn btn-default search" type="submit"><span class="virtual">Search</span> <span class="glyphicon glyphicon-search" style="top: 2px;"></span></button> </div> </div> </span> <span> <div class="search-buttons input-group-btn"> <div class="btn-group"> <div class="btn-group fields"> <button class="btn btn-default dropdown-toggle" data-toggle="dropdown">Fields <i class="caret"></i></button> <ul id="fields" class="dropdown-menu pull-right"> <li><a href="#"><span class="token item">any:</span><span> </span>anywhere (default)</a></li> <li><a href="#"><span class="token item">any:</span><span>  </span>anywhere</a></li> <li><a href="#"><span class="token item">cc:</span><span>  </span>main field</a></li> <li><a href="#"><span class="token item">cy:</span><span>  </span>country</a></li> <li><a href="#"><span class="token item">jt:</span><span>  </span>title</a></li> <li><a href="#"><span class="token item">la:</span><span>  </span>language</a></li> <li><a href="#"><span class="token item">li:</span><span>  </span>url</a></li> <li><a href="#"><span class="token item">pu:</span><span>  </span>publisher</a></li> <li><a href="#"><span class="token item">py:</span><span>  </span>year</a></li> <li><a href="#"><span class="token item">se:</span><span>  </span>serial ID</a></li> <li><a href="#"><span class="token item">sn:</span><span>  </span>issn</a></li> <li><a href="#"><span class="token item">st:</span><span>  </span>state</a></li> <li><a href="#"><span class="token item">tp:</span><span>  </span>serial type</a></li> </ul> </div> <div class="btn-group operators"> <button class="btn btn-default dropdown-toggle" data-toggle="dropdown">Operators <i class="caret"></i></button> <ul id="operators" class="dropdown-menu pull-right"> <li><a href="#"><span class="token">a <span class="item">&</span> b </span><span> </span>logical and (default)</a></li> <li><a href="#"><span class="token">a <span class="item">|</span> b </span><span> </span>logical or</a></li> <li><a href="#"><span class="token"><span class="item">!</span>ab   </span><span> </span>logical not</a></li> <li><a href="#"><span class="token">abc<span class="item">*</span>  </span><span> </span>right wildcard</a></li> <li><a href="#"><span class="token"><span class="item">"</span>ab c<span class="item">"</span></span><span> </span>phrase</a></li> <li><a href="#"><span class="token"><span class="item">(</span>ab c<span class="item">)</span></span><span> </span>parentheses</a></li> </ul> </div> </div> </div> <div class="special"> <ul class="nav help-button"> <li class="dropdown pull-right"> <a href="#">Help <i class="caret"></i></a> </li> </ul> </div> </span> </div> <div class="help"><h2>Examples</h2> <div id="help-terms" role="table"> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/serials/?q=Ann%2A+Math%2A">Ann* Math*</a></span> <span class="search-explanation" role="cell">Search for the expressions in <strong>all fields</strong>. Abbreviations are also possible.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/serials/?q=jt%3A%27%27Annals+of+Mathematics%27%27">jt:''Annals of Mathematics''</a></span> <span class="search-explanation" role="cell">Search for the exact <strong><u>j</u>ournal <u>t</u>itle</strong> phrase.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/serials/?q=jt%3Aannals+pu%3A+mathematics">jt:annals pu: mathematics</a></span> <span class="search-explanation" role="cell">Search for <strong> <u>j</u>ournal <u>t</u>itle</strong> containing the sequence <em>annals</em> and <strong><u>pu</u>blisher</strong> containing the sequence<em>mathematics</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/serials/?q=sn%3A0003+-+486X">sn:0003 - 486X</a></span> <span class="search-explanation" role="cell">Search for <strong>IS<u>SN</u></strong>. Both electronic and print ISSN are accepted.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/serials/?q=se%3A00002531">se:00002531</a></span> <span class="search-explanation" role="cell">Search for the exact <strong><u>se</u>rial identifier</strong>. This excludes homonyms. Compare to <a href='https://zbmath.org/serials/?q=jt%3AAnnals+of+Mathematics'>jt:Annals of Mathematics</a>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/serials/?q=jt%3AAnnals+cc%3A+05">jt:Annals cc: 05</a></span> <span class="search-explanation" role="cell">Search for <strong><u>j</u>ournal <u>t</u>itle</strong> containing the sequence <em>Annals</em> and <strong><u>c</u>lassification <u>c</u>ode</strong> of its main field (first two digits of MSC code).</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/serials/?q=jt%3AAnnals+%28cy%3A+cn+%7C+ro%29">jt:Annals (cy: cn | ro)</a></span> <span class="search-explanation" role="cell">Search for <strong><u>j</u>ournal <u>t</u>itle</strong> and <strong><u>c</u>ountr<u>y</u></strong> published in (here either China or Romania in two-digit <a href='https://en.wikipedia.org/wiki/List_of_ISO_3166_country_codes'>ISO 3166-1</a> standard codes).</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/serials/?q=tp%3Ab">tp:b</a></span> <span class="search-explanation" role="cell">Search for serials of the <strong><u>t</u>y<u>p</u>e</strong> <em><u>b</u>ook</em> only</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/serials/?q=tp%3Aj+st%3Ao+v+t">tp:j st:o v t</a></span> <span class="search-explanation" role="cell">Search for serials of the <strong> <u>t</u>y<u>p</u>e</strong> <em><u>j</u>ournal</em> which are in the <strong><u>st</u>ate</strong> <em><u>o</u>pen access</em> and currently indexed <em>cover-<u>t</u>o-cover</em> and are <em><u>v</u>alidated</em>. </span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/serials/?q=tp%3Ac+r+e">tp:c r e</a></span> <span class="search-explanation" role="cell">Search for serials that are <em><u>c</u>ited</em>, have <em><u>r</u>eferences</em> and are only available <em><u>e</u>lectronically </em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/serials/?q=py%3A1800+-+1899+la%3Ano">py:1800 - 1899 la:no</a></span> <span class="search-explanation" role="cell">Search for <em>19th century</em> serials which published in <em><u>No</u>rwegian</em>.</span> </div> </div> <p style="margin-bottom:0.5cm;"></p> <h2>Fields</h2> <div id="help-fields" role="table"> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>any</strong> </span> <span class="search-explanation" role="cell" role="cell"> Includes cc, cy, jt, la, li, pu, sn </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>cc</strong> </span> <span class="search-explanation" role="cell" role="cell"> Main fields of the serial (given by first two MSC digits) </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>cy</strong> </span> <span class="search-explanation" role="cell" role="cell"> Country of the publisher (use name, e.g., <em>cy:France</em>, or <a href='https://en.wikipedia.org/wiki/List_of_ISO_3166_country_codes'>ISO 3166-1</a> codes, e.g., <em>cy:FR</em>) </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>jt</strong> </span> <span class="search-explanation" role="cell" role="cell"> Title, acronym or short title </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>la</strong> </span> <span class="search-explanation" role="cell" role="cell"> Languages of indexed documents (<em>la:French</em>, or <a href='https://en.wikipedia.org/wiki/ISO_639-1'>ISO 639-1</a> codes, e.g., <em>la:FR</em>) </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>li</strong> </span> <span class="search-explanation" role="cell" role="cell"> External link (URL) </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>pu</strong> </span> <span class="search-explanation" role="cell" role="cell"> Name/location of the publisher or editorial institution </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>py</strong> </span> <span class="search-explanation" role="cell" role="cell"> Time period the serial was active. Interval search with “-” </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>se</strong> </span> <span class="search-explanation" role="cell" role="cell"> zbMATH serial ID </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>sn</strong> </span> <span class="search-explanation" role="cell" role="cell"> International Standard Serial Number (ISSN) </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>st</strong> </span> <span class="search-explanation" role="cell" role="cell"> State: open access (<em>st:o</em>), electronic only (<em>st:e</em>), currently indexed (<em>st:v</em>), indexed cover to cover (<em>st:t</em>) </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>tp</strong> </span> <span class="search-explanation" role="cell" role="cell"> Type: journal (<em>tp:j</em>), book series (<em>tp:b</em>) </span> </div> </div> <p style="margin-bottom:0.5cm;"></p> <h2>Operators</h2> <div id="operators-fields" role="table"> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"><strong>a & b</strong></span> <span class="search-explanation" role="cell" role="cell">logical and</span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"><strong>a | b</strong></span> <span class="search-explanation" role="cell" role="cell">logical or</span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"><strong>!ab</strong></span> <span class="search-explanation" role="cell" role="cell">logical not</span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"><strong>abc*</strong></span> <span class="search-explanation" role="cell" role="cell">right wildcard</span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"><strong>ab c</strong></span> <span class="search-explanation" role="cell" role="cell">phrase</span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"><strong>(ab c)</strong></span> <span class="search-explanation" role="cell" role="cell">parentheses</span> </div> </div> <p> See also our <a href="/general-help/">General Help</a>. </p> </div> </div> </form> </div><div class="content-shadow"></div> </div> </div> <div id="body"> <div id="main"> <div class="messages"> </div> <div id="serials"> <div class="content-main"> <article> <div class="head"> <h2>The Journal of Symbolic Logic</h2></div> <div class="text"> <table class="profile"><tr> <td>Short Title:</td> <td>J. Symb. Log. </td> </tr><tr> <td>Publisher:</td> <td>Cambridge University Press, West Nyack, NY; Association for Symbolic Logic (ASL), Poughkeepsie, NY</td> </tr><tr> <td>ISSN:</td> <td> 0022-4812; 1943-5886/e </td> </tr><tr> <td>Online:</td> <td><a href="https://www.cambridge.org/core/journals/journal-of-symbolic-logic/all-issues">https://www.cambridge.org/core/journals/journal-of-symbolic-logic/all-issues</a><br><a href="http://projecteuclid.org/jsl">http://projecteuclid.org/jsl</a><br><a href="http://www.jstor.org/action/showPublication?journalCode=jsymboliclogic">http://www.jstor.org/action/showPublication?journalCode=jsymboliclogic</a><br></td> </tr><tr> <td>Comments:</td> <td>Journal; Indexed cover-to-cover </td> </tr></table> </div> <div class="indexed"> <table> <tr> <td>Documents Indexed:</td> <td> <a href="/?q=se%3A524"> 5,028 Publications</a> (since 1936) </td> </tr> <tr> <td>References Indexed:</td> <td> <a href="/?q=st%3Ar+se%3A524">4,558 Publications</a> with 59,851 References. </td> </tr> </table> </div> <div class="profile"> <div class="facet1st"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3>Latest Issues</h3> <table class="profile"> <tr> <td colspan="2" class="text"> <a href="/?q=in%3A523323" title="Publications in this Volume"> <strong>89</strong>, No. 4 (2024) </a> </td></tr><tr> <td colspan="2" class="text"> <a href="/?q=in%3A520949" title="Publications in this Volume"> <strong>89</strong>, No. 3 (2024) </a> </td></tr><tr> <td colspan="2" class="text"> <a href="/?q=in%3A512803" title="Publications in this Volume"> <strong>89</strong>, No. 2 (2024) </a> </td></tr><tr> <td colspan="2" class="text"> <a href="/?q=in%3A510562" title="Publications in this Volume"> <strong>89</strong>, No. 1 (2024) </a> </td></tr><tr> <td colspan="2" class="text"> <a href="/?q=in%3A506422" title="Publications in this Volume"> <strong>88</strong>, No. 4 (2023) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A501898" title="Publications in this Volume"> <strong>88</strong>, No. 3 (2023) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A497034" title="Publications in this Volume"> <strong>88</strong>, No. 2 (2023) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A493645" title="Publications in this Volume"> <strong>88</strong>, No. 1 (2023) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A490087" title="Publications in this Volume"> <strong>87</strong>, No. 4 (2022) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A486082" title="Publications in this Volume"> <strong>87</strong>, No. 3 (2022) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A483126" title="Publications in this Volume"> <strong>87</strong>, No. 2 (2022) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A480031" title="Publications in this Volume"> <strong>87</strong>, No. 1 (2022) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A474524" title="Publications in this Volume"> <strong>86</strong>, No. 4 (2021) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A473159" title="Publications in this Volume"> <strong>86</strong>, No. 3 (2021) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A471467" title="Publications in this Volume"> <strong>86</strong>, No. 2 (2021) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A466245" title="Publications in this Volume"> <strong>86</strong>, No. 1 (2021) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A461299" title="Publications in this Volume"> <strong>85</strong>, No. 4 (2020) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A460474" title="Publications in this Volume"> <strong>85</strong>, No. 3 (2020) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A458006" title="Publications in this Volume"> <strong>85</strong>, No. 2 (2020) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A448488" title="Publications in this Volume"> <strong>85</strong>, No. 1 (2020) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A443840" title="Publications in this Volume"> <strong>84</strong>, No. 4 (2019) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A438457" title="Publications in this Volume"> <strong>84</strong>, No. 3 (2019) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A448274" title="Publications in this Volume"> <strong>84</strong>, No. 2 (2019) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A429718" title="Publications in this Volume"> <strong>84</strong>, No. 1 (2019) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A425276" title="Publications in this Volume"> <strong>83</strong>, No. 4 (2018) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A418285" title="Publications in this Volume"> <strong>83</strong>, No. 3 (2018) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A411460" title="Publications in this Volume"> <strong>83</strong>, No. 2 (2018) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A388356" title="Publications in this Volume"> <strong>83</strong>, No. 1 (2018) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A373125" title="Publications in this Volume"> <strong>82</strong>, No. 4 (2017) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A370113" title="Publications in this Volume"> <strong>82</strong>, No. 3 (2017) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A368593" title="Publications in this Volume"> <strong>82</strong>, No. 2 (2017) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A366178" title="Publications in this Volume"> <strong>82</strong>, No. 1 (2017) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A362900" title="Publications in this Volume"> <strong>81</strong>, No. 4 (2016) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A360625" title="Publications in this Volume"> <strong>81</strong>, No. 3 (2016) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A357720" title="Publications in this Volume"> <strong>81</strong>, No. 2 (2016) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A355205" title="Publications in this Volume"> <strong>81</strong>, No. 1 (2016) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A353786" title="Publications in this Volume"> <strong>80</strong>, No. 4 (2015) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A349598" title="Publications in this Volume"> <strong>80</strong>, No. 3 (2015) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A346570" title="Publications in this Volume"> <strong>80</strong>, No. 2 (2015) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A343949" title="Publications in this Volume"> <strong>80</strong>, No. 1 (2015) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A340685" title="Publications in this Volume"> <strong>79</strong>, No. 4 (2014) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A338880" title="Publications in this Volume"> <strong>79</strong>, No. 3 (2014) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A336009" title="Publications in this Volume"> <strong>79</strong>, No. 2 (2014) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A336010" title="Publications in this Volume"> <strong>79</strong>, No. 1 (2014) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A328938" title="Publications in this Volume"> <strong>78</strong>, No. 4 (2013) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A324649" title="Publications in this Volume"> <strong>78</strong>, No. 3 (2013) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A318835" title="Publications in this Volume"> <strong>78</strong>, No. 2 (2013) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A316750" title="Publications in this Volume"> <strong>78</strong>, No. 1 (2013) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A312738" title="Publications in this Volume"> <strong>77</strong>, No. 4 (2012) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A306973" title="Publications in this Volume"> <strong>77</strong>, No. 3 (2012) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A301704" title="Publications in this Volume"> <strong>77</strong>, No. 2 (2012) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A298121" title="Publications in this Volume"> <strong>77</strong>, No. 1 (2012) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A292086" title="Publications in this Volume"> <strong>76</strong>, No. 4 (2011) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A286367" title="Publications in this Volume"> <strong>76</strong>, No. 3 (2011) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A281379" title="Publications in this Volume"> <strong>76</strong>, No. 2 (2011) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A275876" title="Publications in this Volume"> <strong>76</strong>, No. 1 (2011) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A271847" title="Publications in this Volume"> <strong>75</strong>, No. 4 (2010) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A267882" title="Publications in this Volume"> <strong>75</strong>, No. 3 (2010) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A262824" title="Publications in this Volume"> <strong>75</strong>, No. 2 (2010) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A259522" title="Publications in this Volume"> <strong>75</strong>, No. 1 (2010) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A256862" title="Publications in this Volume"> <strong>74</strong>, No. 4 (2009) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A253337" title="Publications in this Volume"> <strong>74</strong>, No. 3 (2009) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A250002" title="Publications in this Volume"> <strong>74</strong>, No. 2 (2009) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A247310" title="Publications in this Volume"> <strong>74</strong>, No. 1 (2009) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A243292" title="Publications in this Volume"> <strong>73</strong>, No. 4 (2008) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A229994" title="Publications in this Volume"> <strong>73</strong>, No. 3 (2008) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A219999" title="Publications in this Volume"> <strong>73</strong>, No. 2 (2008) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A216895" title="Publications in this Volume"> <strong>73</strong>, No. 1 (2008) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A214737" title="Publications in this Volume"> <strong>72</strong>, No. 4 (2007) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A212327" title="Publications in this Volume"> <strong>72</strong>, No. 3 (2007) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A209274" title="Publications in this Volume"> <strong>72</strong>, No. 2 (2007) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A193469" title="Publications in this Volume"> <strong>72</strong>, No. 1 (2007) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A186672" title="Publications in this Volume"> <strong>71</strong>, No. 4 (2006) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A186590" title="Publications in this Volume"> <strong>71</strong>, No. 3 (2006) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A181820" title="Publications in this Volume"> <strong>71</strong>, No. 2 (2006) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A125203" title="Publications in this Volume"> <strong>71</strong>, No. 1 (2006) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A123763" title="Publications in this Volume"> <strong>70</strong>, No. 4 (2005) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A120535" title="Publications in this Volume"> <strong>70</strong>, No. 3 (2005) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A120534" title="Publications in this Volume"> <strong>70</strong>, No. 2 (2005) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A116039" title="Publications in this Volume"> <strong>70</strong>, No. 1 (2005) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A115553" title="Publications in this Volume"> <strong>69</strong>, No. 4 (2004) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A115552" title="Publications in this Volume"> <strong>69</strong>, No. 3 (2004) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A115551" title="Publications in this Volume"> <strong>69</strong>, No. 2 (2004) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A115550" title="Publications in this Volume"> <strong>69</strong>, No. 1 (2004) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A113120" title="Publications in this Volume"> <strong>68</strong>, No. 4 (2003) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A113119" title="Publications in this Volume"> <strong>68</strong>, No. 3 (2003) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A113118" title="Publications in this Volume"> <strong>68</strong>, No. 2 (2003) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A94375" title="Publications in this Volume"> <strong>68</strong>, No. 1 (2003) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A89676" title="Publications in this Volume"> <strong>67</strong>, No. 4 (2002) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A87545" title="Publications in this Volume"> <strong>67</strong>, No. 3 (2002) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A84610" title="Publications in this Volume"> <strong>67</strong>, No. 2 (2002) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A83578" title="Publications in this Volume"> <strong>67</strong>, No. 1 (2002) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A81155" title="Publications in this Volume"> <strong>66</strong>, No. 4 (2001) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A77698" title="Publications in this Volume"> <strong>66</strong>, No. 3 (2001) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A76613" title="Publications in this Volume"> <strong>66</strong>, No. 2 (2001) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A74082" title="Publications in this Volume"> <strong>66</strong>, No. 1 (2001) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A72155" title="Publications in this Volume"> <strong>65</strong>, No. 4 (2000) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A69800" title="Publications in this Volume"> <strong>65</strong>, No. 3 (2000) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A65400" title="Publications in this Volume"> <strong>65</strong>, No. 2 (2000) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A64441" title="Publications in this Volume"> <strong>65</strong>, No. 1 (2000) </a> </td></tr> <tr class="more"> <td colspan="2">...and 108 more Volumes</td> </tr> </table> </div> <div class="facet2nd"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3>Authors</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=se%3A524+ai%3Ashelah.saharon" title="Publications of this Author">151</a> </td> <td class="text"> <a href="/authors/shelah.saharon" title="Author Profile"> Shelah, Saharon </a> </td></tr><tr> <td class="number"> <a href="/?q=se%3A524+ai%3Apillay.anand" title="Publications of this Author">47</a> </td> <td class="text"> <a href="/authors/pillay.anand" title="Author Profile"> Pillay, Anand </a> </td></tr><tr> <td class="number"> <a href="/?q=se%3A524+ai%3Aknight.julia-f" title="Publications of this Author">45</a> </td> <td class="text"> <a href="/authors/knight.julia-f" title="Author Profile"> Knight, Julia F. </a> </td></tr><tr> <td class="number"> <a href="/?q=se%3A524+ai%3Afriedman.sy-david" title="Publications of this Author">43</a> </td> <td class="text"> <a href="/authors/friedman.sy-david" title="Author Profile"> Friedman, Sy-David </a> </td></tr><tr> <td class="number"> <a href="/?q=se%3A524+ai%3Aquine.willard-van-orman" title="Publications of this Author">37</a> </td> <td class="text"> <a href="/authors/quine.willard-van-orman" title="Author Profile"> Quine, Willard Van Orman </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Apoizat.bruno-petrovich" title="Publications of this Author">35</a> </td> <td class="text"> <a href="/authors/poizat.bruno-petrovich" title="Author Profile"> Poizat, Bruno Petrovich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Adowney.rodney-graham" title="Publications of this Author">33</a> </td> <td class="text"> <a href="/authors/downey.rodney-graham" title="Author Profile"> Downey, Rodney Graham </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Afitch.frederic-brenton" title="Publications of this Author">33</a> </td> <td class="text"> <a href="/authors/fitch.frederic-brenton" title="Author Profile"> Fitch, Frederic Brenton </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ajockusch.carl-g-jun" title="Publications of this Author">29</a> </td> <td class="text"> <a href="/authors/jockusch.carl-g-jun" title="Author Profile"> Jockusch, Carl G. jun. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Aschmerl.james-h" title="Publications of this Author">28</a> </td> <td class="text"> <a href="/authors/schmerl.james-h" title="Author Profile"> Schmerl, James H. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ashore.richard-a" title="Publications of this Author">25</a> </td> <td class="text"> <a href="/authors/shore.richard-a" title="Author Profile"> Shore, Richard Arnold </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Awagner.frank-o" title="Publications of this Author">25</a> </td> <td class="text"> <a href="/authors/wagner.frank-o" title="Author Profile"> Wagner, Frank Olaf </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Amagidor.menachem" title="Publications of this Author">24</a> </td> <td class="text"> <a href="/authors/magidor.menachem" title="Author Profile"> Magidor, Menachem </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Abaldwin.john-t" title="Publications of this Author">23</a> </td> <td class="text"> <a href="/authors/baldwin.john-t" title="Author Profile"> Baldwin, John T. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Akeisler.h-jerome" title="Publications of this Author">23</a> </td> <td class="text"> <a href="/authors/keisler.h-jerome" title="Author Profile"> Keisler, Howard Jerome </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Arosser.john-barkley" title="Publications of this Author">23</a> </td> <td class="text"> <a href="/authors/rosser.john-barkley" title="Author Profile"> Rosser, John Barkley </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Alempp.steffen" title="Publications of this Author">22</a> </td> <td class="text"> <a href="/authors/lempp.steffen" title="Author Profile"> Lempp, Steffen </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Amontalban.antonio" title="Publications of this Author">22</a> </td> <td class="text"> <a href="/authors/montalban.antonio" title="Author Profile"> Montalb谩n, Antonio </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Aapter.arthur-w" title="Publications of this Author">21</a> </td> <td class="text"> <a href="/authors/apter.arthur-w" title="Author Profile"> Apter, Arthur W. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Agurevich.yuri" title="Publications of this Author">20</a> </td> <td class="text"> <a href="/authors/gurevich.yuri" title="Author Profile"> Gurevich, Yuri </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Aschindler.ralf-dieter" title="Publications of this Author">20</a> </td> <td class="text"> <a href="/authors/schindler.ralf-dieter" title="Author Profile"> Schindler, Ralf-Dieter </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Aslaman.theodore-a" title="Publications of this Author">20</a> </td> <td class="text"> <a href="/authors/slaman.theodore-a" title="Author Profile"> Slaman, Theodore A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Awelch.philip-d" title="Publications of this Author">20</a> </td> <td class="text"> <a href="/authors/welch.philip-d" title="Author Profile"> Welch, Philip D. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ablass.andreas-raphael" title="Publications of this Author">19</a> </td> <td class="text"> <a href="/authors/blass.andreas-raphael" title="Author Profile"> Blass, Andreas Raphael </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Asoare.robert-i" title="Publications of this Author">19</a> </td> <td class="text"> <a href="/authors/soare.robert-i" title="Author Profile"> Soare, Robert I. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Aben-yaacov.itai" title="Publications of this Author">18</a> </td> <td class="text"> <a href="/authors/ben-yaacov.itai" title="Author Profile"> Ben-Yaacov, Ita茂 </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ahamkins.joel-david" title="Publications of this Author">18</a> </td> <td class="text"> <a href="/authors/hamkins.joel-david" title="Author Profile"> Hamkins, Joel David </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ahjorth.greg" title="Publications of this Author">18</a> </td> <td class="text"> <a href="/authors/hjorth.greg" title="Author Profile"> Hjorth, Gregory </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Aremmel.jeffrey-b" title="Publications of this Author">18</a> </td> <td class="text"> <a href="/authors/remmel.jeffrey-b" title="Author Profile"> Remmel, Jeffrey Brian </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Asteel.john-r" title="Publications of this Author">18</a> </td> <td class="text"> <a href="/authors/steel.john-r" title="Author Profile"> Steel, John R. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ang.kengmeng" title="Publications of this Author">17</a> </td> <td class="text"> <a href="/authors/ng.kengmeng" title="Author Profile"> Ng, KengMeng </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Asorbi.andrea" title="Publications of this Author">17</a> </td> <td class="text"> <a href="/authors/sorbi.andrea" title="Author Profile"> Sorbi, Andrea </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Agitik.moti" title="Publications of this Author">16</a> </td> <td class="text"> <a href="/authors/gitik.moti" title="Author Profile"> Gitik, Moti </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Alachlan.alistair-h" title="Publications of this Author">16</a> </td> <td class="text"> <a href="/authors/lachlan.alistair-h" title="Author Profile"> Lachlan, Alistair H. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Alerman.manuel" title="Publications of this Author">16</a> </td> <td class="text"> <a href="/authors/lerman.manuel" title="Author Profile"> Lerman, Manuel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Amiller.russell-g" title="Publications of this Author">16</a> </td> <td class="text"> <a href="/authors/miller.russell-g" title="Author Profile"> Miller, Russell G. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Anies.andre-otfrid" title="Publications of this Author">16</a> </td> <td class="text"> <a href="/authors/nies.andre-otfrid" title="Author Profile"> Nies, Andr茅 Otfrid </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Adelon.francoise" title="Publications of this Author">15</a> </td> <td class="text"> <a href="/authors/delon.francoise" title="Author Profile"> Delon, Fran莽oise </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Agreenberg.noam" title="Publications of this Author">15</a> </td> <td class="text"> <a href="/authors/greenberg.noam" title="Author Profile"> Greenberg, Noam </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Alaskowski.michael-chris" title="Publications of this Author">15</a> </td> <td class="text"> <a href="/authors/laskowski.michael-chris" title="Author Profile"> Laskowski, Michael Chris </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Aharrison-trainor.matthew" title="Publications of this Author">14</a> </td> <td class="text"> <a href="/authors/harrison-trainor.matthew" title="Author Profile"> Harrison-Trainor, Matthew </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ahrushovski.ehud" title="Publications of this Author">14</a> </td> <td class="text"> <a href="/authors/hrushovski.ehud" title="Author Profile"> Hrushovski, Ehud </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Akrajicek.jan" title="Publications of this Author">14</a> </td> <td class="text"> <a href="/authors/krajicek.jan" title="Author Profile"> Kraj铆膷ek, Jan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Amckinsey.j-c-c" title="Publications of this Author">14</a> </td> <td class="text"> <a href="/authors/mckinsey.j-c-c" title="Author Profile"> McKinsey, J. C. C. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Amyhill.john-r" title="Publications of this Author">14</a> </td> <td class="text"> <a href="/authors/myhill.john-r" title="Author Profile"> Myhill, John R. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Anemeti.istvan" title="Publications of this Author">14</a> </td> <td class="text"> <a href="/authors/nemeti.istvan" title="Author Profile"> N茅meti, Istv谩n </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Awang.hao" title="Publications of this Author">14</a> </td> <td class="text"> <a href="/authors/wang.hao" title="Author Profile"> Wang, Hao </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Aandreka.hajnal" title="Publications of this Author">13</a> </td> <td class="text"> <a href="/authors/andreka.hajnal" title="Author Profile"> Andr茅ka, Hajnal </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Aandrews.uri" title="Publications of this Author">13</a> </td> <td class="text"> <a href="/authors/andrews.uri" title="Author Profile"> Andrews, Uri </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Acherlin.gregory-l" title="Publications of this Author">13</a> </td> <td class="text"> <a href="/authors/cherlin.gregory-l" title="Author Profile"> Cherlin, Gregory L. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Acummings.james" title="Publications of this Author">13</a> </td> <td class="text"> <a href="/authors/cummings.james" title="Author Profile"> Cummings, James </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Aellentuck.erik" title="Publications of this Author">13</a> </td> <td class="text"> <a href="/authors/ellentuck.erik" title="Author Profile"> Ellentuck, Erik </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Afriedman.harvey-m" title="Publications of this Author">13</a> </td> <td class="text"> <a href="/authors/friedman.harvey-m" title="Author Profile"> Friedman, Harvey M. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ahenle.james-m" title="Publications of this Author">13</a> </td> <td class="text"> <a href="/authors/henle.james-m" title="Author Profile"> Henle, James M. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ahyttinen.tapani" title="Publications of this Author">13</a> </td> <td class="text"> <a href="/authors/hyttinen.tapani" title="Author Profile"> Hyttinen, Tapani </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Amiller.joseph-s" title="Publications of this Author">13</a> </td> <td class="text"> <a href="/authors/miller.joseph-s" title="Author Profile"> Miller, Joseph S. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Aneeman.itay" title="Publications of this Author">13</a> </td> <td class="text"> <a href="/authors/neeman.itay" title="Author Profile"> Neeman, Itay </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Anewelski.ludomir" title="Publications of this Author">13</a> </td> <td class="text"> <a href="/authors/newelski.ludomir" title="Author Profile"> Newelski, Ludomir </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Aparis.jeffrey-bruce" title="Publications of this Author">13</a> </td> <td class="text"> <a href="/authors/paris.jeffrey-bruce" title="Author Profile"> Paris, Jeffrey Bruce </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Asimpson.stephen-g" title="Publications of this Author">13</a> </td> <td class="text"> <a href="/authors/simpson.stephen-g" title="Author Profile"> Simpson, Stephen G. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ayu.liang" title="Publications of this Author">13</a> </td> <td class="text"> <a href="/authors/yu.liang" title="Author Profile"> Yu, Liang </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Abuechler.steven" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/buechler.steven" title="Author Profile"> Buechler, Steven </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Abunder.martin-w" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/bunder.martin-w" title="Author Profile"> Bunder, Martin W. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Acholak.peter-a" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/cholak.peter-a" title="Author Profile"> Cholak, Peter A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Acooper.s-barry" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/cooper.s-barry" title="Author Profile"> Cooper, Stuart Barry </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Acsima.barbara-f" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/csima.barbara-f" title="Author Profile"> Csima, Barbara F. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Agabbay.dov-m" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/gabbay.dov-m" title="Author Profile"> Gabbay, Dov M. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Agoodman.nelson" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/goodman.nelson" title="Author Profile"> Goodman, Nelson </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ahenson.c-ward" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/henson.c-ward" title="Author Profile"> Henson, C. Ward </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ahirsch.robin" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/hirsch.robin" title="Author Profile"> Hirsch, Robin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ajager.gerhard" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/jager.gerhard" title="Author Profile"> J盲ger, Gerhard </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ajech.thomas-j" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/jech.thomas-j" title="Author Profile"> Jech, Thomas J. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ajin.renling" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/jin.renling" title="Author Profile"> Jin, Renling </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Akechris.alexander-s" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/kechris.alexander-s" title="Author Profile"> Kechris, Alexander S. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Alubarsky.robert-s" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/lubarsky.robert-s" title="Author Profile"> Lubarsky, Robert S. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Anormann.dag" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/normann.dag" title="Author Profile"> Normann, Dag </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Atakeuti.gaisi" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/takeuti.gaisi" title="Author Profile"> Takeuti, Gaisi </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Avan-den-dries.lou" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/van-den-dries.lou" title="Author Profile"> van den Dries, Lou </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Abaumgartner.james-e" title="Publications of this Author">11</a> </td> <td class="text"> <a href="/authors/baumgartner.james-e" title="Author Profile"> Baumgartner, James Earl </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Abrendle.jorg" title="Publications of this Author">11</a> </td> <td class="text"> <a href="/authors/brendle.jorg" title="Author Profile"> Brendle, J枚rg </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Acurry.haskell-brooks" title="Publications of this Author">11</a> </td> <td class="text"> <a href="/authors/curry.haskell-brooks" title="Author Profile"> Curry, Haskell Brooks </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Agoldfarb.warren-d" title="Publications of this Author">11</a> </td> <td class="text"> <a href="/authors/goldfarb.warren-d" title="Author Profile"> Goldfarb, Warren D. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Aharizanov.valentina-s" title="Publications of this Author">11</a> </td> <td class="text"> <a href="/authors/harizanov.valentina-s" title="Author Profile"> Harizanov, Valentina S. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ahirschfeldt.denis-r" title="Publications of this Author">11</a> </td> <td class="text"> <a href="/authors/hirschfeldt.denis-r" title="Author Profile"> Hirschfeldt, Denis Roman </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Akim.byunghan" title="Publications of this Author">11</a> </td> <td class="text"> <a href="/authors/kim.byunghan" title="Author Profile"> Kim, Byunghan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Akleinberg.eugene-m" title="Publications of this Author">11</a> </td> <td class="text"> <a href="/authors/kleinberg.eugene-m" title="Author Profile"> Kleinberg, Eugene M. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Alarson.paul-b" title="Publications of this Author">11</a> </td> <td class="text"> <a href="/authors/larson.paul-b" title="Author Profile"> Larson, Paul B. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Amitchell.william-john" title="Publications of this Author">11</a> </td> <td class="text"> <a href="/authors/mitchell.william-john" title="Author Profile"> Mitchell, William John </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Avaananen.jouko-antero" title="Publications of this Author">11</a> </td> <td class="text"> <a href="/authors/vaananen.jouko-antero" title="Author Profile"> V盲盲n盲nen, Jouko Antero </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Aadamowicz.zofia" title="Publications of this Author">10</a> </td> <td class="text"> <a href="/authors/adamowicz.zofia" title="Author Profile"> Adamowicz, Zofia </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Aambos-spies.klaus" title="Publications of this Author">10</a> </td> <td class="text"> <a href="/authors/ambos-spies.klaus" title="Author Profile"> Ambos-Spies, Klaus </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Abuss.samuel-r" title="Publications of this Author">10</a> </td> <td class="text"> <a href="/authors/buss.samuel-r" title="Author Profile"> Buss, Samuel R. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Achurch.alonzo" title="Publications of this Author">10</a> </td> <td class="text"> <a href="/authors/church.alonzo" title="Author Profile"> Church, Alonzo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Acraig.william" title="Publications of this Author">10</a> </td> <td class="text"> <a href="/authors/craig.william" title="Author Profile"> Craig, William </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Afuchs.gunter" title="Publications of this Author">10</a> </td> <td class="text"> <a href="/authors/fuchs.gunter" title="Author Profile"> Fuchs, Gunter </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Agoodman.nicolas-d" title="Publications of this Author">10</a> </td> <td class="text"> <a href="/authors/goodman.nicolas-d" title="Author Profile"> Goodman, Nicolas D. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Agrossberg.rami-p" title="Publications of this Author">10</a> </td> <td class="text"> <a href="/authors/grossberg.rami-p" title="Author Profile"> Grossberg, Rami P. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ahart.bradd-t" title="Publications of this Author">10</a> </td> <td class="text"> <a href="/authors/hart.bradd-t" title="Author Profile"> Hart, Bradd T. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ahenkin.leon" title="Publications of this Author">10</a> </td> <td class="text"> <a href="/authors/henkin.leon" title="Author Profile"> Henkin, Leon Albert </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+ai%3Ahodkinson.ian-martin" title="Publications of this Author">10</a> </td> <td class="text"> <a href="/authors/hodkinson.ian-martin" title="Author Profile"> Hodkinson, Ian Martin </a> </td></tr> <tr class="more"> <td colspan="2">...and 2,554 more Authors</td> </tr> </table> </div> <div class="facet3rd"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3>Fields</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=se%3A524+cc%3A03" title="Publications in this Field">4,389</a> </td> <td class="text"> <a href="/classification/?q=cc%3A03" title="Mathematics Subject Classification"> Mathematical logic and foundations <span style="white-space: nowrap;">(03-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=se%3A524+cc%3A12" title="Publications in this Field">215</a> </td> <td class="text"> <a href="/classification/?q=cc%3A12" title="Mathematics Subject Classification"> Field theory and polynomials <span style="white-space: nowrap;">(12-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=se%3A524+cc%3A68" title="Publications in this Field">204</a> </td> <td class="text"> <a href="/classification/?q=cc%3A68" title="Mathematics Subject Classification"> Computer science <span style="white-space: nowrap;">(68-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=se%3A524+cc%3A06" title="Publications in this Field">192</a> </td> <td class="text"> <a href="/classification/?q=cc%3A06" title="Mathematics Subject Classification"> Order, lattices, ordered algebraic structures <span style="white-space: nowrap;">(06-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=se%3A524+cc%3A20" title="Publications in this Field">184</a> </td> <td class="text"> <a href="/classification/?q=cc%3A20" title="Mathematics Subject Classification"> Group theory and generalizations <span style="white-space: nowrap;">(20-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A54" title="Publications in this Field">159</a> </td> <td class="text"> <a href="/classification/?q=cc%3A54" title="Mathematics Subject Classification"> General topology <span style="white-space: nowrap;">(54-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A05" title="Publications in this Field">104</a> </td> <td class="text"> <a href="/classification/?q=cc%3A05" title="Mathematics Subject Classification"> Combinatorics <span style="white-space: nowrap;">(05-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A18" title="Publications in this Field">76</a> </td> <td class="text"> <a href="/classification/?q=cc%3A18" title="Mathematics Subject Classification"> Category theory; homological algebra <span style="white-space: nowrap;">(18-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A08" title="Publications in this Field">67</a> </td> <td class="text"> <a href="/classification/?q=cc%3A08" title="Mathematics Subject Classification"> General algebraic systems <span style="white-space: nowrap;">(08-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A11" title="Publications in this Field">64</a> </td> <td class="text"> <a href="/classification/?q=cc%3A11" title="Mathematics Subject Classification"> Number theory <span style="white-space: nowrap;">(11-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A28" title="Publications in this Field">61</a> </td> <td class="text"> <a href="/classification/?q=cc%3A28" title="Mathematics Subject Classification"> Measure and integration <span style="white-space: nowrap;">(28-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A16" title="Publications in this Field">49</a> </td> <td class="text"> <a href="/classification/?q=cc%3A16" title="Mathematics Subject Classification"> Associative rings and algebras <span style="white-space: nowrap;">(16-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A46" title="Publications in this Field">44</a> </td> <td class="text"> <a href="/classification/?q=cc%3A46" title="Mathematics Subject Classification"> Functional analysis <span style="white-space: nowrap;">(46-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A91" title="Publications in this Field">37</a> </td> <td class="text"> <a href="/classification/?q=cc%3A91" title="Mathematics Subject Classification"> Game theory, economics, finance, and other social and behavioral sciences <span style="white-space: nowrap;">(91-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A13" title="Publications in this Field">33</a> </td> <td class="text"> <a href="/classification/?q=cc%3A13" title="Mathematics Subject Classification"> Commutative algebra <span style="white-space: nowrap;">(13-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A01" title="Publications in this Field">25</a> </td> <td class="text"> <a href="/classification/?q=cc%3A01" title="Mathematics Subject Classification"> History and biography <span style="white-space: nowrap;">(01-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A26" title="Publications in this Field">24</a> </td> <td class="text"> <a href="/classification/?q=cc%3A26" title="Mathematics Subject Classification"> Real functions <span style="white-space: nowrap;">(26-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A22" title="Publications in this Field">23</a> </td> <td class="text"> <a href="/classification/?q=cc%3A22" title="Mathematics Subject Classification"> Topological groups, Lie groups <span style="white-space: nowrap;">(22-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A37" title="Publications in this Field">22</a> </td> <td class="text"> <a href="/classification/?q=cc%3A37" title="Mathematics Subject Classification"> Dynamical systems and ergodic theory <span style="white-space: nowrap;">(37-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A14" title="Publications in this Field">20</a> </td> <td class="text"> <a href="/classification/?q=cc%3A14" title="Mathematics Subject Classification"> Algebraic geometry <span style="white-space: nowrap;">(14-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A60" title="Publications in this Field">20</a> </td> <td class="text"> <a href="/classification/?q=cc%3A60" title="Mathematics Subject Classification"> Probability theory and stochastic processes <span style="white-space: nowrap;">(60-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A00" title="Publications in this Field">18</a> </td> <td class="text"> <a href="/classification/?q=cc%3A00" title="Mathematics Subject Classification"> General and overarching topics; collections <span style="white-space: nowrap;">(00-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A15" title="Publications in this Field">10</a> </td> <td class="text"> <a href="/classification/?q=cc%3A15" title="Mathematics Subject Classification"> Linear and multilinear algebra; matrix theory <span style="white-space: nowrap;">(15-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A43" title="Publications in this Field">9</a> </td> <td class="text"> <a href="/classification/?q=cc%3A43" title="Mathematics Subject Classification"> Abstract harmonic analysis <span style="white-space: nowrap;">(43-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A51" title="Publications in this Field">9</a> </td> <td class="text"> <a href="/classification/?q=cc%3A51" title="Mathematics Subject Classification"> Geometry <span style="white-space: nowrap;">(51-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A47" title="Publications in this Field">7</a> </td> <td class="text"> <a href="/classification/?q=cc%3A47" title="Mathematics Subject Classification"> Operator theory <span style="white-space: nowrap;">(47-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A81" title="Publications in this Field">7</a> </td> <td class="text"> <a href="/classification/?q=cc%3A81" title="Mathematics Subject Classification"> Quantum theory <span style="white-space: nowrap;">(81-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A32" title="Publications in this Field">6</a> </td> <td class="text"> <a href="/classification/?q=cc%3A32" title="Mathematics Subject Classification"> Several complex variables and analytic spaces <span style="white-space: nowrap;">(32-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A52" title="Publications in this Field">6</a> </td> <td class="text"> <a href="/classification/?q=cc%3A52" title="Mathematics Subject Classification"> Convex and discrete geometry <span style="white-space: nowrap;">(52-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A55" title="Publications in this Field">6</a> </td> <td class="text"> <a href="/classification/?q=cc%3A55" title="Mathematics Subject Classification"> Algebraic topology <span style="white-space: nowrap;">(55-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A94" title="Publications in this Field">5</a> </td> <td class="text"> <a href="/classification/?q=cc%3A94" title="Mathematics Subject Classification"> Information and communication theory, circuits <span style="white-space: nowrap;">(94-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A17" title="Publications in this Field">3</a> </td> <td class="text"> <a href="/classification/?q=cc%3A17" title="Mathematics Subject Classification"> Nonassociative rings and algebras <span style="white-space: nowrap;">(17-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A30" title="Publications in this Field">3</a> </td> <td class="text"> <a href="/classification/?q=cc%3A30" title="Mathematics Subject Classification"> Functions of a complex variable <span style="white-space: nowrap;">(30-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A34" title="Publications in this Field">3</a> </td> <td class="text"> <a href="/classification/?q=cc%3A34" title="Mathematics Subject Classification"> Ordinary differential equations <span style="white-space: nowrap;">(34-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A57" title="Publications in this Field">3</a> </td> <td class="text"> <a href="/classification/?q=cc%3A57" title="Mathematics Subject Classification"> Manifolds and cell complexes <span style="white-space: nowrap;">(57-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A62" title="Publications in this Field">2</a> </td> <td class="text"> <a href="/classification/?q=cc%3A62" title="Mathematics Subject Classification"> Statistics <span style="white-space: nowrap;">(62-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A40" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A40" title="Mathematics Subject Classification"> Sequences, series, summability <span style="white-space: nowrap;">(40-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A42" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A42" title="Mathematics Subject Classification"> Harmonic analysis on Euclidean spaces <span style="white-space: nowrap;">(42-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A58" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A58" title="Mathematics Subject Classification"> Global analysis, analysis on manifolds <span style="white-space: nowrap;">(58-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A70" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A70" title="Mathematics Subject Classification"> Mechanics of particles and systems <span style="white-space: nowrap;">(70-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A83" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A83" title="Mathematics Subject Classification"> Relativity and gravitational theory <span style="white-space: nowrap;">(83-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A524+cc%3A90" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A90" title="Mathematics Subject Classification"> Operations research, mathematical programming <span style="white-space: nowrap;">(90-XX)</span> </a> </td></tr> </table> </div> <div class="diagram svg-diagram"> <h3>Publications by Year</h3> <div class="diagram se-diagram" aria-label="publications by year"></div> <style> rect:hover { fill: steelblue; } .axis path, .axis line { fill: none; stroke: #000; shape-rendering: crispEdges; } .bar { fill: steelblue; } a:hover .bar, a:focus .bar { stroke: black; fill-opacity: 60%; } </style> <script src="/static/js/d3.v3.min.js"></script> <script> var margin = { top: 20, right: 0, bottom: 30, left: 50 }; var width = 930 - margin.left - margin.right; var height = 150 - margin.top - margin.bottom; var svg = d3.selectAll(".se-diagram").append("svg") .attr("width", width + margin.left + margin.right) .attr("height", height + margin.top + margin.bottom) .append("g") .attr("transform", "translate(" + margin.left + "," + margin.top + ")"); var data = [{ year:1936, frequency:24 },{ year:1937, frequency:28 },{ year:1938, frequency:17 },{ year:1939, frequency:29 },{ year:1940, frequency:20 },{ year:1941, frequency:22 },{ year:1942, frequency:12 },{ year:1943, frequency:8 },{ year:1944, frequency:5 },{ year:1945, frequency:8 },{ year:1946, frequency:8 },{ year:1947, frequency:9 },{ year:1948, frequency:14 },{ year:1949, frequency:17 },{ year:1950, frequency:25 },{ year:1951, frequency:16 },{ year:1952, frequency:18 },{ year:1953, frequency:31 },{ year:1954, frequency:21 },{ year:1955, frequency:18 },{ year:1956, frequency:25 },{ year:1957, frequency:24 },{ year:1958, frequency:6 },{ year:1959, frequency:45 },{ year:1960, frequency:19 },{ year:1963, frequency:25 },{ year:1964, frequency:33 },{ year:1965, frequency:24 },{ year:1966, frequency:41 },{ year:1967, frequency:36 },{ year:1968, frequency:46 },{ year:1969, frequency:53 },{ year:1970, frequency:26 },{ year:1971, frequency:56 },{ year:1972, frequency:62 },{ year:1973, frequency:65 },{ year:1974, frequency:64 },{ year:1975, frequency:51 },{ year:1976, frequency:74 },{ year:1977, frequency:38 },{ year:1978, frequency:81 },{ year:1979, frequency:55 },{ year:1980, frequency:49 },{ year:1981, frequency:72 },{ year:1982, frequency:61 },{ year:1983, frequency:105 },{ year:1984, frequency:118 },{ year:1985, frequency:86 },{ year:1986, frequency:91 },{ year:1987, frequency:81 },{ year:1988, frequency:95 },{ year:1989, frequency:101 },{ year:1990, frequency:83 },{ year:1991, frequency:103 },{ year:1992, frequency:91 },{ year:1993, frequency:83 },{ year:1994, frequency:98 },{ year:1995, frequency:74 },{ year:1996, frequency:69 },{ year:1997, frequency:80 },{ year:1998, frequency:90 },{ year:1999, frequency:112 },{ year:2000, frequency:110 },{ year:2001, frequency:115 },{ year:2002, frequency:97 },{ year:2003, frequency:74 },{ year:2004, frequency:77 },{ year:2005, frequency:73 },{ year:2006, frequency:80 },{ year:2007, frequency:79 },{ year:2008, frequency:82 },{ year:2009, frequency:76 },{ year:2010, frequency:80 },{ year:2011, frequency:80 },{ year:2012, frequency:73 },{ year:2013, frequency:78 },{ year:2014, frequency:66 },{ year:2015, frequency:65 },{ year:2016, frequency:80 },{ year:2017, frequency:76 },{ year:2018, frequency:88 },{ year:2019, frequency:79 },{ year:2020, frequency:74 },{ year:2021, frequency:75 },{ year:2022, frequency:71 },{ year:2023, frequency:67 },{ year:2024, frequency:72 }]; data.forEach(function(d) { d.year = +d.year; d.frequency = +d.frequency; }); var xScale = d3.scale.ordinal() .rangeRoundBands([0, width], .1); var yScale = d3.scale.linear() .range([height, 0]); // fill if less than 20 years span var zero = d3.max( [ 20 - ( d3.max( data, d => d.year ) + 1 - d3.min( data, d => d.year ) ), 0 ] ); // generate range from min to max xScale.domain( d3.range( d3.min( data, d => d.year ), d3.max( data, d => d.year ) + 1 + zero ) ); yScale.domain( [ 0, d3.max( data, d => d.frequency ) ] ); var xAxis = d3.svg.axis() .scale(xScale) .tickValues( // show ticks every 5 years for range up to 50 years, every 10 // years up to 100 years, and every 20 years above that xScale.domain().filter( function(d, i) { let ticks; if (xScale.domain().length <= 50) { ticks = 5; } else if (xScale.domain().length <= 100) { ticks = 10; } else { ticks = 20; } return !(d % ticks); } ) ) .tickSize(6,3,0) // removes end tick .orient("bottom"); var yAxis = d3.svg.axis() .scale(yScale) .ticks(3) // number of ticks .tickFormat(d3.format("d")) // only integers .tickSize(6,3,0) // removes end tick .orient("left"); svg.selectAll(".bar") .data(data) .enter() .append("a") .attr( "xlink:href", d => "/?q=se%3A524+py%3A" + d.year ) .attr( "title", d => d.frequency + " Publication" + (d.frequency > 1 ? "s" : "") + " in " + d.year ) .append("rect") .attr("class", "bar") .attr("x", d => xScale(d.year)) .attr("width", xScale.rangeBand()) .attr("y", d => yScale(d.frequency)) .attr("height", d => height - yScale(d.frequency)); svg.append("g") .attr("class", "x axis") .attr("transform", "translate(0," + height + ")") .call(xAxis); svg.append("g") .attr("class", "y axis") .call(yAxis) .append("text") .attr("transform", "rotate(-90)") .attr("y", 6) .attr("dy", ".75em") .style("text-anchor", "end") .text(""); </script> </div> </div> <div class="publications sort_by_ci hide_more"><div class="more_less"> <a tabindex="0" class="more">all cited Publications <i class="caret"></i></a> <a tabindex="0" class="less">top 5 cited Publications <i class="caret"></i></a> </div><h3>Citations contained in zbMATH Open</h3> <table> <thead> <tr> <th> <strong>4,100 Publications have been cited 41,352 times in <a href="/?q=rj%3A524">21,206 Documents</a> </strong> </th> <th> <a tabindex="0" class="sort_cited">Cited by<span class="pub_ci"> ▼</span></a> </th> <th> <a tabindex="0" class="sort_year">Year<span class="pub_py"> ▼</span></a> </th> </tr> </thead> <tbody> <tr class="pub_ci"> <td> <a class="black" href="/0578.03011">On the logic of theory change: partial meet contraction and revision functions.</a> <a class="label nowrap" href="/0578.03011">Zbl 0578.03011</a> <br><a href="/authors/alchourron.carlos-e" title="Author Profile">Alchourr贸n, Carlos E.</a>; <a href="/authors/gardenfors.peter" title="Author Profile">G盲rdenfors, Peter</a>; <a href="/authors/makinson.david" title="Author Profile">Makinson, David</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3924754">645</a> </div> </td> <td> <div class="citation_year">1985</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/0408.03044">The relative efficiency of propositional proof systems.</a> <a class="label nowrap" href="/0408.03044">Zbl 0408.03044</a> <br><a href="/authors/cook.stephen-a" title="Author Profile">Cook, Stephen A.</a>; <a href="/authors/reckhow.robert-a" title="Author Profile">Reckhow, Robert A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3634252">290</a> </div> </td> <td> <div class="citation_year">1979</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/0084.24603">Foundational aspects of theories of measurement.</a> <a class="label nowrap" href="/0084.24603">Zbl 0084.24603</a> <br><a href="/authors/scott.dana-s" title="Author Profile">Scott, Dana</a>; <a href="/authors/suppes.patrick" title="Author Profile">Suppes, Patrick</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3138231">195</a> </div> </td> <td> <div class="citation_year">1959</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/66.1192.06">A formulation of the simple theory of types.</a> <a class="label nowrap" href="/66.1192.06">JFM 66.1192.06</a> <br><a href="/authors/church.alonzo" title="Author Profile">Church, A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2508873">181</a> </div> </td> <td> <div class="citation_year">1940</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/0037.29409">Some theorems about the sequential calculi of Lewis and Heyting.</a> <a class="label nowrap" href="/0037.29409">Zbl 0037.29409</a> <br><a href="/authors/mckinsey.j-c-c" title="Author Profile">McKinsey, J. C. C.</a>; <a href="/authors/tarski.alfred" title="Author Profile">Tarski, Alfred</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3056880">179</a> </div> </td> <td> <div class="citation_year">1948</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0039.00801">Completeness in the theory of types.</a> <a class="label nowrap" href="/0039.00801">Zbl 0039.00801</a> <br><a href="/authors/henkin.leon" title="Author Profile">Henkin, Leon</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3058856">172</a> </div> </td> <td> <div class="citation_year">1950</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0033.24304">Constructible falsity.</a> <a class="label nowrap" href="/0033.24304">Zbl 0033.24304</a> <br><a href="/authors/?q=ai%3Anelson.david-g%7Cnelson.david-s%7Cnelson.david-e%7Cnelson.david-l%7Cnelson.david-o%7Cnelson.david-r" title="Author Profile">Nelson, David</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3051302">172</a> </div> </td> <td> <div class="citation_year">1949</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0174.01202">Intensional interpretations of functionals of finite type. I.</a> <a class="label nowrap" href="/0174.01202">Zbl 0174.01202</a> <br><a href="/authors/tait.william-w" title="Author Profile">Tait, W. W.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3277466">170</a> </div> </td> <td> <div class="citation_year">1967</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0079.24502">Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory.</a> <a class="label nowrap" href="/0079.24502">Zbl 0079.24502</a> <br><a href="/authors/craig.william" title="Author Profile">Craig, William</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3130280">164</a> </div> </td> <td> <div class="citation_year">1957</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0545.03004">A filter lambda model and the completeness of type assignment.</a> <a class="label nowrap" href="/0545.03004">Zbl 0545.03004</a> <br><a href="/authors/barendregt.henk" title="Author Profile">Barendregt, Henk</a>; <a href="/authors/coppo.mario" title="Author Profile">Coppo, Mario</a>; <a href="/authors/dezani-ciancaglini.mariangiola" title="Author Profile">Dezani-Ciancaglini, Mariangiola</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3867290">164</a> </div> </td> <td> <div class="citation_year">1983</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0020.33803">On notation for ordinal numbers.</a> <a class="label nowrap" href="/0020.33803">Zbl 0020.33803</a> <br><a href="/authors/kleene.stephen-cole" title="Author Profile">Kleene, S. C.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3033071">158</a> </div> </td> <td> <div class="citation_year">1938</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0023.28901">A formulation of the simple theory of types.</a> <a class="label nowrap" href="/0023.28901">Zbl 0023.28901</a> <br><a href="/authors/church.alonzo" title="Author Profile">Church, Alonzo</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3037855">157</a> </div> </td> <td> <div class="citation_year">1940</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/67.0973.02">On the calculus of relations.</a> <a class="label nowrap" href="/67.0973.02">JFM 67.0973.02</a> <br><a href="/authors/tarski.alfred" title="Author Profile">Tarski, A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2504852">151</a> </div> </td> <td> <div class="citation_year">1941</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0091.00902">A completeness theorem in modal logic.</a> <a class="label nowrap" href="/0091.00902">Zbl 0091.00902</a> <br><a href="/authors/kripke.saul-a" title="Author Profile">Kripke, Saul A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3148403">151</a> </div> </td> <td> <div class="citation_year">1959</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0089.24307">A propositional calculus with denumerable matrix.</a> <a class="label nowrap" href="/0089.24307">Zbl 0089.24307</a> <br><a href="/authors/dummett.michael-anthony-eardley" title="Author Profile">Dummett, Michael</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3146053">148</a> </div> </td> <td> <div class="citation_year">1959</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1146.03013">Flag algebras.</a> <a class="label nowrap" href="/1146.03013">Zbl 1146.03013</a> <br><a href="/authors/razborov.alexander-a" title="Author Profile">Razborov, Alexander A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5240874">147</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0341.02044">Probabilities on finite models.</a> <a class="label nowrap" href="/0341.02044">Zbl 0341.02044</a> <br><a href="/authors/fagin.ronald" title="Author Profile">Fagin, Ronald</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3531376">137</a> </div> </td> <td> <div class="citation_year">1976</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0701.03026">Quantales and (noncommutative) linear logic.</a> <a class="label nowrap" href="/0701.03026">Zbl 0701.03026</a> <br><a href="/authors/yetter.david-n" title="Author Profile">Yetter, David N.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4148076">134</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0692.03022">A Borel reducibility theory for classes of countable structures.</a> <a class="label nowrap" href="/0692.03022">Zbl 0692.03022</a> <br><a href="/authors/friedman.harvey-m" title="Author Profile">Friedman, Harvey</a>; <a href="/authors/stanley.lee-j" title="Author Profile">Stanley, Lee</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4132138">133</a> </div> </td> <td> <div class="citation_year">1989</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1263.03030">Recursive unsolvability of a problem of Thue.</a> <a class="label nowrap" href="/1263.03030">Zbl 1263.03030</a> <br><a href="/authors/post.emil-leon" title="Author Profile">Post, Emil L.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6163124">131</a> </div> </td> <td> <div class="citation_year">1947</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0063.03260">On the interpretation of intuitionistic number theory.</a> <a class="label nowrap" href="/0063.03260">Zbl 0063.03260</a> <br><a href="/authors/kleene.stephen-cole" title="Author Profile">Kleene, S. C.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3105239">123</a> </div> </td> <td> <div class="citation_year">1945</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0034.00801">Definability and decision problems in arithmetic.</a> <a class="label nowrap" href="/0034.00801">Zbl 0034.00801</a> <br><a href="/authors/robinson.julia" title="Author Profile">Robinson, Julia</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3051944">121</a> </div> </td> <td> <div class="citation_year">1949</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0977.03033">On the strength of Ramsey’s theorem for pairs.</a> <a class="label nowrap" href="/0977.03033">Zbl 0977.03033</a> <br><a href="/authors/cholak.peter-a" title="Author Profile">Cholak, Peter A.</a>; <a href="/authors/jockusch.carl-g-jun" title="Author Profile">Jockusch, Carl G.</a>; <a href="/authors/slaman.theodore-a" title="Author Profile">Slaman, Theodore A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1623510">119</a> </div> </td> <td> <div class="citation_year">2001</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0043.00901">A theorem about infinite-valued sentential logic.</a> <a class="label nowrap" href="/0043.00901">Zbl 0043.00901</a> <br><a href="/authors/mcnaughton.robert" title="Author Profile">McNaughton, Robert</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3065835">116</a> </div> </td> <td> <div class="citation_year">1951</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0945.03086">Lower bounds for resolution and cutting plane proofs and monotone computations.</a> <a class="label nowrap" href="/0945.03086">Zbl 0945.03086</a> <br><a href="/authors/pudlak.pavel" title="Author Profile">Pudl谩k, Pavel</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1097744">112</a> </div> </td> <td> <div class="citation_year">1997</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0034.00602">The completeness of the first-order functional calculus.</a> <a class="label nowrap" href="/0034.00602">Zbl 0034.00602</a> <br><a href="/authors/henkin.leon" title="Author Profile">Henkin, Leon</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3051940">111</a> </div> </td> <td> <div class="citation_year">1949</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0276.04003">Borel sets and Ramsey’s theorem.</a> <a class="label nowrap" href="/0276.04003">Zbl 0276.04003</a> <br><a href="/authors/galvin.fred" title="Author Profile">Galvin, Fred</a>; <a href="/authors/prikry.karel" title="Author Profile">Prikry, Karel</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3433882">110</a> </div> </td> <td> <div class="citation_year">1973</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0583.03018">Logics without the contraction rule.</a> <a class="label nowrap" href="/0583.03018">Zbl 0583.03018</a> <br><a href="/authors/ono.hiroakira" title="Author Profile">Ono, Hiroakira</a>; <a href="/authors/komori.yuichi" title="Author Profile">Komori, Yuichi</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3933041">109</a> </div> </td> <td> <div class="citation_year">1985</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0575.03016">Constructible falsity and inexact predicates.</a> <a class="label nowrap" href="/0575.03016">Zbl 0575.03016</a> <br><a href="/authors/almukdad.ahmad" title="Author Profile">Almukdad, Ahmad</a>; <a href="/authors/?q=ai%3Anelson.david-s%7Cnelson.david-e%7Cnelson.david-g%7Cnelson.david-o%7Cnelson.david-r%7Cnelson.david-l" title="Author Profile">Nelson, David</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3918340">105</a> </div> </td> <td> <div class="citation_year">1984</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0292.02054">A new proof that analytic sets are Ramsey.</a> <a class="label nowrap" href="/0292.02054">Zbl 0292.02054</a> <br><a href="/authors/ellentuck.erik" title="Author Profile">Ellentuck, Erik</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3456934">105</a> </div> </td> <td> <div class="citation_year">1974</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0026.24401">On the calculus of relations.</a> <a class="label nowrap" href="/0026.24401">Zbl 0026.24401</a> <br><a href="/authors/tarski.alfred" title="Author Profile">Tarski, Alfred</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3041875">104</a> </div> </td> <td> <div class="citation_year">1941</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0822.03007">Games and full completeness for multiplicative linear logic.</a> <a class="label nowrap" href="/0822.03007">Zbl 0822.03007</a> <br><a href="/authors/abramsky.samson" title="Author Profile">Abramsky, Samson</a>; <a href="/authors/jagadeesan.radha" title="Author Profile">Jagadeesan, Radha</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A618232">102</a> </div> </td> <td> <div class="citation_year">1994</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0088.01601">Three theorems on recursive enumeration. I: Decomposition. II: Maximal set. III: Enumeration without duplication.</a> <a class="label nowrap" href="/0088.01601">Zbl 0088.01601</a> <br><a href="/authors/friedberg.richard-m" title="Author Profile">Friedberg, Richard M.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3143692">101</a> </div> </td> <td> <div class="citation_year">1959</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0081.24402">Linear reasoning. A new form of the Herbrand-Gentzen theorem.</a> <a class="label nowrap" href="/0081.24402">Zbl 0081.24402</a> <br><a href="/authors/craig.william" title="Author Profile">Craig, William</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3133526">100</a> </div> </td> <td> <div class="citation_year">1957</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0033.34102">Nicht konstruktiv beweisbare S盲tze der Analysis.</a> <a class="label nowrap" href="/0033.34102">Zbl 0033.34102</a> <br><a href="/authors/specker.ernst-p" title="Author Profile">Specker, Ernst</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3051643">100</a> </div> </td> <td> <div class="citation_year">1949</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0134.01101">Systems of predicative analysis.</a> <a class="label nowrap" href="/0134.01101">Zbl 0134.01101</a> <br><a href="/authors/feferman.solomon" title="Author Profile">Feferman, S.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3217000">98</a> </div> </td> <td> <div class="citation_year">1964</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0193.30102">Trial and error predicates and the solution to a problem of Mostowski.</a> <a class="label nowrap" href="/0193.30102">Zbl 0193.30102</a> <br><a href="/authors/putnam.hilary-w" title="Author Profile">Putnam, H.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3307524">97</a> </div> </td> <td> <div class="citation_year">1965</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0963.03064">Infinite time Turing machines.</a> <a class="label nowrap" href="/0963.03064">Zbl 0963.03064</a> <br><a href="/authors/hamkins.joel-david" title="Author Profile">Hamkins, Joel David</a>; <a href="/authors/lewis.andy" title="Author Profile">Lewis, Andy</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1512465">97</a> </div> </td> <td> <div class="citation_year">2000</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0891.03029">Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic.</a> <a class="label nowrap" href="/0891.03029">Zbl 0891.03029</a> <br><a href="/authors/krajicek.jan" title="Author Profile">Kraj铆膷ek, Jan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1067264">94</a> </div> </td> <td> <div class="citation_year">1997</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0574.03045">A natural extension of natural deduction.</a> <a class="label nowrap" href="/0574.03045">Zbl 0574.03045</a> <br><a href="/authors/schroeder-heister.peter-joseph" title="Author Profile">Schroeder-Heister, Peter</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3916264">93</a> </div> </td> <td> <div class="citation_year">1984</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0362.02046">On definable subsets of p-adic fields.</a> <a class="label nowrap" href="/0362.02046">Zbl 0362.02046</a> <br><a href="/authors/macintyre.angus-j" title="Author Profile">Macintyre, Angus J.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3563069">93</a> </div> </td> <td> <div class="citation_year">1976</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0217.30402">On strongly minimal sets.</a> <a class="label nowrap" href="/0217.30402">Zbl 0217.30402</a> <br><a href="/authors/baldwin.john-t" title="Author Profile">Baldwin, J. T.</a>; <a href="/authors/lachlan.alistair-h" title="Author Profile">Lachlan, A. H.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3345434">90</a> </div> </td> <td> <div class="citation_year">1971</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0088.01602">G枚del numberings of partial recursive functions.</a> <a class="label nowrap" href="/0088.01602">Zbl 0088.01602</a> <br><a href="/authors/rogers.hartley-jun" title="Author Profile">Rogers, Hartley jun.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3143693">89</a> </div> </td> <td> <div class="citation_year">1959</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0063.03864">The decision problem for some classes of sentences without quantifiers.</a> <a class="label nowrap" href="/0063.03864">Zbl 0063.03864</a> <br><a href="/authors/mckinsey.j-c-c" title="Author Profile">McKinsey, J. C. C.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3105821">89</a> </div> </td> <td> <div class="citation_year">1943</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0746.03046">Reflecting on incompleteness.</a> <a class="label nowrap" href="/0746.03046">Zbl 0746.03046</a> <br><a href="/authors/feferman.solomon" title="Author Profile">Feferman, Solomon</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A21865">87</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0958.03027">On the restraining power of guards.</a> <a class="label nowrap" href="/0958.03027">Zbl 0958.03027</a> <br><a href="/authors/gradel.erich" title="Author Profile">Gr盲del, Erich</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1429783">85</a> </div> </td> <td> <div class="citation_year">1999</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0745.03017">Natural 3-valued logics – characterization and proof theory.</a> <a class="label nowrap" href="/0745.03017">Zbl 0745.03017</a> <br><a href="/authors/avron.arnon" title="Author Profile">Avron, Arnon</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A21874">84</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0314.02045">Constructive set theory.</a> <a class="label nowrap" href="/0314.02045">Zbl 0314.02045</a> <br><a href="/authors/myhill.john-r" title="Author Profile">Myhill, John</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3490955">84</a> </div> </td> <td> <div class="citation_year">1975</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0318.02002">One hundred and two problems in mathematical logic.</a> <a class="label nowrap" href="/0318.02002">Zbl 0318.02002</a> <br><a href="/authors/friedman.harvey-m" title="Author Profile">Friedman, Harvey</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3497841">84</a> </div> </td> <td> <div class="citation_year">1975</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0203.01201">Limiting recursion.</a> <a class="label nowrap" href="/0203.01201">Zbl 0203.01201</a> <br><a href="/authors/gold.e-mark" title="Author Profile">Gold, E. M.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3322086">83</a> </div> </td> <td> <div class="citation_year">1965</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0067.00202">Solution of a problem of Leon Henkin.</a> <a class="label nowrap" href="/0067.00202">Zbl 0067.00202</a> <br><a href="/authors/lob.m-h" title="Author Profile">L枚b, M. H.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3113498">83</a> </div> </td> <td> <div class="citation_year">1955</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0262.02042">Ramsey’s theorem and recursion theory.</a> <a class="label nowrap" href="/0262.02042">Zbl 0262.02042</a> <br><a href="/authors/jockusch.carl-g-jun" title="Author Profile">Jockusch, Carl G. jun.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3412620">83</a> </div> </td> <td> <div class="citation_year">1972</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0395.03031">Saturated ideals.</a> <a class="label nowrap" href="/0395.03031">Zbl 0395.03031</a> <br><a href="/authors/kunen.kenneth" title="Author Profile">Kunen, Kenneth</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3613027">83</a> </div> </td> <td> <div class="citation_year">1978</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0243.02037">Existence and feasibility in arithmetic.</a> <a class="label nowrap" href="/0243.02037">Zbl 0243.02037</a> <br><a href="/authors/parikh.rohit" title="Author Profile">Parikh, Rohit</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3384002">82</a> </div> </td> <td> <div class="citation_year">1971</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0763.03009">On an interpretation of second order quantification in first order intuitionistic propositional logic.</a> <a class="label nowrap" href="/0763.03009">Zbl 0763.03009</a> <br><a href="/authors/pitts.andrew-m" title="Author Profile">Pitts, Andrew M.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A63176">82</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0930.03009">Unification in intuitionistic logic.</a> <a class="label nowrap" href="/0930.03009">Zbl 0930.03009</a> <br><a href="/authors/ghilardi.silvio" title="Author Profile">Ghilardi, Silvio</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1335213">80</a> </div> </td> <td> <div class="citation_year">1999</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0926.03071">The determinacy of Blackwell games.</a> <a class="label nowrap" href="/0926.03071">Zbl 0926.03071</a> <br><a href="/authors/martin.donald-a" title="Author Profile">Martin, Donald A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1310812">80</a> </div> </td> <td> <div class="citation_year">1998</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0575.03015">Intuitionistic fuzzy logic and intuitionistic fuzzy set theory.</a> <a class="label nowrap" href="/0575.03015">Zbl 0575.03015</a> <br><a href="/authors/takeuti.gaisi" title="Author Profile">Takeuti, Gaisi</a>; <a href="/authors/titani.satoko" title="Author Profile">Titani, Satoko</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3918339">78</a> </div> </td> <td> <div class="citation_year">1984</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0761.03004">Contraction-free sequent calculi for intuitionistic logic.</a> <a class="label nowrap" href="/0761.03004">Zbl 0761.03004</a> <br><a href="/authors/dyckhoff.roy" title="Author Profile">Dyckhoff, Roy</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A150229">77</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0245.02028">Semantics for relevant logics.</a> <a class="label nowrap" href="/0245.02028">Zbl 0245.02028</a> <br><a href="/authors/urquhart.alasdair" title="Author Profile">Urquhart, Alasdair</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3387317">76</a> </div> </td> <td> <div class="citation_year">1972</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0986.03013">On the admissible rules of intuitionistic propositional logic.</a> <a class="label nowrap" href="/0986.03013">Zbl 0986.03013</a> <br><a href="/authors/iemhoff.rosalie" title="Author Profile">Iemhoff, Rosalie</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1623522">73</a> </div> </td> <td> <div class="citation_year">2001</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0231.02024">Algebraic completeness results for R-mingle and its extensions.</a> <a class="label nowrap" href="/0231.02024">Zbl 0231.02024</a> <br><a href="/authors/dunn.jon-michael" title="Author Profile">Dunn, J. Michael</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3365202">73</a> </div> </td> <td> <div class="citation_year">1970</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0046.00701">On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications.</a> <a class="label nowrap" href="/0046.00701">Zbl 0046.00701</a> <br><a href="/authors/kreisel.georg" title="Author Profile">Kreisel, Georg</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3071022">72</a> </div> </td> <td> <div class="citation_year">1952</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1139.03017">Substructural fuzzy logics.</a> <a class="label nowrap" href="/1139.03017">Zbl 1139.03017</a> <br><a href="/authors/metcalfe.george" title="Author Profile">Metcalfe, George</a>; <a href="/authors/montagna.franco" title="Author Profile">Montagna, Franco</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5201543">72</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1118.03055">Combinatorial principles weaker than Ramsey’s theorem for pairs.</a> <a class="label nowrap" href="/1118.03055">Zbl 1118.03055</a> <br><a href="/authors/hirschfeldt.denis-r" title="Author Profile">Hirschfeldt, Denis R.</a>; <a href="/authors/shore.richard-a" title="Author Profile">Shore, Richard A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5132671">72</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0147.24805">Algebraic semantics for modal logics. I, II.</a> <a class="label nowrap" href="/0147.24805">Zbl 0147.24805</a> <br><a href="/authors/lemmon.edward-john" title="Author Profile">Lemmon, E. J.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3237816">70</a> </div> </td> <td> <div class="citation_year">1966</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1222.03071">Weihrauch degrees, omniscience principles and weak computability.</a> <a class="label nowrap" href="/1222.03071">Zbl 1222.03071</a> <br><a href="/authors/brattka.vasco" title="Author Profile">Brattka, Vasco</a>; <a href="/authors/gherardi.guido" title="Author Profile">Gherardi, Guido</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5867995">69</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0175.27404">Some undecidable problems involving elementary functions of a real variable.</a> <a class="label nowrap" href="/0175.27404">Zbl 0175.27404</a> <br><a href="/authors/?q=ai%3Arichardson.david-l%7Crichardson.dennis-w%7Crichardson.david-h%7Crichardson.david-bonner%7Crichardson.dejuran%7Crichardson.david-m%7Crichardson.david-w%7Crichardson.dianne-e%7Crichardson.dan%7Crichardson.daniel-c" title="Author Profile">Richardson, D.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3280066">69</a> </div> </td> <td> <div class="citation_year">1968</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0043.24801">On sentences which are true of direct unions of algebras.</a> <a class="label nowrap" href="/0043.24801">Zbl 0043.24801</a> <br><a href="/authors/horn.alfred" title="Author Profile">Horn, Alfred</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3066800">69</a> </div> </td> <td> <div class="citation_year">1951</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0272.02087">Elementary embedding and infinitary combinatorics.</a> <a class="label nowrap" href="/0272.02087">Zbl 0272.02087</a> <br><a href="/authors/kunen.kenneth" title="Author Profile">Kunen, Kenneth</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3427357">68</a> </div> </td> <td> <div class="citation_year">1971</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0216.01304">Every analytic set is Ramsey.</a> <a class="label nowrap" href="/0216.01304">Zbl 0216.01304</a> <br><a href="/authors/silver.jack-h" title="Author Profile">Silver, J.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3342848">67</a> </div> </td> <td> <div class="citation_year">1970</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0943.03599">A logical analysis of some value concepts.</a> <a class="label nowrap" href="/0943.03599">Zbl 0943.03599</a> <br><a href="/authors/fitch.frederic-brenton" title="Author Profile">Fitch, Frederic B.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1492968">67</a> </div> </td> <td> <div class="citation_year">1964</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1101.03021">Canonical extensions and relational completeness of some substructural logics.</a> <a class="label nowrap" href="/1101.03021">Zbl 1101.03021</a> <br><a href="/authors/dunn.jon-michael" title="Author Profile">Dunn, J. Michael</a>; <a href="/authors/gehrke.mai" title="Author Profile">Gehrke, Mai</a>; <a href="/authors/palmigiano.alessandra" title="Author Profile">Palmigiano, Alessandra</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2247443">66</a> </div> </td> <td> <div class="citation_year">2005</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0044.00302">On the interpretation of non-finitist proofs. I.</a> <a class="label nowrap" href="/0044.00302">Zbl 0044.00302</a> <br><a href="/authors/kreisel.georg" title="Author Profile">Kreisel, Georg</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3067656">66</a> </div> </td> <td> <div class="citation_year">1951</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0633.03038">Degrees coded in jumps of orderings.</a> <a class="label nowrap" href="/0633.03038">Zbl 0633.03038</a> <br><a href="/authors/knight.julia-f" title="Author Profile">Knight, Julia F.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4029537">65</a> </div> </td> <td> <div class="citation_year">1986</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0117.25402">Transfinite recursive progressions of axiomatic theories.</a> <a class="label nowrap" href="/0117.25402">Zbl 0117.25402</a> <br><a href="/authors/feferman.solomon" title="Author Profile">Feferman, S.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3191276">65</a> </div> </td> <td> <div class="citation_year">1963</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0067.00303">Recursive well-orderings.</a> <a class="label nowrap" href="/0067.00303">Zbl 0067.00303</a> <br><a href="/authors/spector.clifford" title="Author Profile">Spector, Clifford</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3113505">64</a> </div> </td> <td> <div class="citation_year">1955</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0063.06362">Concatenation as a basis for arithmetic.</a> <a class="label nowrap" href="/0063.06362">Zbl 0063.06362</a> <br><a href="/authors/quine.willard-van-orman" title="Author Profile">Quine, Willard Van Orman</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3106609">64</a> </div> </td> <td> <div class="citation_year">1946</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0628.60001">Von Mises’ definition of random sequences reconsidered.</a> <a class="label nowrap" href="/0628.60001">Zbl 0628.60001</a> <br><a href="/authors/van-lambalgen.michiel-marian-michiel" title="Author Profile">van Lambalgen, Michiel</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4022231">63</a> </div> </td> <td> <div class="citation_year">1987</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0984.03018">Hybrid logics: Characterization, interpolation and complexity.</a> <a class="label nowrap" href="/0984.03018">Zbl 0984.03018</a> <br><a href="/authors/areces.carlos" title="Author Profile">Areces, Carlos</a>; <a href="/authors/blackburn.patrick" title="Author Profile">Blackburn, Patrick</a>; <a href="/authors/marx.maarten" title="Author Profile">Marx, Maarten</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1679316">63</a> </div> </td> <td> <div class="citation_year">2001</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0696.03029">Propositional proof systems, the consistency of first order theories and the complexity of computations.</a> <a class="label nowrap" href="/0696.03029">Zbl 0696.03029</a> <br><a href="/authors/krajicek.jan" title="Author Profile">Kraj铆膷ek, Jan</a>; <a href="/authors/pudlak.pavel" title="Author Profile">Pudl谩k, Pavel</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4139736">62</a> </div> </td> <td> <div class="citation_year">1989</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0398.03039">Analytic determinacy and $O^\#$.</a> <a class="label nowrap" href="/0398.03039">Zbl 0398.03039</a> <br><a href="/authors/harrington.leo-a" title="Author Profile">Harrington, Leo</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3618132">62</a> </div> </td> <td> <div class="citation_year">1978</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1090.03013">Randomness, relativization and Turing degrees.</a> <a class="label nowrap" href="/1090.03013">Zbl 1090.03013</a> <br><a href="/authors/nies.andre-otfrid" title="Author Profile">Nies, Andr茅</a>; <a href="/authors/stephan.frank" title="Author Profile">Stephan, Frank</a>; <a href="/authors/terwijn.sebastiaan-a" title="Author Profile">Terwijn, Sebastiaan A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2247425">61</a> </div> </td> <td> <div class="citation_year">2005</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0636.03053">Polynomial size proofs of the propositional pigeonhole principle.</a> <a class="label nowrap" href="/0636.03053">Zbl 0636.03053</a> <br><a href="/authors/buss.samuel-r" title="Author Profile">Buss, Samuel R.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4035825">61</a> </div> </td> <td> <div class="citation_year">1987</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0506.03014">Reflecting stationary sets.</a> <a class="label nowrap" href="/0506.03014">Zbl 0506.03014</a> <br><a href="/authors/magidor.menachem" title="Author Profile">Magidor, Menachem</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3797740">61</a> </div> </td> <td> <div class="citation_year">1982</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0688.03042">Provability of the pigeonhole principle and the existence of infinitely many primes.</a> <a class="label nowrap" href="/0688.03042">Zbl 0688.03042</a> <br><a href="/authors/paris.jeffrey-bruce" title="Author Profile">Paris, J. B.</a>; <a href="/authors/wilkie.alex-j" title="Author Profile">Wilkie, A. J.</a>; <a href="/authors/woods.alan-robert" title="Author Profile">Woods, A. R.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4127203">60</a> </div> </td> <td> <div class="citation_year">1988</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0639.03017">A constructive analysis of RM.</a> <a class="label nowrap" href="/0639.03017">Zbl 0639.03017</a> <br><a href="/authors/avron.arnon" title="Author Profile">Avron, Arnon</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4041869">59</a> </div> </td> <td> <div class="citation_year">1987</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0181.29904">Logic with truth values in a linearly ordered Heyting algebra.</a> <a class="label nowrap" href="/0181.29904">Zbl 0181.29904</a> <br><a href="/authors/horn.alfred" title="Author Profile">Horn, A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3288578">59</a> </div> </td> <td> <div class="citation_year">1969</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/64.0932.03">On notation for ordinal numbers.</a> <a class="label nowrap" href="/64.0932.03">JFM 64.0932.03</a> <br><a href="/authors/kleene.stephen-cole" title="Author Profile">Kleene, S. C.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2517776">59</a> </div> </td> <td> <div class="citation_year">1938</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0231.02038">Resolution in type theory.</a> <a class="label nowrap" href="/0231.02038">Zbl 0231.02038</a> <br><a href="/authors/andrews.peter-b" title="Author Profile">Andrews, Peter B.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3365216">57</a> </div> </td> <td> <div class="citation_year">1971</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0391.03027">Models without indiscernibles.</a> <a class="label nowrap" href="/0391.03027">Zbl 0391.03027</a> <br><a href="/authors/abramson.fred-g" title="Author Profile">Abramson, Fred G.</a>; <a href="/authors/harrington.leo-a" title="Author Profile">Harrington, Leo A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3606453">57</a> </div> </td> <td> <div class="citation_year">1978</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0564.18001">Fibered categories and the foundations of naive category theory.</a> <a class="label nowrap" href="/0564.18001">Zbl 0564.18001</a> <br><a href="/authors/benabou.jean" title="Author Profile">B茅nabou, Jean</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3899127">56</a> </div> </td> <td> <div class="citation_year">1985</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0512.03024">Degrees of structures.</a> <a class="label nowrap" href="/0512.03024">Zbl 0512.03024</a> <br><a href="/authors/richter.linda-jean" title="Author Profile">Richter, Linda Jean</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3807601">54</a> </div> </td> <td> <div class="citation_year">1981</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0574.03043">Toward useful type-free theories. I.</a> <a class="label nowrap" href="/0574.03043">Zbl 0574.03043</a> <br><a href="/authors/feferman.solomon" title="Author Profile">Feferman, Solomon</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3916262">53</a> </div> </td> <td> <div class="citation_year">1984</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0569.03024">Cuts, consistency statements and interpretations.</a> <a class="label nowrap" href="/0569.03024">Zbl 0569.03024</a> <br><a href="/authors/pudlak.pavel" title="Author Profile">Pudl谩k, Pavel</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3908427">53</a> </div> </td> <td> <div class="citation_year">1985</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0144.24501">Decidability and undecidability of extensions of second (first) order theory of (generalized) successor.</a> <a class="label nowrap" href="/0144.24501">Zbl 0144.24501</a> <br><a href="/authors/elgot.calvin-c" title="Author Profile">Elgot, Calvin C.</a>; <a href="/authors/rabin.michael-o" title="Author Profile">Rabin, Michael O.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3232741">53</a> </div> </td> <td> <div class="citation_year">1966</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0222.02048">Hierarchies of Boolean algebras.</a> <a class="label nowrap" href="/0222.02048">Zbl 0222.02048</a> <br><a href="/authors/feiner.lawrence" title="Author Profile">Feiner, Lawrence</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3351543">53</a> </div> </td> <td> <div class="citation_year">1971</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0810.03017">Kernel contraction.</a> <a class="label nowrap" href="/0810.03017">Zbl 0810.03017</a> <br><a href="/authors/hansson.sven-ove" title="Author Profile">Hansson, Sven Ove</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A695446">53</a> </div> </td> <td> <div class="citation_year">1994</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0501.60006">Probabilities over rich languages, testing and randomness.</a> <a class="label nowrap" href="/0501.60006">Zbl 0501.60006</a> <br><a href="/authors/gaifman.haim" title="Author Profile">Gaifman, Haim</a>; <a href="/authors/snir.marc" title="Author Profile">Snir, Marc</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3789554">51</a> </div> </td> <td> <div class="citation_year">1982</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0746.03044">Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic.</a> <a class="label nowrap" href="/0746.03044">Zbl 0746.03044</a> <br><a href="/authors/abrusci.vito-michele" title="Author Profile">Abrusci, V. Michele</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A26195">51</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/07948993">On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor.</a> <a class="label nowrap" href="/7948993">Zbl 07948993</a> <br><a href="/authors/normann.dag" title="Author Profile">Normann, Dag</a>; <a href="/authors/sanders.sam" title="Author Profile">Sanders, Sam</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7948993">5</a> </div> </td> <td> <div class="citation_year">2024</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/07948992">The permutations with $n$ non-fixed points and the sequences with length $n$ of a set.</a> <a class="label nowrap" href="/7948992">Zbl 07948992</a> <br><a href="/authors/nuntasri.jukkrid" title="Author Profile">Nuntasri, Jukkrid</a>; <a href="/authors/vejjajiva.pimpen" title="Author Profile">Vejjajiva, Pimpen</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7948992">2</a> </div> </td> <td> <div class="citation_year">2024</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/07978115">Big in reverse mathematics: the uncountability of the reals.</a> <a class="label nowrap" href="/7978115">Zbl 07978115</a> <br><a href="/authors/sanders.sam" title="Author Profile">Sanders, Sam</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7978115">2</a> </div> </td> <td> <div class="citation_year">2024</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/07978124">The uniqueness of elementary embeddings.</a> <a class="label nowrap" href="/7978124">Zbl 07978124</a> <br><a href="/authors/goldberg.gabriel" title="Author Profile">Goldberg, Gabriel</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7978124">2</a> </div> </td> <td> <div class="citation_year">2024</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/07827881">The simplest low linear order with no computable copies.</a> <a class="label nowrap" href="/7827881">Zbl 07827881</a> <br><a href="/authors/frolov.andrei-nikolaevich" title="Author Profile">Frolov, Andrey</a>; <a href="/authors/zubkov.maxim-v" title="Author Profile">Zubkov, Maxim</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7827881">1</a> </div> </td> <td> <div class="citation_year">2024</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07827883">Maximality of logic without identity.</a> <a class="label nowrap" href="/7827883">Zbl 07827883</a> <br><a href="/authors/badia.guillermo" title="Author Profile">Badia, Guillermo</a>; <a href="/authors/caicedo.xavier" title="Author Profile">Caicedo, Xavier</a>; <a href="/authors/noguera.carles" title="Author Profile">Noguera, Carles</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7827883">1</a> </div> </td> <td> <div class="citation_year">2024</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07948997">Fractal dimensions of $k$-automatic sets.</a> <a class="label nowrap" href="/7948997">Zbl 07948997</a> <br><a href="/authors/gorman.alexi-block" title="Author Profile">Block Gorman, Alexi</a>; <a href="/authors/schulz.chris-s" title="Author Profile">Schulz, Chris</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7948997">1</a> </div> </td> <td> <div class="citation_year">2024</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07949001">Comparing computability in two topologies.</a> <a class="label nowrap" href="/7949001">Zbl 07949001</a> <br><a href="/authors/amir.djamel-eddine" title="Author Profile">Amir, Djamel Eddine</a>; <a href="/authors/hoyrup.mathieu" title="Author Profile">Hoyrup, Mathieu</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7949001">1</a> </div> </td> <td> <div class="citation_year">2024</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07949004">Remarks on convergence of Morley sequences.</a> <a class="label nowrap" href="/7949004">Zbl 07949004</a> <br><a href="/authors/khanaki.karim" title="Author Profile">Khanaki, Karim</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7949004">1</a> </div> </td> <td> <div class="citation_year">2024</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07949009">Extensions and limits of the Specker-Blatter theorem.</a> <a class="label nowrap" href="/7949009">Zbl 07949009</a> <br><a href="/authors/fischer.eldar" title="Author Profile">Fischer, Eldar</a>; <a href="/authors/makowsky.johann-andreas" title="Author Profile">Makowsky, Johann A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7949009">1</a> </div> </td> <td> <div class="citation_year">2024</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07827890">(Extra)ordinary equivalences with the ascending/descending sequence principle.</a> <a class="label nowrap" href="/7827890">Zbl 07827890</a> <br><a href="/authors/fiori-carones.marta" title="Author Profile">Fiori-Carones, Marta</a>; <a href="/authors/marcone.alberto" title="Author Profile">Marcone, Alberto</a>; <a href="/authors/shafer.paul" title="Author Profile">Shafer, Paul</a>; <a href="/authors/solda.giovanni" title="Author Profile">Sold脿, Giovanni</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7827890">1</a> </div> </td> <td> <div class="citation_year">2024</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07827894">Stability results assuming tameness, monster model, and continuity of nonsplitting.</a> <a class="label nowrap" href="/7827894">Zbl 07827894</a> <br><a href="/authors/leung.samson" title="Author Profile">Leung, Samson</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7827894">1</a> </div> </td> <td> <div class="citation_year">2024</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07978112">B-systems and C-systems are equivalent.</a> <a class="label nowrap" href="/7978112">Zbl 07978112</a> <br><a href="/authors/ahrens.benedikt" title="Author Profile">Ahrens, Benedikt</a>; <a href="/authors/emmenegger.jacopo" title="Author Profile">Emmenegger, Jacopo</a>; <a href="/authors/north.paige-randall" title="Author Profile">North, Paige Randall</a>; <a href="/authors/rijke.egbert" title="Author Profile">Rijke, Egbert</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7978112">1</a> </div> </td> <td> <div class="citation_year">2024</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07978122">Computable vs descriptive combinatorics of local problems on trees.</a> <a class="label nowrap" href="/7978122">Zbl 07978122</a> <br><a href="/authors/weilacher.felix" title="Author Profile">Weilacher, Felix</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7978122">1</a> </div> </td> <td> <div class="citation_year">2024</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1518.03006">Locally o-minimal structures with tame topological properties.</a> <a class="label nowrap" href="/1518.03006">Zbl 1518.03006</a> <br><a href="/authors/fujita.masato" title="Author Profile">Fujita, Masato</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7657281">5</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07657279">On restrictions of ultrafilters from generic extensions to ground models.</a> <a class="label nowrap" href="/7657279">Zbl 07657279</a> <br><a href="/authors/gitik.moti" title="Author Profile">Gitik, Moti</a>; <a href="/authors/kaplan.eyal" title="Author Profile">Kaplan, Eyal</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7657279">4</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1537.03044">Model theory and proof theory of the global reflection principle.</a> <a class="label nowrap" href="/1537.03044">Zbl 1537.03044</a> <br><a href="/authors/lelyk.mateusz-zbigniew" title="Author Profile">艁e艂yk, Mateusz Zbigniew</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7691759">4</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1535.03247">Knaster and friends. III: Subadditive colorings.</a> <a class="label nowrap" href="/1535.03247">Zbl 1535.03247</a> <br><a href="/authors/lambie-hanson.chris" title="Author Profile">Lambie-Hanson, Chris</a>; <a href="/authors/rinot.assaf" title="Author Profile">Rinot, Assaf</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7735952">4</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07657276">Some stable non-elementary classes of modules.</a> <a class="label nowrap" href="/7657276">Zbl 07657276</a> <br><a href="/authors/mazari-armida.marcos" title="Author Profile">Mazari-Armida, Marcos</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7657276">3</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07781906">The strength of an axiom of finite choice for branches in trees.</a> <a class="label nowrap" href="/7781906">Zbl 07781906</a> <br><a href="/authors/goh.jun-le" title="Author Profile">Goh, Jun Le</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7781906">3</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07691760">Trees and stationary reflection at double successors of regular cardinals.</a> <a class="label nowrap" href="/7691760">Zbl 07691760</a> <br><a href="/authors/gilton.thomas" title="Author Profile">Gilton, Thomas</a>; <a href="/authors/levine.maxwell" title="Author Profile">Levine, Maxwell</a>; <a href="/authors/stejskalova.sarka" title="Author Profile">Stejskalov谩, 艩谩rka</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7691760">3</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07735941">Transitivity, lowness, and ranks in NSOP$_1$ theories.</a> <a class="label nowrap" href="/7735941">Zbl 07735941</a> <br><a href="/authors/chernikov.artem" title="Author Profile">Chernikov, Artem</a>; <a href="/authors/kim.byunghan" title="Author Profile">Kim, Byunghan</a>; <a href="/authors/ramsey.nicholas" title="Author Profile">Ramsey, Nicholas</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7735941">3</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1531.81056">On the structure of computable reducibility on equivalence relations of natural numbers.</a> <a class="label nowrap" href="/1531.81056">Zbl 1531.81056</a> <br><a href="/authors/andrews.uri" title="Author Profile">Andrews, Uri</a>; <a href="/authors/belin.daniel-f" title="Author Profile">Belin, Daniel F.</a>; <a href="/authors/san-mauro.luca" title="Author Profile">San Mauro, Luca</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7735944">3</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07735950">The discontinuity problem.</a> <a class="label nowrap" href="/7735950">Zbl 07735950</a> <br><a href="/authors/brattka.vasco" title="Author Profile">Brattka, Vasco</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7735950">3</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07657278">The weak Vop臎nka principle for definable classes of structures.</a> <a class="label nowrap" href="/7657278">Zbl 07657278</a> <br><a href="/authors/bagaria.joan" title="Author Profile">Bagaria, Joan</a>; <a href="/authors/wilson.trevor-m" title="Author Profile">Wilson, Trevor M.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7657278">2</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1527.18004">Models of Martin-L枚f type theory from algebraic weak factorisation systems.</a> <a class="label nowrap" href="/1527.18004">Zbl 1527.18004</a> <br><a href="/authors/gambino.nicola" title="Author Profile">Gambino, Nicola</a>; <a href="/authors/larrea.marco-federico" title="Author Profile">Larrea, Marco Federico</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7657282">2</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07657283">More on the preservation of large cardinals under class forcing.</a> <a class="label nowrap" href="/7657283">Zbl 07657283</a> <br><a href="/authors/bagaria.joan" title="Author Profile">Bagaria, Joan</a>; <a href="/authors/poveda.alejandro" title="Author Profile">Poveda, Alejandro</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7657283">2</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07781904">On groups with definable $f$-generics definable in $p$-adically closed fields.</a> <a class="label nowrap" href="/7781904">Zbl 07781904</a> <br><a href="/authors/pillay.anand" title="Author Profile">Pillay, Anand</a>; <a href="/authors/yao.ningyuan" title="Author Profile">Yao, Ningyuan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7781904">2</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07781908">Higher dimensional cardinal characteristics for sets of functions. II.</a> <a class="label nowrap" href="/7781908">Zbl 07781908</a> <br><a href="/authors/brendle.jorg" title="Author Profile">Brendle, J枚rg</a>; <a href="/authors/switzer.corey-bacal" title="Author Profile">Switzer, Corey Bacal</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7781908">2</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07781917">Elimination of imaginaries in ordered abelian groups with bounded regular rank.</a> <a class="label nowrap" href="/7781917">Zbl 07781917</a> <br><a href="/authors/vicaria.mariana" title="Author Profile">Vicar铆a, Mariana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7781917">2</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07691753">Complete logics for elementary team properties.</a> <a class="label nowrap" href="/7691753">Zbl 07691753</a> <br><a href="/authors/kontinen.juha" title="Author Profile">Kontinen, Juha</a>; <a href="/authors/yang.fan.28" title="Author Profile">Yang, Fan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7691753">2</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07691754">How strong is Ramsey’s theorem if infinity can be weak?</a> <a class="label nowrap" href="/7691754">Zbl 07691754</a> <br><a href="/authors/kolodziejczyk.leszek-aleksander" title="Author Profile">Ko艂odziejczyk, Leszek Aleksander</a>; <a href="/authors/kowalik.katarzyna-w" title="Author Profile">Kowalik, Katarzyna W.</a>; <a href="/authors/yokoyama.keita" title="Author Profile">Yokoyama, Keita</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7691754">2</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1525.03056">Almost theorems of hyperarithmetic analysis.</a> <a class="label nowrap" href="/1525.03056">Zbl 1525.03056</a> <br><a href="/authors/shore.richard-a" title="Author Profile">Shore, Richard A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7691756">2</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1514.18006">Cellular categories and stable independence.</a> <a class="label nowrap" href="/1514.18006">Zbl 1514.18006</a> <br><a href="/authors/lieberman.michael-j" title="Author Profile">Lieberman, Michael</a>; <a href="/authors/rosicky.jiri" title="Author Profile">Rosick媒, Ji艡铆</a>; <a href="/authors/vasey.sebastien" title="Author Profile">Vasey, Sebastien</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7691761">2</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07691762">Ideal operators and higher indescribability.</a> <a class="label nowrap" href="/7691762">Zbl 07691762</a> <br><a href="/authors/cody.brent-m" title="Author Profile">Cody, Brent</a>; <a href="/authors/holy.peter" title="Author Profile">Holy, Peter</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7691762">2</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07735947">Bohr compactifications of groups and rings.</a> <a class="label nowrap" href="/7735947">Zbl 07735947</a> <br><a href="/authors/gismatullin.jakub" title="Author Profile">Gismatullin, Jakub</a>; <a href="/authors/jagiella.grzegorz" title="Author Profile">Jagiella, Grzegorz</a>; <a href="/authors/krupinski.krzysztof" title="Author Profile">Krupi艅ski, Krzysztof</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7735947">2</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07735953">The diagonal strong reflection principle and its fragments.</a> <a class="label nowrap" href="/7735953">Zbl 07735953</a> <br><a href="/authors/cox.sean-d" title="Author Profile">Cox, Sean D.</a>; <a href="/authors/?q=au%3AFuchs%2C%2BGunter" title="Author Profile">Fuchs, Gunter</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7735953">2</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1542.03051">Most(?) theories have Borel complete reducts.</a> <a class="label nowrap" href="/1542.03051">Zbl 1542.03051</a> <br><a href="/authors/laskowski.michael-chris" title="Author Profile">Laskowski, Michael C.</a>; <a href="/authors/ulrich.douglas-s" title="Author Profile">Ulrich, Douglas S.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7657287">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1546.03004">Monadic intuitionistic and modal logics admitting provability interpretations.</a> <a class="label nowrap" href="/1546.03004">Zbl 1546.03004</a> <br><a href="/authors/bezhanishvili.guram" title="Author Profile">Bezhanishvili, Guram</a>; <a href="/authors/brantley.kristina-leifeste" title="Author Profile">Brantley, Kristina</a>; <a href="/authors/ilin.julia" title="Author Profile">Ilin, Julia</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7657288">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07657274">Finitist axiomatic truth.</a> <a class="label nowrap" href="/7657274">Zbl 07657274</a> <br><a href="/authors/kentaro.sato" title="Author Profile">Kentaro, Sato</a>; <a href="/authors/walker.jan" title="Author Profile">Walker, Jan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7657274">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1528.28005">On sequences of homomorphisms into measure algebras and the Efimov problem.</a> <a class="label nowrap" href="/1528.28005">Zbl 1528.28005</a> <br><a href="/authors/borodulin-nadzieja.piotr" title="Author Profile">Borodulin-Nadzieja, Piotr</a>; <a href="/authors/sobota.damian" title="Author Profile">Sobota, Damian</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7657280">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1542.03082">The poset of all logics. II: Leibniz classes and hierarchy.</a> <a class="label nowrap" href="/1542.03082">Zbl 1542.03082</a> <br><a href="/authors/jansana.ramon" title="Author Profile">Jansana, R.</a>; <a href="/authors/moraschini.tommaso" title="Author Profile">Moraschini, T.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7657284">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07781910">Conservation theorems on semi-classical arithmetic.</a> <a class="label nowrap" href="/7781910">Zbl 07781910</a> <br><a href="/authors/fujiwara.makoto.1" title="Author Profile">Fujiwara, Makoto</a>; <a href="/authors/kurahashi.taishi" title="Author Profile">Kurahashi, Taishi</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7781910">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1546.03017">Axiomatizations of Peano arithmetic: a truth-theoretic view.</a> <a class="label nowrap" href="/1546.03017">Zbl 1546.03017</a> <br><a href="/authors/enayat.ali" title="Author Profile">Enayat, Ali</a>; <a href="/authors/lelyk.mateusz-zbigniew" title="Author Profile">艁e艂yk, Mateusz</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7781912">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1540.03091">Continuous logic and Borel equivalence relations.</a> <a class="label nowrap" href="/1540.03091">Zbl 1540.03091</a> <br><a href="/authors/hallback.andreas" title="Author Profile">Hallb盲ck, Andreas</a>; <a href="/authors/malicki.maciej" title="Author Profile">Malicki, Maciej</a>; <a href="/authors/tsankov.todor" title="Author Profile">Tsankov, Todor</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7781921">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07781903">Theories with distal Shelah expansions.</a> <a class="label nowrap" href="/7781903">Zbl 07781903</a> <br><a href="/authors/boxall.gareth-j" title="Author Profile">Boxall, Gareth</a>; <a href="/authors/kestner.charlotte" title="Author Profile">Kestner, Charlotte</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7781903">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07691748">Metrics for formal structures, with an application to Kripke models and their dynamics.</a> <a class="label nowrap" href="/7691748">Zbl 07691748</a> <br><a href="/authors/?q=au%3AKlein%2C%2BDominik" title="Author Profile">Klein, Dominik</a>; <a href="/authors/rendsvig.rasmus-kraemmer" title="Author Profile">Rendsvig, Rasmus K.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7691748">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07691751">Computable reducibility of equivalence relations and an effective jump operator.</a> <a class="label nowrap" href="/7691751">Zbl 07691751</a> <br><a href="/authors/clemens.john-daniel" title="Author Profile">Clemens, John D.</a>; <a href="/authors/coskey.samuel" title="Author Profile">Coskey, Samuel</a>; <a href="/authors/krakoff.gianni" title="Author Profile">Krakoff, Gianni</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7691751">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1536.03032">Finite relation algebras.</a> <a class="label nowrap" href="/1536.03032">Zbl 1536.03032</a> <br><a href="/authors/koussas.james-mathew" title="Author Profile">Koussas, James Mathew</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7691763">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07735942">On cohesive powers of linear orders.</a> <a class="label nowrap" href="/7735942">Zbl 07735942</a> <br><a href="/authors/dimitrov.rumen-d" title="Author Profile">Dimitrov, Rumen</a>; <a href="/authors/harizanov.valentina-s" title="Author Profile">Harizanov, Valentina</a>; <a href="/authors/morozov.andrei-sergeevich" title="Author Profile">Morozov, Andrey</a>; <a href="/authors/shafer.paul" title="Author Profile">Shafer, Paul</a>; <a href="/authors/soskova.alexandra-a" title="Author Profile">Soskova, Alexandra A.</a>; <a href="/authors/vatev.stefan-v" title="Author Profile">Vatev, Stefan V.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7735942">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1531.81109">The embedding property for sorted profinite groups.</a> <a class="label nowrap" href="/1531.81109">Zbl 1531.81109</a> <br><a href="/authors/lee.junguk" title="Author Profile">Lee, Junguk</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7735943">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07735945">Definability of Henselian valuations by conditions on the value group.</a> <a class="label nowrap" href="/7735945">Zbl 07735945</a> <br><a href="/authors/krapp.lothar-sebastian" title="Author Profile">Krapp, Lothar Sebastian</a>; <a href="/authors/kuhlmann.salma" title="Author Profile">Kuhlmann, Salma</a>; <a href="/authors/link.moritz" title="Author Profile">Link, Moritz</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7735945">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07735946">Expanding the reals by continuous functions adds no computational power.</a> <a class="label nowrap" href="/7735946">Zbl 07735946</a> <br><a href="/authors/andrews.uri" title="Author Profile">Andrews, Uri</a>; <a href="/authors/knight.julia-f" title="Author Profile">Knight, Julia F.</a>; <a href="/authors/kuyper.rutger" title="Author Profile">Kuyper, Rutger</a>; <a href="/authors/miller.joseph-s" title="Author Profile">Miller, Joseph S.</a>; <a href="/authors/soskova.mariya-ivanova" title="Author Profile">Soskova, Mariya I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7735946">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1537.03042">Model theory of derivations of the Frobenius map revisited.</a> <a class="label nowrap" href="/1537.03042">Zbl 1537.03042</a> <br><a href="/authors/gogolok.jakub" title="Author Profile">Gogolok, Jakub</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7735951">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07735955">Addendum to: “The automorphism group of the Fra茂ss茅 limit of finite Heyting algebras”.</a> <a class="label nowrap" href="/7735955">Zbl 07735955</a> <br><a href="/authors/yamamoto.kentaro" title="Author Profile">Yamamoto, Kentar么</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7735955">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1523.03004">On the uncountability of $\mathbb{R}$.</a> <a class="label nowrap" href="/1523.03004">Zbl 1523.03004</a> <br><a href="/authors/normann.dag" title="Author Profile">Normann, Dag</a>; <a href="/authors/sanders.sam" title="Author Profile">Sanders, Sam</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7620698">9</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1523.03020">Applications of pcf theory to the study of ideals on $P_{\kappa}(\lambda)$.</a> <a class="label nowrap" href="/1523.03020">Zbl 1523.03020</a> <br><a href="/authors/matet.pierre" title="Author Profile">Matet, Pierre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7576894">8</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1510.03023">A marriage of Brouwer’s intuitionism and Hilbert’s finitism. I: Arithmetic.</a> <a class="label nowrap" href="/1510.03023">Zbl 1510.03023</a> <br><a href="/authors/nemoto.takako" title="Author Profile">Nemoto, Takako</a>; <a href="/authors/kentaro.sato" title="Author Profile">Kentaro, Sato</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7541909">7</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1512.03057">On non-compact $p$-adic definable groups.</a> <a class="label nowrap" href="/1512.03057">Zbl 1512.03057</a> <br><a href="/authors/johnson.will" title="Author Profile">Johnson, Will</a>; <a href="/authors/yao.ningyuan" title="Author Profile">Yao, Ningyuan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7506775">6</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1526.03005">Forcing constructions and countable Borel equivalence relations.</a> <a class="label nowrap" href="/1526.03005">Zbl 1526.03005</a> <br><a href="/authors/gao.su" title="Author Profile">Gao, Su</a>; <a href="/authors/?q=au%3AJackson%2C%2BSteve" title="Author Profile">Jackson, Steve</a>; <a href="/authors/krohne.edward" title="Author Profile">Krohne, Edward</a>; <a href="/authors/seward.brandon-m" title="Author Profile">Seward, Brandon</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7576890">5</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07541920">A Q-wadge hierarchy in quasi-Polish spaces.</a> <a class="label nowrap" href="/7541920">Zbl 07541920</a> <br><a href="/authors/selivanov.victor-l" title="Author Profile">Selivanov, Victor</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7541920">5</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07620694">Mutual interpretability of weak essentially undecidable theories.</a> <a class="label nowrap" href="/7620694">Zbl 07620694</a> <br><a href="/authors/damnjanovic.zlatan" title="Author Profile">Damnjanovic, Zlatan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7620694">5</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1536.03021">Ways of destruction.</a> <a class="label nowrap" href="/1536.03021">Zbl 1536.03021</a> <br><a href="/authors/farkas.barnabas" title="Author Profile">Farkas, Barnab谩s</a>; <a href="/authors/zdomskyy.lyubomyr" title="Author Profile">Zdomskyy, Lyubomyr</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7576893">3</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1505.03028">Ramsey-like theorems and moduli of computation.</a> <a class="label nowrap" href="/1505.03028">Zbl 1505.03028</a> <br><a href="/authors/patey.ludovic" title="Author Profile">Patey, Ludovic</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7506771">3</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07541916">Identity crisis between supercompactness and V菕penka’s principle.</a> <a class="label nowrap" href="/7541916">Zbl 07541916</a> <br><a href="/authors/hayut.yair" title="Author Profile">Hayut, Yair</a>; <a href="/authors/magidor.menachem" title="Author Profile">Magidor, Menachem</a>; <a href="/authors/poveda.alejandro" title="Author Profile">Poveda, Alejandro</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7541916">3</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07620701">Higher independence.</a> <a class="label nowrap" href="/7620701">Zbl 07620701</a> <br><a href="/authors/fischer.vera" title="Author Profile">Fischer, Vera</a>; <a href="/authors/montoya.diana-carolina" title="Author Profile">Montoya, Diana Carolina</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7620701">3</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07620703">Taking Reinhardt’s power away.</a> <a class="label nowrap" href="/7620703">Zbl 07620703</a> <br><a href="/authors/matthews.richard" title="Author Profile">Matthews, Richard</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7620703">3</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1507.03104">Subcompact cardinals, type omission, and ladder systems.</a> <a class="label nowrap" href="/1507.03104">Zbl 1507.03104</a> <br><a href="/authors/hayut.yair" title="Author Profile">Hayut, Yair</a>; <a href="/authors/magidor.menachem" title="Author Profile">Magidor, Menachem</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7576900">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1531.03057">Most simple extensions of $\mathbf{FL_e}$ are undecidable.</a> <a class="label nowrap" href="/1531.03057">Zbl 1531.03057</a> <br><a href="/authors/galatos.nikolaos" title="Author Profile">Galatos, Nikolaos</a>; <a href="/authors/st-john.gavin" title="Author Profile">St. John, Gavin</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7576902">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1531.03075">Interpreting a field in its Heisenberg group.</a> <a class="label nowrap" href="/1531.03075">Zbl 1531.03075</a> <br><a href="/authors/alvir.rachael" title="Author Profile">Alvir, Rachael</a>; <a href="/authors/calvert.wesley" title="Author Profile">Calvert, Wesley</a>; <a href="/authors/goodman.grant" title="Author Profile">Goodman, Grant</a>; <a href="/authors/harizanov.valentina-s" title="Author Profile">Harizanov, Valentina</a>; <a href="/authors/knight.julia-f" title="Author Profile">Knight, Julia</a>; <a href="/authors/miller.russell-g" title="Author Profile">Miller, Russell</a>; <a href="/authors/morozov.andrei-sergeevich" title="Author Profile">Morozov, Andrey</a>; <a href="/authors/soskova.alexandra-a" title="Author Profile">Soskova, Alexandra</a>; <a href="/authors/weisshaar.rose" title="Author Profile">Weisshaar, Rose</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7576904">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1552.03060">Reconstruction of non-$ \aleph_0$-categorical theories.</a> <a class="label nowrap" href="/1552.03060">Zbl 1552.03060</a> <br><a href="/authors/ben-yaacov.itai" title="Author Profile">Ben Yaacov, Ita茂</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7506774">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1552.03088">Density-like and generalized density ideals.</a> <a class="label nowrap" href="/1552.03088">Zbl 1552.03088</a> <br><a href="/authors/kwela.adam" title="Author Profile">Kwela, Adam</a>; <a href="/authors/leonetti.paolo" title="Author Profile">Leonetti, Paolo</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7506777">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1500.11093">Notes on the DPRM property for listable structures.</a> <a class="label nowrap" href="/1500.11093">Zbl 1500.11093</a> <br><a href="/authors/pasten.hector-v" title="Author Profile">Pasten, Hector</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7506779">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1552.03106">Non-classical foundations of set theory.</a> <a class="label nowrap" href="/1552.03106">Zbl 1552.03106</a> <br><a href="/authors/tarafder.sourav" title="Author Profile">Tarafder, Sourav</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7506781">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1504.03024">The tree of tuples of a structure.</a> <a class="label nowrap" href="/1504.03024">Zbl 1504.03024</a> <br><a href="/authors/harrison-trainor.matthew" title="Author Profile">Harrison-Trainor, Matthew</a>; <a href="/authors/montalban.antonio" title="Author Profile">Montalb谩n, Antonio</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7506769">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1510.03020">Closed and unbounded classes and the H盲rtig quantifier model.</a> <a class="label nowrap" href="/1510.03020">Zbl 1510.03020</a> <br><a href="/authors/welch.philip-d" title="Author Profile">Welch, Philip D.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7541914">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1542.03054">The $\Sigma_1$-definable universal finite sequence.</a> <a class="label nowrap" href="/1542.03054">Zbl 1542.03054</a> <br><a href="/authors/hamkins.joel-david" title="Author Profile">Hamkins, Joel David</a>; <a href="/authors/williams.kameryn-j" title="Author Profile">Williams, Kameryn J.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7541922">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07620696">Tree forcing and definable maximal Independent sets in hypergraphs.</a> <a class="label nowrap" href="/7620696">Zbl 07620696</a> <br><a href="/authors/schilhan.jonathan" title="Author Profile">Schilhan, Jonathan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7620696">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1505.54025">Games characterizing limsup functions and Baire class $1$ functions.</a> <a class="label nowrap" href="/1505.54025">Zbl 1505.54025</a> <br><a href="/authors/elekes.marton" title="Author Profile">Elekes, M谩rton</a>; <a href="/authors/flesch.janos" title="Author Profile">Flesch, J谩nos</a>; <a href="/authors/kiss.viktor" title="Author Profile">Kiss, Viktor</a>; <a href="/authors/nagy.donat" title="Author Profile">Nagy, Don谩t</a>; <a href="/authors/poor.mark" title="Author Profile">Po贸r, M谩rk</a>; <a href="/authors/predtetchinski.arkadi" title="Author Profile">Predtetchinski, Arkadi</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7620697">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1542.03083">On equational completeness theorems.</a> <a class="label nowrap" href="/1542.03083">Zbl 1542.03083</a> <br><a href="/authors/moraschini.tommaso" title="Author Profile">Moraschini, Tommaso</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7620699">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07620700">Undecidability and non-axiomatizability of modal many-valued logics.</a> <a class="label nowrap" href="/7620700">Zbl 07620700</a> <br><a href="/authors/vidal.amanda" title="Author Profile">Vidal, Amanda</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7620700">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1499.03016">Complete intuitionistic temporal logics for topological dynamics.</a> <a class="label nowrap" href="/1499.03016">Zbl 1499.03016</a> <br><a href="/authors/boudou.joseph" title="Author Profile">Boudou, Joseph</a>; <a href="/authors/dieguez.martin" title="Author Profile">Di茅guez, Mart铆n</a>; <a href="/authors/fernandez-duque.david" title="Author Profile">Fern谩ndez-Duque, David</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7576895">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1531.03082">Descriptive complexity in Cantor series.</a> <a class="label nowrap" href="/1531.03082">Zbl 1531.03082</a> <br><a href="/authors/airey.dylan" title="Author Profile">Airey, Dylan</a>; <a href="/authors/?q=au%3AJackson%2C%2BSteve" title="Author Profile">Jackson, Steve</a>; <a href="/authors/mance.bill" title="Author Profile">Mance, Bill</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7576896">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1504.03025">Yet another ideal version of the bounding number.</a> <a class="label nowrap" href="/1504.03025">Zbl 1504.03025</a> <br><a href="/authors/filipow.rafal" title="Author Profile">Filip贸w, Rafa艂</a>; <a href="/authors/kwela.adam" title="Author Profile">Kwela, Adam</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7576898">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1531.03073">Counting siblings in universal theories.</a> <a class="label nowrap" href="/1531.03073">Zbl 1531.03073</a> <br><a href="/authors/braunfeld.samuel" title="Author Profile">Braunfeld, Samuel</a>; <a href="/authors/laskowski.michael-chris" title="Author Profile">Laskowski, Michael C.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7576901">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1508.03069">Connectedness in structures on the real numbers: o-minimality and undecidability.</a> <a class="label nowrap" href="/1508.03069">Zbl 1508.03069</a> <br><a href="/authors/dolich.alfred" title="Author Profile">Dolich, Alfred</a>; <a href="/authors/miller.chris" title="Author Profile">Miller, Chris</a>; <a href="/authors/savatovsky.alex" title="Author Profile">Savatovsky, Alex</a>; <a href="/authors/thamrongthanyalak.athipat" title="Author Profile">Thamrongthanyalak, Athipat</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7576906">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1507.03096">Initial segments of the degrees of ceers.</a> <a class="label nowrap" href="/1507.03096">Zbl 1507.03096</a> <br><a href="/authors/andrews.uri" title="Author Profile">Andrews, Uri</a>; <a href="/authors/sorbi.andrea" title="Author Profile">Sorbi, Andrea</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7576907">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1518.03016">First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth.</a> <a class="label nowrap" href="/1518.03016">Zbl 1518.03016</a> <br><a href="/authors/egrot.rob" title="Author Profile">Egrot, Rob</a>; <a href="/authors/hirsch.robin" title="Author Profile">Hirsch, Robin</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7576908">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1507.03067">Relationships between computability-theoretic properties of problems.</a> <a class="label nowrap" href="/1507.03067">Zbl 1507.03067</a> <br><a href="/authors/downey.rodney-graham" title="Author Profile">Downey, Rod</a>; <a href="/authors/greenberg.noam" title="Author Profile">Greenberg, Noam</a>; <a href="/authors/harrison-trainor.matthew" title="Author Profile">Harrison-Trainor, Matthew</a>; <a href="/authors/patey.ludovic" title="Author Profile">Patey, Ludovic</a>; <a href="/authors/turetsky.dan" title="Author Profile">Turetsky, Dan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7506770">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1510.03015">Combinatorics of ultrafilters on Cohen and random algebras.</a> <a class="label nowrap" href="/1510.03015">Zbl 1510.03015</a> <br><a href="/authors/brendle.jorg" title="Author Profile">Brendle, J枚rg</a>; <a href="/authors/parente.francesco" title="Author Profile">Parente, Francesco</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7506772">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1501.12003">HTP-complete rings of rational numbers.</a> <a class="label nowrap" href="/1501.12003">Zbl 1501.12003</a> <br><a href="/authors/miller.russell-g" title="Author Profile">Miller, Russell</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7506778">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1486.05304">Ramsey’s coheirs.</a> <a class="label nowrap" href="/1486.05304">Zbl 1486.05304</a> <br><a href="/authors/colla.eugenio" title="Author Profile">Colla, Eugenio</a>; <a href="/authors/zambella.domenico" title="Author Profile">Zambella, Domenico</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7506782">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1547.03142">Completely separable mad families and the modal logic of $\beta \omega$.</a> <a class="label nowrap" href="/1547.03142">Zbl 1547.03142</a> <br><a href="/authors/lavicka.tomas" title="Author Profile">L谩vi膷ka, Tom谩拧</a>; <a href="/authors/verner.jonathan-l" title="Author Profile">Verner, Jonathan L.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7541910">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1504.03028">The consistency strength of the perfect set property for universally Baire sets of reals.</a> <a class="label nowrap" href="/1504.03028">Zbl 1504.03028</a> <br><a href="/authors/schindler.ralf-dieter" title="Author Profile">Schindler, Ralf</a>; <a href="/authors/wilson.trevor-m" title="Author Profile">Wilson, Trevor M.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7541911">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1506.03097">A structural dichotomy in the enumeration degrees.</a> <a class="label nowrap" href="/1506.03097">Zbl 1506.03097</a> <br><a href="/authors/ganchev.hristo-a" title="Author Profile">Ganchev, Hristo A.</a>; <a href="/authors/kalimullin.iskander-sh" title="Author Profile">Kalimullin, Iskander Sh.</a>; <a href="/authors/miller.joseph-s" title="Author Profile">Miller, Joseph S.</a>; <a href="/authors/soskova.mariya-ivanova" title="Author Profile">Soskova, Mariya I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7541912">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07541918">Epsilon theorems in intermediate logics.</a> <a class="label nowrap" href="/7541918">Zbl 07541918</a> <br><a href="/authors/baaz.matthias" title="Author Profile">Baaz, Matthias</a>; <a href="/authors/zach.richard" title="Author Profile">Zach, Richard</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7541918">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07541925">Information in propositional proofs and algorithmic proof search.</a> <a class="label nowrap" href="/7541925">Zbl 07541925</a> <br><a href="/authors/krajicek.jan" title="Author Profile">Kraj铆膷ek, Jan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7541925">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1498.03088">Erratum to: “Surreal ordered exponential fields”.</a> <a class="label nowrap" href="/1498.03088">Zbl 1498.03088</a> <br><a href="/authors/ehrlich.philip" title="Author Profile">Ehrlich, Philip</a>; <a href="/authors/kaplan.elliot" title="Author Profile">Kaplan, Elliot</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7541927">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1523.03021">Embeddings into outer models.</a> <a class="label nowrap" href="/1523.03021">Zbl 1523.03021</a> <br><a href="/authors/eskew.monroe" title="Author Profile">Eskew, Monroe</a>; <a href="/authors/friedman.sy-david" title="Author Profile">Friedman, Sy-David</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7620691">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03192">Projective clone homomorphisms.</a> <a class="label nowrap" href="/1529.03192">Zbl 1529.03192</a> <br><a href="/authors/bodirsky.manuel" title="Author Profile">Bodirsky, Manuel</a>; <a href="/authors/pinsker.michael" title="Author Profile">Pinsker, Michael</a>; <a href="/authors/pongracz.andras" title="Author Profile">Pongr谩cz, Andr谩s</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7370805">28</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="more"> <td colspan="3">...and 1571 more Documents</td> </tr> </tbody> </table><div class="more_less"> <a tabindex="0" class="more">all cited Publications <i class="caret"></i></a> <a tabindex="0" class="less">top 5 cited Publications <i class="caret"></i></a> </div></div> <div class="profile"> <div class="facet1st"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3>Cited by 11,110 Authors</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=rj%3A524+ai%3Ashelah.saharon" title="Citing Publications by this Author">358</a> </td> <td class="text"> <a href="/authors/shelah.saharon" title="Author Profile"> Shelah, Saharon </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A524+ai%3Adowney.rodney-graham" title="Citing Publications by this Author">132</a> </td> <td class="text"> <a href="/authors/downey.rodney-graham" title="Author Profile"> Downey, Rodney Graham </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A524+ai%3Apillay.anand" title="Citing Publications by this Author">106</a> </td> <td class="text"> <a href="/authors/pillay.anand" title="Author Profile"> Pillay, Anand </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A524+ai%3Afriedman.sy-david" title="Citing Publications by this Author">94</a> </td> <td class="text"> <a href="/authors/friedman.sy-david" title="Author Profile"> Friedman, Sy-David </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A524+ai%3Astephan.frank" title="Citing Publications by this Author">89</a> </td> <td class="text"> <a href="/authors/stephan.frank" title="Author Profile"> Stephan, Frank </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Abazhenov.n-a" title="Citing Publications by this Author">83</a> </td> <td class="text"> <a href="/authors/bazhenov.n-a" title="Author Profile"> Bazhenov, Nikola沫 Alekseevich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Ajain.sanjay" title="Citing Publications by this Author">76</a> </td> <td class="text"> <a href="/authors/jain.sanjay" title="Author Profile"> Jain, Sanjay </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Aapter.arthur-w" title="Citing Publications by this Author">71</a> </td> <td class="text"> <a href="/authors/apter.arthur-w" title="Author Profile"> Apter, Arthur W. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Anies.andre-otfrid" title="Citing Publications by this Author">68</a> </td> <td class="text"> <a href="/authors/nies.andre-otfrid" title="Author Profile"> Nies, Andr茅 Otfrid </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Ashore.richard-a" title="Citing Publications by this Author">63</a> </td> <td class="text"> <a href="/authors/shore.richard-a" title="Author Profile"> Shore, Richard Arnold </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Agreenberg.noam" title="Citing Publications by this Author">56</a> </td> <td class="text"> <a href="/authors/greenberg.noam" title="Author Profile"> Greenberg, Noam </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Amelnikov.alexander-g" title="Citing Publications by this Author">54</a> </td> <td class="text"> <a href="/authors/melnikov.alexander-g" title="Author Profile"> Melnikov, Alexander G. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Aknight.julia-f" title="Citing Publications by this Author">53</a> </td> <td class="text"> <a href="/authors/knight.julia-f" title="Author Profile"> Knight, Julia F. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Arathjen.michael" title="Citing Publications by this Author">53</a> </td> <td class="text"> <a href="/authors/rathjen.michael" title="Author Profile"> Rathjen, Michael </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Aselivanov.victor-l" title="Citing Publications by this Author">52</a> </td> <td class="text"> <a href="/authors/selivanov.victor-l" title="Author Profile"> Selivanov, Viktor L’vovich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Agitik.moti" title="Citing Publications by this Author">50</a> </td> <td class="text"> <a href="/authors/gitik.moti" title="Author Profile"> Gitik, Moti </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Amontalban.antonio" title="Citing Publications by this Author">50</a> </td> <td class="text"> <a href="/authors/montalban.antonio" title="Author Profile"> Montalb谩n, Antonio </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Abuss.samuel-r" title="Citing Publications by this Author">49</a> </td> <td class="text"> <a href="/authors/buss.samuel-r" title="Author Profile"> Buss, Samuel R. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Ahamkins.joel-david" title="Citing Publications by this Author">49</a> </td> <td class="text"> <a href="/authors/hamkins.joel-david" title="Author Profile"> Hamkins, Joel David </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Arybakov.vladimir-vladimirovich" title="Citing Publications by this Author">48</a> </td> <td class="text"> <a href="/authors/rybakov.vladimir-vladimirovich" title="Author Profile"> Rybakov, Vladimir Vladimirovich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Ang.kengmeng" title="Citing Publications by this Author">47</a> </td> <td class="text"> <a href="/authors/ng.kengmeng" title="Author Profile"> Ng, KengMeng </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Alempp.steffen" title="Citing Publications by this Author">46</a> </td> <td class="text"> <a href="/authors/lempp.steffen" title="Author Profile"> Lempp, Steffen </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Amaksimova.larisa-l" title="Citing Publications by this Author">46</a> </td> <td class="text"> <a href="/authors/maksimova.larisa-l" title="Author Profile"> Maksimova, Larisa L’vovna </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Arinot.assaf" title="Citing Publications by this Author">46</a> </td> <td class="text"> <a href="/authors/rinot.assaf" title="Author Profile"> Rinot, Assaf </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Avisser.albert" title="Citing Publications by this Author">46</a> </td> <td class="text"> <a href="/authors/visser.albert" title="Author Profile"> Visser, Albert </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Abaldwin.john-t" title="Citing Publications by this Author">45</a> </td> <td class="text"> <a href="/authors/baldwin.john-t" title="Author Profile"> Baldwin, John T. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Abezhanishvili.nick" title="Citing Publications by this Author">45</a> </td> <td class="text"> <a href="/authors/bezhanishvili.nick" title="Author Profile"> Bezhanishvili, Nick </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Amiller.joseph-s" title="Citing Publications by this Author">45</a> </td> <td class="text"> <a href="/authors/miller.joseph-s" title="Author Profile"> Miller, Joseph S. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Amiller.russell-g" title="Citing Publications by this Author">45</a> </td> <td class="text"> <a href="/authors/miller.russell-g" title="Author Profile"> Miller, Russell G. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Aslaman.theodore-a" title="Citing Publications by this Author">44</a> </td> <td class="text"> <a href="/authors/slaman.theodore-a" title="Author Profile"> Slaman, Theodore A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Asorbi.andrea" title="Citing Publications by this Author">44</a> </td> <td class="text"> <a href="/authors/sorbi.andrea" title="Author Profile"> Sorbi, Andrea </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Ahansson.sven-ove" title="Citing Publications by this Author">43</a> </td> <td class="text"> <a href="/authors/hansson.sven-ove" title="Author Profile"> Hansson, Sven Ove </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Ajockusch.carl-g-jun" title="Citing Publications by this Author">43</a> </td> <td class="text"> <a href="/authors/jockusch.carl-g-jun" title="Author Profile"> Jockusch, Carl G. jun. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Akalimullin.iskander-sh" title="Citing Publications by this Author">43</a> </td> <td class="text"> <a href="/authors/kalimullin.iskander-sh" title="Author Profile"> Kalimullin, Iskander Shagitovich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Atodorcevic.stevo-b" title="Citing Publications by this Author">43</a> </td> <td class="text"> <a href="/authors/todorcevic.stevo-b" title="Author Profile"> Todorcevic, Stevo B. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Avan-benthem.johan" title="Citing Publications by this Author">43</a> </td> <td class="text"> <a href="/authors/van-benthem.johan" title="Author Profile"> van Benthem, Johan F. A. K. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Awelch.philip-d" title="Citing Publications by this Author">43</a> </td> <td class="text"> <a href="/authors/welch.philip-d" title="Author Profile"> Welch, Philip D. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Akamide.norihiro" title="Citing Publications by this Author">42</a> </td> <td class="text"> <a href="/authors/kamide.norihiro" title="Author Profile"> Kamide, Norihiro </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Akanovei.vladimir-g" title="Citing Publications by this Author">42</a> </td> <td class="text"> <a href="/authors/kanovei.vladimir-g" title="Author Profile"> Kanovei, Vladimir G. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Abarmpalias.george" title="Citing Publications by this Author">41</a> </td> <td class="text"> <a href="/authors/barmpalias.george" title="Author Profile"> Barmpalias, George </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Abeyersdorff.olaf" title="Citing Publications by this Author">41</a> </td> <td class="text"> <a href="/authors/beyersdorff.olaf" title="Author Profile"> Beyersdorff, Olaf </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Aghilardi.silvio" title="Citing Publications by this Author">40</a> </td> <td class="text"> <a href="/authors/ghilardi.silvio" title="Author Profile"> Ghilardi, Silvio </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Aavron.arnon" title="Citing Publications by this Author">39</a> </td> <td class="text"> <a href="/authors/avron.arnon" title="Author Profile"> Avron, Arnon </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Aharizanov.valentina-s" title="Citing Publications by this Author">39</a> </td> <td class="text"> <a href="/authors/harizanov.valentina-s" title="Author Profile"> Harizanov, Valentina S. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Amagidor.menachem" title="Citing Publications by this Author">39</a> </td> <td class="text"> <a href="/authors/magidor.menachem" title="Author Profile"> Magidor, Menachem </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Abezhanishvili.guram" title="Citing Publications by this Author">38</a> </td> <td class="text"> <a href="/authors/bezhanishvili.guram" title="Author Profile"> Bezhanishvili, Guram </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Ahrusak.michael" title="Citing Publications by this Author">38</a> </td> <td class="text"> <a href="/authors/hrusak.michael" title="Author Profile"> Hru拧谩k, Michael </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Akohlenbach.ulrich-wilhelm" title="Citing Publications by this Author">38</a> </td> <td class="text"> <a href="/authors/kohlenbach.ulrich-wilhelm" title="Author Profile"> Kohlenbach, Ulrich Wilhelm </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Akulpeshov.beibut-sh" title="Citing Publications by this Author">38</a> </td> <td class="text"> <a href="/authors/kulpeshov.beibut-sh" title="Author Profile"> Kulpeshov, Beibut Shaiykovich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Agabbay.dov-m" title="Citing Publications by this Author">37</a> </td> <td class="text"> <a href="/authors/gabbay.dov-m" title="Author Profile"> Gabbay, Dov M. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Ahrushovski.ehud" title="Citing Publications by this Author">36</a> </td> <td class="text"> <a href="/authors/hrushovski.ehud" title="Author Profile"> Hrushovski, Ehud </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Alaskowski.michael-chris" title="Citing Publications by this Author">36</a> </td> <td class="text"> <a href="/authors/laskowski.michael-chris" title="Author Profile"> Laskowski, Michael Chris </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Asanders.sam" title="Citing Publications by this Author">36</a> </td> <td class="text"> <a href="/authors/sanders.sam" title="Author Profile"> Sanders, Sam </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Acholak.peter-a" title="Citing Publications by this Author">35</a> </td> <td class="text"> <a href="/authors/cholak.peter-a" title="Author Profile"> Cholak, Peter A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Atachtsis.eleftherios" title="Citing Publications by this Author">35</a> </td> <td class="text"> <a href="/authors/tachtsis.eleftherios" title="Author Profile"> Tachtsis, Eleftherios </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Awansing.heinrich-theodor" title="Citing Publications by this Author">35</a> </td> <td class="text"> <a href="/authors/wansing.heinrich-theodor" title="Author Profile"> Wansing, Heinrich Theodor </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Aweiermann.andreas" title="Citing Publications by this Author">35</a> </td> <td class="text"> <a href="/authors/weiermann.andreas" title="Author Profile"> Weiermann, Andreas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Acase.john" title="Citing Publications by this Author">34</a> </td> <td class="text"> <a href="/authors/case.john" title="Author Profile"> Case, John </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Acenzer.douglas" title="Citing Publications by this Author">34</a> </td> <td class="text"> <a href="/authors/cenzer.douglas" title="Author Profile"> Cenzer, Douglas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Acoquand.thierry" title="Citing Publications by this Author">34</a> </td> <td class="text"> <a href="/authors/coquand.thierry" title="Author Profile"> Coquand, Thierry </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Akrajicek.jan" title="Citing Publications by this Author">34</a> </td> <td class="text"> <a href="/authors/krajicek.jan" title="Author Profile"> Kraj铆膷ek, Jan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Amundici.daniele" title="Citing Publications by this Author">34</a> </td> <td class="text"> <a href="/authors/mundici.daniele" title="Author Profile"> Mundici, Daniele </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Aremmel.jeffrey-b" title="Citing Publications by this Author">34</a> </td> <td class="text"> <a href="/authors/remmel.jeffrey-b" title="Author Profile"> Remmel, Jeffrey Brian </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Aschindler.ralf-dieter" title="Citing Publications by this Author">34</a> </td> <td class="text"> <a href="/authors/schindler.ralf-dieter" title="Author Profile"> Schindler, Ralf-Dieter </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Avasey.sebastien" title="Citing Publications by this Author">34</a> </td> <td class="text"> <a href="/authors/vasey.sebastien" title="Author Profile"> Vasey, Sebastien </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Aandrews.uri" title="Citing Publications by this Author">33</a> </td> <td class="text"> <a href="/authors/andrews.uri" title="Author Profile"> Andrews, Uri </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Achong.chi-tat" title="Citing Publications by this Author">33</a> </td> <td class="text"> <a href="/authors/chong.chi-tat" title="Author Profile"> Chong, Chi Tat </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Acummings.james" title="Citing Publications by this Author">33</a> </td> <td class="text"> <a href="/authors/cummings.james" title="Author Profile"> Cummings, James </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Amatet.pierre" title="Citing Publications by this Author">33</a> </td> <td class="text"> <a href="/authors/matet.pierre" title="Author Profile"> Matet, Pierre </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Aschlicht.philipp" title="Citing Publications by this Author">33</a> </td> <td class="text"> <a href="/authors/schlicht.philipp" title="Author Profile"> Schlicht, Philipp </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Aschmerl.james-h" title="Citing Publications by this Author">33</a> </td> <td class="text"> <a href="/authors/schmerl.james-h" title="Author Profile"> Schmerl, James H. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Ashlapentokh.alexandra" title="Citing Publications by this Author">33</a> </td> <td class="text"> <a href="/authors/shlapentokh.alexandra" title="Author Profile"> Shlapentokh, Alexandra </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Agoncharov.sergei-savostyanovich" title="Citing Publications by this Author">32</a> </td> <td class="text"> <a href="/authors/goncharov.sergei-savostyanovich" title="Author Profile"> Goncharov, Serge沫 Savost’yanovich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Aharrison-trainor.matthew" title="Citing Publications by this Author">32</a> </td> <td class="text"> <a href="/authors/harrison-trainor.matthew" title="Author Profile"> Harrison-Trainor, Matthew </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Amontagna.franco" title="Citing Publications by this Author">32</a> </td> <td class="text"> <a href="/authors/montagna.franco" title="Author Profile"> Montagna, Franco </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Asoskova.mariya-ivanova" title="Citing Publications by this Author">32</a> </td> <td class="text"> <a href="/authors/soskova.mariya-ivanova" title="Author Profile"> Soskova, Mariya Ivanova </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Awagner.frank-o" title="Citing Publications by this Author">32</a> </td> <td class="text"> <a href="/authors/wagner.frank-o" title="Author Profile"> Wagner, Frank Olaf </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Abaaz.matthias" title="Citing Publications by this Author">31</a> </td> <td class="text"> <a href="/authors/baaz.matthias" title="Author Profile"> Baaz, Matthias </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Abodirsky.manuel" title="Citing Publications by this Author">31</a> </td> <td class="text"> <a href="/authors/bodirsky.manuel" title="Author Profile"> Bodirsky, Manuel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Abridges.douglas-suth" title="Citing Publications by this Author">31</a> </td> <td class="text"> <a href="/authors/bridges.douglas-suth" title="Author Profile"> Bridges, Douglas Suth </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Ahodkinson.ian-martin" title="Citing Publications by this Author">31</a> </td> <td class="text"> <a href="/authors/hodkinson.ian-martin" title="Author Profile"> Hodkinson, Ian Martin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Ahyttinen.tapani" title="Citing Publications by this Author">31</a> </td> <td class="text"> <a href="/authors/hyttinen.tapani" title="Author Profile"> Hyttinen, Tapani </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Ametcalfe.george" title="Citing Publications by this Author">31</a> </td> <td class="text"> <a href="/authors/metcalfe.george" title="Author Profile"> Metcalfe, George </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Anesetril.jaroslav" title="Citing Publications by this Author">31</a> </td> <td class="text"> <a href="/authors/nesetril.jaroslav" title="Author Profile"> Ne拧et艡il, Jaroslav </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Asayed-ahmed.tarek" title="Citing Publications by this Author">31</a> </td> <td class="text"> <a href="/authors/sayed-ahmed.tarek" title="Author Profile"> Sayed Ahmed, Tarek </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Asudoplatov.sergei-vladimirovich" title="Citing Publications by this Author">31</a> </td> <td class="text"> <a href="/authors/sudoplatov.sergei-vladimirovich" title="Author Profile"> Sudoplatov, Serge沫 Vladimirovich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Acluckers.raf" title="Citing Publications by this Author">30</a> </td> <td class="text"> <a href="/authors/cluckers.raf" title="Author Profile"> Cluckers, Raf </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Aenayat.ali" title="Citing Publications by this Author">30</a> </td> <td class="text"> <a href="/authors/enayat.ali" title="Author Profile"> Enayat, Ali </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Apeterzil.yaacov" title="Citing Publications by this Author">30</a> </td> <td class="text"> <a href="/authors/peterzil.yaacov" title="Author Profile"> Peterzil, Ya’acov </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Avaananen.jouko-antero" title="Citing Publications by this Author">30</a> </td> <td class="text"> <a href="/authors/vaananen.jouko-antero" title="Author Profile"> V盲盲n盲nen, Jouko Antero </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Awu.guohua" title="Citing Publications by this Author">30</a> </td> <td class="text"> <a href="/authors/wu.guohua" title="Author Profile"> Wu, Guohua </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Aaguilera.juan-pablo" title="Citing Publications by this Author">29</a> </td> <td class="text"> <a href="/authors/aguilera.juan-pablo" title="Author Profile"> Aguilera, Juan Pablo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Adzamonja.mirna" title="Citing Publications by this Author">29</a> </td> <td class="text"> <a href="/authors/dzamonja.mirna" title="Author Profile"> D啪amonja, Mirna </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Afischer.vera" title="Citing Publications by this Author">29</a> </td> <td class="text"> <a href="/authors/fischer.vera" title="Author Profile"> Fischer, Vera </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Aiemhoff.rosalie" title="Citing Publications by this Author">29</a> </td> <td class="text"> <a href="/authors/iemhoff.rosalie" title="Author Profile"> Iemhoff, Rosalie </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Azdomskyy.lyubomyr" title="Citing Publications by this Author">29</a> </td> <td class="text"> <a href="/authors/zdomskyy.lyubomyr" title="Author Profile"> Zdoms’ky沫, Lyubomyr Sergi沫ovych </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Abaltag.alexandru" title="Citing Publications by this Author">28</a> </td> <td class="text"> <a href="/authors/baltag.alexandru" title="Author Profile"> Baltag, Alexandru </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Abienvenu.laurent" title="Citing Publications by this Author">28</a> </td> <td class="text"> <a href="/authors/bienvenu.laurent" title="Author Profile"> Bienvenu, Laurent </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Afeferman.solomon" title="Citing Publications by this Author">28</a> </td> <td class="text"> <a href="/authors/feferman.solomon" title="Author Profile"> Feferman, Solomon </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+ai%3Agoldblatt.robert-ian" title="Citing Publications by this Author">28</a> </td> <td class="text"> <a href="/authors/goldblatt.robert-ian" title="Author Profile"> Goldblatt, Robert Ian </a> </td></tr> <tr class="more"> <td colspan="2">...and 11,010 more Authors</td> </tr> </table> </div> <div class="facet2nd"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3>Cited in 637 Journals</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=rj%3A524+se%3A968" title="Citing Publications in this Journal">1,823</a> </td> <td class="text"> <a href="/serials/?q=se%3A968" title="Serial Profile"> Annals of Pure and Applied Logic </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A524+se%3A524" title="Citing Publications in this Journal">1,780</a> </td> <td class="text"> <a href="/serials/?q=se%3A524" title="Serial Profile"> The Journal of Symbolic Logic </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A524+se%3A1744" title="Citing Publications in this Journal">844</a> </td> <td class="text"> <a href="/serials/?q=se%3A1744" title="Serial Profile"> Archive for Mathematical Logic </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A524+se%3A722" title="Citing Publications in this Journal">798</a> </td> <td class="text"> <a href="/serials/?q=se%3A722" title="Serial Profile"> Studia Logica </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A524+se%3A735" title="Citing Publications in this Journal">786</a> </td> <td class="text"> <a href="/serials/?q=se%3A735" title="Serial Profile"> Theoretical Computer Science </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A516" title="Citing Publications in this Journal">523</a> </td> <td class="text"> <a href="/serials/?q=se%3A516" title="Serial Profile"> Journal of Philosophical Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A2008" title="Citing Publications in this Journal">496</a> </td> <td class="text"> <a href="/serials/?q=se%3A2008" title="Serial Profile"> Mathematical Logic Quarterly (MLQ) </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A744" title="Citing Publications in this Journal">427</a> </td> <td class="text"> <a href="/serials/?q=se%3A744" title="Serial Profile"> Transactions of the American Mathematical Society </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A115" title="Citing Publications in this Journal">418</a> </td> <td class="text"> <a href="/serials/?q=se%3A115" title="Serial Profile"> Israel Journal of Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A623" title="Citing Publications in this Journal">406</a> </td> <td class="text"> <a href="/serials/?q=se%3A623" title="Serial Profile"> Proceedings of the American Mathematical Society </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A608" title="Citing Publications in this Journal">377</a> </td> <td class="text"> <a href="/serials/?q=se%3A608" title="Serial Profile"> Notre Dame Journal of Formal Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A727" title="Citing Publications in this Journal">358</a> </td> <td class="text"> <a href="/serials/?q=se%3A727" title="Serial Profile"> Synthese </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A2109" title="Citing Publications in this Journal">330</a> </td> <td class="text"> <a href="/serials/?q=se%3A2109" title="Serial Profile"> The Bulletin of Symbolic Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A6723" title="Citing Publications in this Journal">303</a> </td> <td class="text"> <a href="/serials/?q=se%3A6723" title="Serial Profile"> The Review of Symbolic Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A297" title="Citing Publications in this Journal">267</a> </td> <td class="text"> <a href="/serials/?q=se%3A297" title="Serial Profile"> Algebra Universalis </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A1143" title="Citing Publications in this Journal">256</a> </td> <td class="text"> <a href="/serials/?q=se%3A1143" title="Serial Profile"> Information and Computation </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A295" title="Citing Publications in this Journal">255</a> </td> <td class="text"> <a href="/serials/?q=se%3A295" title="Serial Profile"> Algebra and Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A800" title="Citing Publications in this Journal">247</a> </td> <td class="text"> <a href="/serials/?q=se%3A800" title="Serial Profile"> Topology and its Applications </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A2620" title="Citing Publications in this Journal">215</a> </td> <td class="text"> <a href="/serials/?q=se%3A2620" title="Serial Profile"> Journal of Mathematical Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A473" title="Citing Publications in this Journal">194</a> </td> <td class="text"> <a href="/serials/?q=se%3A473" title="Serial Profile"> Journal of Algebra </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A34" title="Citing Publications in this Journal">186</a> </td> <td class="text"> <a href="/serials/?q=se%3A34" title="Serial Profile"> Artificial Intelligence </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A1899" title="Citing Publications in this Journal">176</a> </td> <td class="text"> <a href="/serials/?q=se%3A1899" title="Serial Profile"> Journal of Applied Non-Classical Logics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A290" title="Citing Publications in this Journal">170</a> </td> <td class="text"> <a href="/serials/?q=se%3A290" title="Serial Profile"> Advances in Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A5003" title="Citing Publications in this Journal">167</a> </td> <td class="text"> <a href="/serials/?q=se%3A5003" title="Serial Profile"> Logical Methods in Computer Science </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A428" title="Citing Publications in this Journal">158</a> </td> <td class="text"> <a href="/serials/?q=se%3A428" title="Serial Profile"> Fuzzy Sets and Systems </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A483" title="Citing Publications in this Journal">152</a> </td> <td class="text"> <a href="/serials/?q=se%3A483" title="Serial Profile"> Journal of Computer and System Sciences </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A518" title="Citing Publications in this Journal">152</a> </td> <td class="text"> <a href="/serials/?q=se%3A518" title="Serial Profile"> Journal of Pure and Applied Algebra </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A1381" title="Citing Publications in this Journal">150</a> </td> <td class="text"> <a href="/serials/?q=se%3A1381" title="Serial Profile"> Mathematical Structures in Computer Science </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A939" title="Citing Publications in this Journal">149</a> </td> <td class="text"> <a href="/serials/?q=se%3A939" title="Serial Profile"> History and Philosophy of Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A35" title="Citing Publications in this Journal">143</a> </td> <td class="text"> <a href="/serials/?q=se%3A35" title="Serial Profile"> Archiv f眉r Mathematische Logik und Grundlagenforschung </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A425" title="Citing Publications in this Journal">136</a> </td> <td class="text"> <a href="/serials/?q=se%3A425" title="Serial Profile"> Fundamenta Mathematicae </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A1150" title="Citing Publications in this Journal">133</a> </td> <td class="text"> <a href="/serials/?q=se%3A1150" title="Serial Profile"> Journal of Automated Reasoning </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A709" title="Citing Publications in this Journal">131</a> </td> <td class="text"> <a href="/serials/?q=se%3A709" title="Serial Profile"> Siberian Mathematical Journal </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A1840" title="Citing Publications in this Journal">130</a> </td> <td class="text"> <a href="/serials/?q=se%3A1840" title="Serial Profile"> Journal of Logic, Language and Information </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A4911" title="Citing Publications in this Journal">125</a> </td> <td class="text"> <a href="/serials/?q=se%3A4911" title="Serial Profile"> Logica Universalis </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A3118" title="Citing Publications in this Journal">110</a> </td> <td class="text"> <a href="/serials/?q=se%3A3118" title="Serial Profile"> Journal of Applied Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A1181" title="Citing Publications in this Journal">91</a> </td> <td class="text"> <a href="/serials/?q=se%3A1181" title="Serial Profile"> International Journal of Approximate Reasoning </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A113" title="Citing Publications in this Journal">82</a> </td> <td class="text"> <a href="/serials/?q=se%3A113" title="Serial Profile"> Information Processing Letters </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A2853" title="Citing Publications in this Journal">78</a> </td> <td class="text"> <a href="/serials/?q=se%3A2853" title="Serial Profile"> Logic and Logical Philosophy </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A69" title="Citing Publications in this Journal">76</a> </td> <td class="text"> <a href="/serials/?q=se%3A69" title="Serial Profile"> Discrete Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A2122" title="Citing Publications in this Journal">76</a> </td> <td class="text"> <a href="/serials/?q=se%3A2122" title="Serial Profile"> Annals of Mathematics and Artificial Intelligence </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A2558" title="Citing Publications in this Journal">75</a> </td> <td class="text"> <a href="/serials/?q=se%3A2558" title="Serial Profile"> Erkenntnis </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A1034" title="Citing Publications in this Journal">74</a> </td> <td class="text"> <a href="/serials/?q=se%3A1034" title="Serial Profile"> Order </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A57" title="Citing Publications in this Journal">73</a> </td> <td class="text"> <a href="/serials/?q=se%3A57" title="Serial Profile"> Communications in Algebra </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A157" title="Citing Publications in this Journal">73</a> </td> <td class="text"> <a href="/serials/?q=se%3A157" title="Serial Profile"> Mathematical Notes </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A2291" title="Citing Publications in this Journal">71</a> </td> <td class="text"> <a href="/serials/?q=se%3A2291" title="Serial Profile"> Theory of Computing Systems </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A3054" title="Citing Publications in this Journal">71</a> </td> <td class="text"> <a href="/serials/?q=se%3A3054" title="Serial Profile"> ACM Transactions on Computational Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A505" title="Citing Publications in this Journal">69</a> </td> <td class="text"> <a href="/serials/?q=se%3A505" title="Serial Profile"> Journal of Mathematical Psychology </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A2352" title="Citing Publications in this Journal">66</a> </td> <td class="text"> <a href="/serials/?q=se%3A2352" title="Serial Profile"> Soft Computing </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A7745" title="Citing Publications in this Journal">66</a> </td> <td class="text"> <a href="/serials/?q=se%3A7745" title="Serial Profile"> Computability </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A1955" title="Citing Publications in this Journal">61</a> </td> <td class="text"> <a href="/serials/?q=se%3A1955" title="Serial Profile"> Journal of Mathematical Sciences (New York) </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A1072" title="Citing Publications in this Journal">60</a> </td> <td class="text"> <a href="/serials/?q=se%3A1072" title="Serial Profile"> Journal of Symbolic Computation </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A454" title="Citing Publications in this Journal">57</a> </td> <td class="text"> <a href="/serials/?q=se%3A454" title="Serial Profile"> Information Sciences </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A1379" title="Citing Publications in this Journal">55</a> </td> <td class="text"> <a href="/serials/?q=se%3A1379" title="Serial Profile"> International Journal of Algebra and Computation </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A111" title="Citing Publications in this Journal">53</a> </td> <td class="text"> <a href="/serials/?q=se%3A111" title="Serial Profile"> International Journal of Theoretical Physics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A8501" title="Citing Publications in this Journal">50</a> </td> <td class="text"> <a href="/serials/?q=se%3A8501" title="Serial Profile"> Journal of Logical and Algebraic Methods in Programming </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A3250" title="Citing Publications in this Journal">47</a> </td> <td class="text"> <a href="/serials/?q=se%3A3250" title="Serial Profile"> Sibirskie 脠lektronnye Matematicheskie Izvestiya </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A479" title="Citing Publications in this Journal">44</a> </td> <td class="text"> <a href="/serials/?q=se%3A479" title="Serial Profile"> Journal of Combinatorial Theory. Series A </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A554" title="Citing Publications in this Journal">44</a> </td> <td class="text"> <a href="/serials/?q=se%3A554" title="Serial Profile"> Mathematische Annalen </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A778" title="Citing Publications in this Journal">43</a> </td> <td class="text"> <a href="/serials/?q=se%3A778" title="Serial Profile"> Bulletin of the Section of Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A824" title="Citing Publications in this Journal">42</a> </td> <td class="text"> <a href="/serials/?q=se%3A824" title="Serial Profile"> European Journal of Combinatorics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A2673" title="Citing Publications in this Journal">42</a> </td> <td class="text"> <a href="/serials/?q=se%3A2673" title="Serial Profile"> Lobachevskii Journal of Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A522" title="Citing Publications in this Journal">40</a> </td> <td class="text"> <a href="/serials/?q=se%3A522" title="Serial Profile"> Journal of Soviet Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A10276" title="Citing Publications in this Journal">40</a> </td> <td class="text"> <a href="/serials/?q=se%3A10276" title="Serial Profile"> Model Theory </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A68" title="Citing Publications in this Journal">39</a> </td> <td class="text"> <a href="/serials/?q=se%3A68" title="Serial Profile"> Discrete Applied Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A132" title="Citing Publications in this Journal">38</a> </td> <td class="text"> <a href="/serials/?q=se%3A132" title="Serial Profile"> Journal of Mathematical Analysis and Applications </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A1763" title="Citing Publications in this Journal">38</a> </td> <td class="text"> <a href="/serials/?q=se%3A1763" title="Serial Profile"> Indagationes Mathematicae. New Series </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A2579" title="Citing Publications in this Journal">38</a> </td> <td class="text"> <a href="/serials/?q=se%3A2579" title="Serial Profile"> Journal of the European Mathematical Society (JEMS) </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A897" title="Citing Publications in this Journal">37</a> </td> <td class="text"> <a href="/serials/?q=se%3A897" title="Serial Profile"> Mathematical Social Sciences </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A3397" title="Citing Publications in this Journal">36</a> </td> <td class="text"> <a href="/serials/?q=se%3A3397" title="Serial Profile"> Bulletin of the American Mathematical Society </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A1206" title="Citing Publications in this Journal">35</a> </td> <td class="text"> <a href="/serials/?q=se%3A1206" title="Serial Profile"> Journal of the American Mathematical Society </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A2076" title="Citing Publications in this Journal">34</a> </td> <td class="text"> <a href="/serials/?q=se%3A2076" title="Serial Profile"> Journal of Functional Programming </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A7740" title="Citing Publications in this Journal">34</a> </td> <td class="text"> <a href="/serials/?q=se%3A7740" title="Serial Profile"> Forum of Mathematics, Sigma </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A2077" title="Citing Publications in this Journal">33</a> </td> <td class="text"> <a href="/serials/?q=se%3A2077" title="Serial Profile"> Selecta Mathematica. New Series </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A6687" title="Citing Publications in this Journal">33</a> </td> <td class="text"> <a href="/serials/?q=se%3A6687" title="Serial Profile"> Journal of Logic and Analysis </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A1839" title="Citing Publications in this Journal">32</a> </td> <td class="text"> <a href="/serials/?q=se%3A1839" title="Serial Profile"> Formal Methods in System Design </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A963" title="Citing Publications in this Journal">30</a> </td> <td class="text"> <a href="/serials/?q=se%3A963" title="Serial Profile"> Acta Mathematica Hungarica </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A662" title="Citing Publications in this Journal">29</a> </td> <td class="text"> <a href="/serials/?q=se%3A662" title="Serial Profile"> Rendiconti del Seminario Matematico della Universit脿 di Padova </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A2868" title="Citing Publications in this Journal">29</a> </td> <td class="text"> <a href="/serials/?q=se%3A2868" title="Serial Profile"> Theory and Practice of Logic Programming </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A480" title="Citing Publications in this Journal">28</a> </td> <td class="text"> <a href="/serials/?q=se%3A480" title="Serial Profile"> Journal of Combinatorial Theory. Series B </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A705" title="Citing Publications in this Journal">28</a> </td> <td class="text"> <a href="/serials/?q=se%3A705" title="Serial Profile"> Semigroup Forum </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A1875" title="Citing Publications in this Journal">28</a> </td> <td class="text"> <a href="/serials/?q=se%3A1875" title="Serial Profile"> Applied Categorical Structures </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A393" title="Citing Publications in this Journal">27</a> </td> <td class="text"> <a href="/serials/?q=se%3A393" title="Serial Profile"> Compositio Mathematica </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A579" title="Citing Publications in this Journal">27</a> </td> <td class="text"> <a href="/serials/?q=se%3A579" title="Serial Profile"> Mathematische Zeitschrift </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A1661" title="Citing Publications in this Journal">27</a> </td> <td class="text"> <a href="/serials/?q=se%3A1661" title="Serial Profile"> Bulletin of the American Mathematical Society. New Series </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A2267" title="Citing Publications in this Journal">27</a> </td> <td class="text"> <a href="/serials/?q=se%3A2267" title="Serial Profile"> Doklady Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A500" title="Citing Publications in this Journal">26</a> </td> <td class="text"> <a href="/serials/?q=se%3A500" title="Serial Profile"> Journal of the London Mathematical Society. Second Series </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A2616" title="Citing Publications in this Journal">26</a> </td> <td class="text"> <a href="/serials/?q=se%3A2616" title="Serial Profile"> Foundations of Science </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A264" title="Citing Publications in this Journal">25</a> </td> <td class="text"> <a href="/serials/?q=se%3A264" title="Serial Profile"> The Mathematical Intelligencer </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A492" title="Citing Publications in this Journal">25</a> </td> <td class="text"> <a href="/serials/?q=se%3A492" title="Serial Profile"> Journal of Functional Analysis </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A3022" title="Citing Publications in this Journal">25</a> </td> <td class="text"> <a href="/serials/?q=se%3A3022" title="Serial Profile"> Journal of the Institute of Mathematics of Jussieu </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A369" title="Citing Publications in this Journal">24</a> </td> <td class="text"> <a href="/serials/?q=se%3A369" title="Serial Profile"> Bulletin of the London Mathematical Society </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A2826" title="Citing Publications in this Journal">24</a> </td> <td class="text"> <a href="/serials/?q=se%3A2826" title="Serial Profile"> The Journal of Logic and Algebraic Programming </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A8236" title="Citing Publications in this Journal">24</a> </td> <td class="text"> <a href="/serials/?q=se%3A8236" title="Serial Profile"> N么us </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A158" title="Citing Publications in this Journal">22</a> </td> <td class="text"> <a href="/serials/?q=se%3A158" title="Serial Profile"> Mathematical Proceedings of the Cambridge Philosophical Society </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A595" title="Citing Publications in this Journal">22</a> </td> <td class="text"> <a href="/serials/?q=se%3A595" title="Serial Profile"> Monatshefte f眉r Mathematik </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A739" title="Citing Publications in this Journal">22</a> </td> <td class="text"> <a href="/serials/?q=se%3A739" title="Serial Profile"> Theory and Decision </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A1821" title="Citing Publications in this Journal">22</a> </td> <td class="text"> <a href="/serials/?q=se%3A1821" title="Serial Profile"> Russian Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A1822" title="Citing Publications in this Journal">22</a> </td> <td class="text"> <a href="/serials/?q=se%3A1822" title="Serial Profile"> Computational Complexity </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+se%3A2611" title="Citing Publications in this Journal">22</a> </td> <td class="text"> <a href="/serials/?q=se%3A2611" title="Serial Profile"> RAIRO. Theoretical Informatics and Applications </a> </td></tr> <tr class="more"> <td colspan="2">...and 537 more Journals</td> </tr> </table> </div> <div class="facet3rd"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3>Cited in 61 Fields</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=rj%3A524+cc%3A03" title="Citing Publications in this Field">16,912</a> </td> <td class="text"> <a href="/classification/?q=cc%3A03" title="Mathematics Subject Classification"> Mathematical logic and foundations <span style="white-space: nowrap;">(03-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A524+cc%3A68" title="Citing Publications in this Field">4,582</a> </td> <td class="text"> <a href="/classification/?q=cc%3A68" title="Mathematics Subject Classification"> Computer science <span style="white-space: nowrap;">(68-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A524+cc%3A06" title="Citing Publications in this Field">1,437</a> </td> <td class="text"> <a href="/classification/?q=cc%3A06" title="Mathematics Subject Classification"> Order, lattices, ordered algebraic structures <span style="white-space: nowrap;">(06-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A524+cc%3A05" title="Citing Publications in this Field">1,006</a> </td> <td class="text"> <a href="/classification/?q=cc%3A05" title="Mathematics Subject Classification"> Combinatorics <span style="white-space: nowrap;">(05-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A524+cc%3A54" title="Citing Publications in this Field">952</a> </td> <td class="text"> <a href="/classification/?q=cc%3A54" title="Mathematics Subject Classification"> General topology <span style="white-space: nowrap;">(54-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A20" title="Citing Publications in this Field">859</a> </td> <td class="text"> <a href="/classification/?q=cc%3A20" title="Mathematics Subject Classification"> Group theory and generalizations <span style="white-space: nowrap;">(20-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A18" title="Citing Publications in this Field">595</a> </td> <td class="text"> <a href="/classification/?q=cc%3A18" title="Mathematics Subject Classification"> Category theory; homological algebra <span style="white-space: nowrap;">(18-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A91" title="Citing Publications in this Field">583</a> </td> <td class="text"> <a href="/classification/?q=cc%3A91" title="Mathematics Subject Classification"> Game theory, economics, finance, and other social and behavioral sciences <span style="white-space: nowrap;">(91-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A08" title="Citing Publications in this Field">580</a> </td> <td class="text"> <a href="/classification/?q=cc%3A08" title="Mathematics Subject Classification"> General algebraic systems <span style="white-space: nowrap;">(08-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A12" title="Citing Publications in this Field">570</a> </td> <td class="text"> <a href="/classification/?q=cc%3A12" title="Mathematics Subject Classification"> Field theory and polynomials <span style="white-space: nowrap;">(12-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A01" title="Citing Publications in this Field">500</a> </td> <td class="text"> <a href="/classification/?q=cc%3A01" title="Mathematics Subject Classification"> History and biography <span style="white-space: nowrap;">(01-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A11" title="Citing Publications in this Field">382</a> </td> <td class="text"> <a href="/classification/?q=cc%3A11" title="Mathematics Subject Classification"> Number theory <span style="white-space: nowrap;">(11-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A46" title="Citing Publications in this Field">316</a> </td> <td class="text"> <a href="/classification/?q=cc%3A46" title="Mathematics Subject Classification"> Functional analysis <span style="white-space: nowrap;">(46-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A00" title="Citing Publications in this Field">303</a> </td> <td class="text"> <a href="/classification/?q=cc%3A00" title="Mathematics Subject Classification"> General and overarching topics; collections <span style="white-space: nowrap;">(00-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A28" title="Citing Publications in this Field">279</a> </td> <td class="text"> <a href="/classification/?q=cc%3A28" title="Mathematics Subject Classification"> Measure and integration <span style="white-space: nowrap;">(28-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A14" title="Citing Publications in this Field">230</a> </td> <td class="text"> <a href="/classification/?q=cc%3A14" title="Mathematics Subject Classification"> Algebraic geometry <span style="white-space: nowrap;">(14-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A60" title="Citing Publications in this Field">217</a> </td> <td class="text"> <a href="/classification/?q=cc%3A60" title="Mathematics Subject Classification"> Probability theory and stochastic processes <span style="white-space: nowrap;">(60-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A37" title="Citing Publications in this Field">214</a> </td> <td class="text"> <a href="/classification/?q=cc%3A37" title="Mathematics Subject Classification"> Dynamical systems and ergodic theory <span style="white-space: nowrap;">(37-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A16" title="Citing Publications in this Field">206</a> </td> <td class="text"> <a href="/classification/?q=cc%3A16" title="Mathematics Subject Classification"> Associative rings and algebras <span style="white-space: nowrap;">(16-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A13" title="Citing Publications in this Field">194</a> </td> <td class="text"> <a href="/classification/?q=cc%3A13" title="Mathematics Subject Classification"> Commutative algebra <span style="white-space: nowrap;">(13-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A22" title="Citing Publications in this Field">180</a> </td> <td class="text"> <a href="/classification/?q=cc%3A22" title="Mathematics Subject Classification"> Topological groups, Lie groups <span style="white-space: nowrap;">(22-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A81" title="Citing Publications in this Field">164</a> </td> <td class="text"> <a href="/classification/?q=cc%3A81" title="Mathematics Subject Classification"> Quantum theory <span style="white-space: nowrap;">(81-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A26" title="Citing Publications in this Field">154</a> </td> <td class="text"> <a href="/classification/?q=cc%3A26" title="Mathematics Subject Classification"> Real functions <span style="white-space: nowrap;">(26-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A90" title="Citing Publications in this Field">123</a> </td> <td class="text"> <a href="/classification/?q=cc%3A90" title="Mathematics Subject Classification"> Operations research, mathematical programming <span style="white-space: nowrap;">(90-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A94" title="Citing Publications in this Field">103</a> </td> <td class="text"> <a href="/classification/?q=cc%3A94" title="Mathematics Subject Classification"> Information and communication theory, circuits <span style="white-space: nowrap;">(94-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A47" title="Citing Publications in this Field">84</a> </td> <td class="text"> <a href="/classification/?q=cc%3A47" title="Mathematics Subject Classification"> Operator theory <span style="white-space: nowrap;">(47-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A51" title="Citing Publications in this Field">78</a> </td> <td class="text"> <a href="/classification/?q=cc%3A51" title="Mathematics Subject Classification"> Geometry <span style="white-space: nowrap;">(51-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A62" title="Citing Publications in this Field">77</a> </td> <td class="text"> <a href="/classification/?q=cc%3A62" title="Mathematics Subject Classification"> Statistics <span style="white-space: nowrap;">(62-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A55" title="Citing Publications in this Field">76</a> </td> <td class="text"> <a href="/classification/?q=cc%3A55" title="Mathematics Subject Classification"> Algebraic topology <span style="white-space: nowrap;">(55-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A52" title="Citing Publications in this Field">63</a> </td> <td class="text"> <a href="/classification/?q=cc%3A52" title="Mathematics Subject Classification"> Convex and discrete geometry <span style="white-space: nowrap;">(52-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A32" title="Citing Publications in this Field">60</a> </td> <td class="text"> <a href="/classification/?q=cc%3A32" title="Mathematics Subject Classification"> Several complex variables and analytic spaces <span style="white-space: nowrap;">(32-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A40" title="Citing Publications in this Field">59</a> </td> <td class="text"> <a href="/classification/?q=cc%3A40" title="Mathematics Subject Classification"> Sequences, series, summability <span style="white-space: nowrap;">(40-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A15" title="Citing Publications in this Field">51</a> </td> <td class="text"> <a href="/classification/?q=cc%3A15" title="Mathematics Subject Classification"> Linear and multilinear algebra; matrix theory <span style="white-space: nowrap;">(15-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A57" title="Citing Publications in this Field">38</a> </td> <td class="text"> <a href="/classification/?q=cc%3A57" title="Mathematics Subject Classification"> Manifolds and cell complexes <span style="white-space: nowrap;">(57-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A30" title="Citing Publications in this Field">35</a> </td> <td class="text"> <a href="/classification/?q=cc%3A30" title="Mathematics Subject Classification"> Functions of a complex variable <span style="white-space: nowrap;">(30-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A92" title="Citing Publications in this Field">35</a> </td> <td class="text"> <a href="/classification/?q=cc%3A92" title="Mathematics Subject Classification"> Biology and other natural sciences <span style="white-space: nowrap;">(92-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A43" title="Citing Publications in this Field">34</a> </td> <td class="text"> <a href="/classification/?q=cc%3A43" title="Mathematics Subject Classification"> Abstract harmonic analysis <span style="white-space: nowrap;">(43-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A93" title="Citing Publications in this Field">34</a> </td> <td class="text"> <a href="/classification/?q=cc%3A93" title="Mathematics Subject Classification"> Systems theory; control <span style="white-space: nowrap;">(93-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A34" title="Citing Publications in this Field">27</a> </td> <td class="text"> <a href="/classification/?q=cc%3A34" title="Mathematics Subject Classification"> Ordinary differential equations <span style="white-space: nowrap;">(34-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A65" title="Citing Publications in this Field">23</a> </td> <td class="text"> <a href="/classification/?q=cc%3A65" title="Mathematics Subject Classification"> Numerical analysis <span style="white-space: nowrap;">(65-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A58" title="Citing Publications in this Field">19</a> </td> <td class="text"> <a href="/classification/?q=cc%3A58" title="Mathematics Subject Classification"> Global analysis, analysis on manifolds <span style="white-space: nowrap;">(58-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A82" title="Citing Publications in this Field">19</a> </td> <td class="text"> <a href="/classification/?q=cc%3A82" title="Mathematics Subject Classification"> Statistical mechanics, structure of matter <span style="white-space: nowrap;">(82-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A41" title="Citing Publications in this Field">17</a> </td> <td class="text"> <a href="/classification/?q=cc%3A41" title="Mathematics Subject Classification"> Approximations and expansions <span style="white-space: nowrap;">(41-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A83" title="Citing Publications in this Field">17</a> </td> <td class="text"> <a href="/classification/?q=cc%3A83" title="Mathematics Subject Classification"> Relativity and gravitational theory <span style="white-space: nowrap;">(83-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A17" title="Citing Publications in this Field">16</a> </td> <td class="text"> <a href="/classification/?q=cc%3A17" title="Mathematics Subject Classification"> Nonassociative rings and algebras <span style="white-space: nowrap;">(17-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A53" title="Citing Publications in this Field">16</a> </td> <td class="text"> <a href="/classification/?q=cc%3A53" title="Mathematics Subject Classification"> Differential geometry <span style="white-space: nowrap;">(53-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A42" title="Citing Publications in this Field">11</a> </td> <td class="text"> <a href="/classification/?q=cc%3A42" title="Mathematics Subject Classification"> Harmonic analysis on Euclidean spaces <span style="white-space: nowrap;">(42-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A49" title="Citing Publications in this Field">11</a> </td> <td class="text"> <a href="/classification/?q=cc%3A49" title="Mathematics Subject Classification"> Calculus of variations and optimal control; optimization <span style="white-space: nowrap;">(49-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A33" title="Citing Publications in this Field">10</a> </td> <td class="text"> <a href="/classification/?q=cc%3A33" title="Mathematics Subject Classification"> Special functions <span style="white-space: nowrap;">(33-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A39" title="Citing Publications in this Field">10</a> </td> <td class="text"> <a href="/classification/?q=cc%3A39" title="Mathematics Subject Classification"> Difference and functional equations <span style="white-space: nowrap;">(39-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A19" title="Citing Publications in this Field">8</a> </td> <td class="text"> <a href="/classification/?q=cc%3A19" title="Mathematics Subject Classification"> $K$-theory <span style="white-space: nowrap;">(19-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A35" title="Citing Publications in this Field">8</a> </td> <td class="text"> <a href="/classification/?q=cc%3A35" title="Mathematics Subject Classification"> Partial differential equations <span style="white-space: nowrap;">(35-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A70" title="Citing Publications in this Field">8</a> </td> <td class="text"> <a href="/classification/?q=cc%3A70" title="Mathematics Subject Classification"> Mechanics of particles and systems <span style="white-space: nowrap;">(70-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A80" title="Citing Publications in this Field">7</a> </td> <td class="text"> <a href="/classification/?q=cc%3A80" title="Mathematics Subject Classification"> Classical thermodynamics, heat transfer <span style="white-space: nowrap;">(80-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A97" title="Citing Publications in this Field">7</a> </td> <td class="text"> <a href="/classification/?q=cc%3A97" title="Mathematics Subject Classification"> Mathematics education <span style="white-space: nowrap;">(97-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A76" title="Citing Publications in this Field">4</a> </td> <td class="text"> <a href="/classification/?q=cc%3A76" title="Mathematics Subject Classification"> Fluid mechanics <span style="white-space: nowrap;">(76-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A31" title="Citing Publications in this Field">3</a> </td> <td class="text"> <a href="/classification/?q=cc%3A31" title="Mathematics Subject Classification"> Potential theory <span style="white-space: nowrap;">(31-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A44" title="Citing Publications in this Field">3</a> </td> <td class="text"> <a href="/classification/?q=cc%3A44" title="Mathematics Subject Classification"> Integral transforms, operational calculus <span style="white-space: nowrap;">(44-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A74" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A74" title="Mathematics Subject Classification"> Mechanics of deformable solids <span style="white-space: nowrap;">(74-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A78" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A78" title="Mathematics Subject Classification"> Optics, electromagnetic theory <span style="white-space: nowrap;">(78-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A524+cc%3A85" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A85" title="Mathematics Subject Classification"> Astronomy and astrophysics <span style="white-space: nowrap;">(85-XX)</span> </a> </td></tr> </table> </div> <div class="diagram svg-diagram"> <h3>Citations by Year</h3> <div class="diagram ci-diagram" aria-label="citations by year"></div> <style> rect:hover { fill: steelblue; } .axis path, .axis line { fill: none; stroke: #000; shape-rendering: crispEdges; } .bar { fill: steelblue; } </style> <style> rect:hover { fill: steelblue; } .axis path, .axis line { fill: none; stroke: #000; shape-rendering: crispEdges; } .bar { fill: steelblue; } a:hover .bar, a:focus .bar { stroke: black; fill-opacity: 60%; } </style> <script> var margin = { top: 20, right: 0, bottom: 30, left: 50 }; var width = 930 - margin.left - margin.right; var height = 150 - margin.top - margin.bottom; var svg = d3.selectAll(".ci-diagram").append("svg") .attr("width", width + margin.left + margin.right) .attr("height", height + margin.top + margin.bottom) .append("g") .attr("transform", "translate(" + margin.left + "," + margin.top + ")"); var data = [{ year:1936, frequency:1 },{ year:1937, frequency:2 },{ year:1938, frequency:3 },{ year:1939, frequency:8 },{ year:1940, frequency:2 },{ year:1941, frequency:6 },{ year:1943, frequency:1 },{ year:1944, frequency:1 },{ year:1945, frequency:3 },{ year:1946, frequency:1 },{ year:1947, frequency:4 },{ year:1948, frequency:2 },{ year:1949, frequency:3 },{ year:1950, frequency:11 },{ year:1951, frequency:17 },{ year:1952, frequency:13 },{ year:1953, frequency:16 },{ year:1954, frequency:21 },{ year:1955, frequency:13 },{ year:1956, frequency:16 },{ year:1957, frequency:15 },{ year:1958, frequency:17 },{ year:1959, frequency:23 },{ year:1960, frequency:8 },{ year:1961, frequency:15 },{ year:1962, frequency:15 },{ year:1963, frequency:18 },{ year:1964, frequency:13 },{ year:1965, frequency:24 },{ year:1966, frequency:35 },{ year:1967, frequency:27 },{ year:1968, frequency:29 },{ year:1969, frequency:34 },{ year:1970, frequency:34 },{ year:1971, frequency:53 },{ year:1972, frequency:75 },{ year:1973, frequency:96 },{ year:1974, frequency:83 },{ year:1975, frequency:115 },{ year:1976, frequency:91 },{ year:1977, frequency:84 },{ year:1978, frequency:117 },{ year:1979, frequency:75 },{ year:1980, frequency:123 },{ year:1981, frequency:124 },{ year:1982, frequency:110 },{ year:1983, frequency:169 },{ year:1984, frequency:183 },{ year:1985, frequency:162 },{ year:1986, frequency:151 },{ year:1987, frequency:140 },{ year:1988, frequency:132 },{ year:1989, frequency:207 },{ year:1990, frequency:189 },{ year:1991, frequency:254 },{ year:1992, frequency:260 },{ year:1993, frequency:245 },{ year:1994, frequency:267 },{ year:1995, frequency:307 },{ year:1996, frequency:312 },{ year:1997, frequency:291 },{ year:1998, frequency:225 },{ year:1999, frequency:242 },{ year:2000, frequency:268 },{ year:2001, frequency:263 },{ year:2002, frequency:284 },{ year:2003, frequency:310 },{ year:2004, frequency:285 },{ year:2005, frequency:367 },{ year:2006, frequency:440 },{ year:2007, frequency:385 },{ year:2008, frequency:548 },{ year:2009, frequency:651 },{ year:2010, frequency:527 },{ year:2011, frequency:625 },{ year:2012, frequency:689 },{ year:2013, frequency:520 },{ year:2014, frequency:678 },{ year:2015, frequency:773 },{ year:2016, frequency:789 },{ year:2017, frequency:827 },{ year:2018, frequency:899 },{ year:2019, frequency:931 },{ year:2020, frequency:921 },{ year:2021, frequency:1074 },{ year:2022, frequency:927 },{ year:2023, frequency:918 },{ year:2024, frequency:823 },{ year:2025, frequency:151 }]; data.forEach(function(d) { d.year = +d.year; d.frequency = +d.frequency; }); var xScale = d3.scale.ordinal() .rangeRoundBands([0, width], .1); var yScale = d3.scale.linear() .range([height, 0]); // fill if less than 20 years span var zero = d3.max( [ 20 - ( d3.max( data, d => d.year ) + 1 - d3.min( data, d => d.year ) ), 0 ] ); // generate range from min to max xScale.domain( d3.range( d3.min( data, d => d.year ), d3.max( data, d => d.year ) + 1 + zero ) ); yScale.domain( [ 0, d3.max( data, d => d.frequency ) ] ); var xAxis = d3.svg.axis() .scale(xScale) .tickValues( // show ticks every 5 years for range up to 50 years, every 10 // years up to 100 years, and every 20 years above that xScale.domain().filter( function(d, i) { let ticks; if (xScale.domain().length <= 50) { ticks = 5; } else if (xScale.domain().length <= 100) { ticks = 10; } else { ticks = 20; } return !(d % ticks); } ) ) .tickSize(6,3,0) // removes end tick .orient("bottom"); var yAxis = d3.svg.axis() .scale(yScale) .ticks(3) // number of ticks .tickFormat(d3.format("d")) // only integers .tickSize(6,3,0) // removes end tick .orient("left"); svg.selectAll(".bar") .data(data) .enter() .append("a") .attr( "xlink:href", d => "/?q=rj%3A524+py%3A" + d.year ) .attr( "title", d => d.frequency + " Citation" + (d.frequency > 1 ? "s" : "") + " in " + d.year ) .append("rect") .attr("class", "bar") .attr("x", d => xScale(d.year)) .attr("width", xScale.rangeBand()) .attr("y", d => yScale(d.frequency)) .attr("height", d => height - yScale(d.frequency)); svg.append("g") .attr("class", "x axis") .attr("transform", "translate(0," + height + ")") .call(xAxis); svg.append("g") .attr("class", "y axis") .call(yAxis) .append("text") .attr("transform", "rotate(-90)") .attr("y", 6) .attr("dy", ".75em") .style("text-anchor", "end") .text(""); </script> </div> </div> </article> </div> </div> <div class="clearfix"></div> </div> </div> <div id="foot"><div class="copyright"> © 2025 <a target="fiz" href="https://www.fiz-karlsruhe.de/en">FIZ Karlsruhe GmbH</a> <a href="/privacy-policy/">Privacy Policy</a> <a href="/legal-notices/">Legal Notices</a> <a href="/terms-conditions/">Terms & Conditions</a> <div class="info"> <ul class="nav"> <li class="mastodon"> <a href="https://mathstodon.xyz/@zbMATH" target="_blank" class="no-new-tab-icon"> <img src="/static/mastodon.png" title="zbMATH at Mathstodon (opens in new tab)" alt="Mastodon logo"> </a> </li> </ul> </div> </div> <div class="clearfix" style="height: 0px;"></div> </div> </div> <script src="https://static.zbmath.org/contrib/jquery/1.9.1/jquery.min.js"></script> <script src="https://static.zbmath.org/contrib/jquery-caret/1.5.2/jquery.caret.min.js"></script> <script src="/static/js/jquery-ui-1.10.1.custom.min.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap/v3.3.7zb1/js/bootstrap.min.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap-lightbox/v0.7.0/bootstrap-lightbox.min.js"></script> <script src="https://static.zbmath.org/contrib/retina/unknown/retina.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap-select/v1.13.14/js/bootstrap-select.min.js"></script> <script> var SCRIPT_ROOT = ""; </script> <script src="/static/scripts.js?v=20240926"> </script> <script src="https://static.zbmath.org/contrib/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script> <script type="text/x-mathjax-config"> MathJax.Hub.Config({ "HTML-CSS": { preferredFont: "TeX", availableFonts: [ "STIX", "TeX" ], linebreaks: { automatic: true }, EqnChunk: (MathJax.Hub.Browser.isMobile ? 10 : 50) }, tex2jax: { processEscapes: true, ignoreClass: "tex2jax_ignore|dno" }, TeX: { Macros: { Aut: "\\operatorname{Aut}", Hom: "\\operatorname{Hom}" }, noUndefined: { attributes: { mathcolor: "#039", //"red", mathbackground: "white", //"#FFEEEE", mathsize: "90%" } } }, messageStyle: "none" }); </script> <script type="text/javascript"> $(document).ready(function() { $("#MathInput").stop(true, true).keyup(function() { $.ajax({ url: "/mwsq/", type: "POST", data: { query : $("#MathInput").val() }, dataType: "text" }) .done(function(xml) { $("#MathPreview").html(xml); $(window).resize(); }); }); var press = jQuery.Event("keyup"); press.ctrlKey = false; press.which = 40; $("#MathInput").trigger(press); }); </script> <div id="new_tab_icon" style="display: none"> <span class="glyphicon glyphicon-new-window" aria-hidden="true"></span><span class="sr-only">(opens in new tab)</span></div> </body> </html>

CINXE.COM

The Journal of Symbolic Logic - Serial Profile - zbMATH Open