Notre Dame Journal of Formal Logic - Serial Profile

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>Notre Dame Journal of Formal 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/608?"> <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:608" 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>Notre Dame Journal of Formal Logic</h2></div> <div class="text"> <table class="profile"><tr> <td>Short Title:</td> <td>Notre Dame J. Formal Logic </td> </tr><tr> <td>Publisher:</td> <td>University of Notre Dame, Notre Dame, IN; Duke University Press, Durham, NC</td> </tr><tr> <td>ISSN:</td> <td> 0029-4527 </td> </tr><tr> <td>Online:</td> <td><a href="https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/issues">https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/issues</a><br><a href="http://www.nd.edu/~ndjfl/">http://www.nd.edu/~ndjfl/</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%3A608"> 2,600 Publications</a> (since 1960) </td> </tr> <tr> <td>References Indexed:</td> <td> <a href="/?q=st%3Ar+se%3A608">662 Publications</a> with 12,050 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%3A523299" title="Publications in this Volume"> <strong>65</strong>, No. 4 (2024) </a> </td></tr><tr> <td colspan="2" class="text"> <a href="/?q=in%3A523298" title="Publications in this Volume"> <strong>65</strong>, No. 3 (2024) </a> </td></tr><tr> <td colspan="2" class="text"> <a href="/?q=in%3A516168" title="Publications in this Volume"> <strong>65</strong>, No. 2 (2024) </a> </td></tr><tr> <td colspan="2" class="text"> <a href="/?q=in%3A514664" title="Publications in this Volume"> <strong>65</strong>, No. 1 (2024) </a> </td></tr><tr> <td colspan="2" class="text"> <a href="/?q=in%3A510763" title="Publications in this Volume"> <strong>64</strong>, No. 4 (2023) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A506930" title="Publications in this Volume"> <strong>64</strong>, No. 3 (2023) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A500315" title="Publications in this Volume"> <strong>64</strong>, No. 2 (2023) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A496869" title="Publications in this Volume"> <strong>64</strong>, No. 1 (2023) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A491174" title="Publications in this Volume"> <strong>63</strong>, No. 4 (2022) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A487786" title="Publications in this Volume"> <strong>63</strong>, No. 3 (2022) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A484106" title="Publications in this Volume"> <strong>63</strong>, No. 2 (2022) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A481366" title="Publications in this Volume"> <strong>63</strong>, No. 1 (2022) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A476584" title="Publications in this Volume"> <strong>62</strong>, No. 4 (2021) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A476583" title="Publications in this Volume"> <strong>62</strong>, No. 3 (2021) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A468749" title="Publications in this Volume"> <strong>62</strong>, No. 2 (2021) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A468748" title="Publications in this Volume"> <strong>62</strong>, No. 1 (2021) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A468747" title="Publications in this Volume"> <strong>61</strong>, No. 4 (2020) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A459646" title="Publications in this Volume"> <strong>61</strong>, No. 3 (2020) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A451040" title="Publications in this Volume"> <strong>61</strong>, No. 2 (2020) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A447077" title="Publications in this Volume"> <strong>61</strong>, No. 1 (2020) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A443251" title="Publications in this Volume"> <strong>60</strong>, No. 4 (2019) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A438126" title="Publications in this Volume"> <strong>60</strong>, No. 3 (2019) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A434684" title="Publications in this Volume"> <strong>60</strong>, No. 2 (2019) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A432627" title="Publications in this Volume"> <strong>60</strong>, No. 1 (2019) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A423670" title="Publications in this Volume"> <strong>59</strong>, No. 4 (2018) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A411614" title="Publications in this Volume"> <strong>59</strong>, No. 3 (2018) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A388556" title="Publications in this Volume"> <strong>59</strong>, No. 2 (2018) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A374508" title="Publications in this Volume"> <strong>59</strong>, No. 1 (2018) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A371595" title="Publications in this Volume"> <strong>58</strong>, No. 4 (2017) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A368631" title="Publications in this Volume"> <strong>58</strong>, No. 3 (2017) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A366427" title="Publications in this Volume"> <strong>58</strong>, No. 2 (2017) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A363069" title="Publications in this Volume"> <strong>58</strong>, No. 1 (2017) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A361213" title="Publications in this Volume"> <strong>57</strong>, No. 4 (2016) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A358266" title="Publications in this Volume"> <strong>57</strong>, No. 3 (2016) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A355562" title="Publications in this Volume"> <strong>57</strong>, No. 2 (2016) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A352908" title="Publications in this Volume"> <strong>57</strong>, No. 1 (2016) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A350179" title="Publications in this Volume"> <strong>56</strong>, No. 4 (2015) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A347934" title="Publications in this Volume"> <strong>56</strong>, No. 3 (2015) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A346028" title="Publications in this Volume"> <strong>56</strong>, No. 2 (2015) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A344275" title="Publications in this Volume"> <strong>56</strong>, No. 1 (2015) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A339472" title="Publications in this Volume"> <strong>55</strong>, No. 4 (2014) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A335921" title="Publications in this Volume"> <strong>55</strong>, No. 3 (2014) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A332921" title="Publications in this Volume"> <strong>55</strong>, No. 2 (2014) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A330193" title="Publications in this Volume"> <strong>55</strong>, No. 1 (2014) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A324389" title="Publications in this Volume"> <strong>54</strong>, No. 3-4 (2013) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A316469" title="Publications in this Volume"> <strong>54</strong>, No. 2 (2013) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A313559" title="Publications in this Volume"> <strong>54</strong>, No. 1 (2013) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A311233" title="Publications in this Volume"> <strong>53</strong>, No. 4 (2012) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A309520" title="Publications in this Volume"> <strong>53</strong>, No. 3 (2012) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A302643" title="Publications in this Volume"> <strong>53</strong>, No. 2 (2012) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A299988" title="Publications in this Volume"> <strong>53</strong>, No. 1 (2012) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A290708" title="Publications in this Volume"> <strong>52</strong>, No. 4 (2011) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A287849" title="Publications in this Volume"> <strong>52</strong>, No. 3 (2011) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A280247" title="Publications in this Volume"> <strong>52</strong>, No. 2 (2011) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A273437" title="Publications in this Volume"> <strong>52</strong>, No. 1 (2011) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A270104" title="Publications in this Volume"> <strong>51</strong>, No. 4 (2010) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A265887" title="Publications in this Volume"> <strong>51</strong>, No. 3 (2010) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A263841" title="Publications in this Volume"> <strong>51</strong>, No. 2 (2010) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A262404" title="Publications in this Volume"> <strong>51</strong>, No. 1 (2010) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A259170" title="Publications in this Volume"> <strong>50</strong>, No. 4 (2009) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A256080" title="Publications in this Volume"> <strong>50</strong>, No. 3 (2009) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A254724" title="Publications in this Volume"> <strong>50</strong>, No. 2 (2009) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A254723" title="Publications in this Volume"> <strong>50</strong>, No. 1 (2009) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A253018" title="Publications in this Volume"> <strong>49</strong>, No. 4 (2008) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A227538" title="Publications in this Volume"> <strong>49</strong>, No. 3 (2008) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A218577" title="Publications in this Volume"> <strong>49</strong>, No. 2 (2008) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A218576" title="Publications in this Volume"> <strong>49</strong>, No. 1 (2008) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A214734" title="Publications in this Volume"> <strong>48</strong>, No. 4 (2007) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A213780" title="Publications in this Volume"> <strong>48</strong>, No. 3 (2007) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A209616" title="Publications in this Volume"> <strong>48</strong>, No. 2 (2007) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A208129" title="Publications in this Volume"> <strong>48</strong>, No. 1 (2007) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A193431" title="Publications in this Volume"> <strong>47</strong>, No. 4 (2006) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A192030" title="Publications in this Volume"> <strong>47</strong>, No. 3 (2006) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A186517" title="Publications in this Volume"> <strong>47</strong>, No. 2 (2006) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A125729" title="Publications in this Volume"> <strong>47</strong>, No. 1 (2006) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A123324" title="Publications in this Volume"> <strong>46</strong>, No. 4 (2005) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A120683" title="Publications in this Volume"> <strong>46</strong>, No. 3 (2005) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A118048" title="Publications in this Volume"> <strong>46</strong>, No. 2 (2005) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A116563" title="Publications in this Volume"> <strong>46</strong>, No. 1 (2005) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A116562" title="Publications in this Volume"> <strong>45</strong>, No. 4 (2004) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A116561" title="Publications in this Volume"> <strong>45</strong>, No. 3 (2004) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A116560" title="Publications in this Volume"> <strong>45</strong>, No. 2 (2004) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A116559" title="Publications in this Volume"> <strong>45</strong>, No. 1 (2004) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A116558" title="Publications in this Volume"> <strong>44</strong>, No. 4 (2003) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A116557" title="Publications in this Volume"> <strong>44</strong>, No. 3 (2003) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A116556" title="Publications in this Volume"> <strong>44</strong>, No. 2 (2003) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A104994" title="Publications in this Volume"> <strong>44</strong>, No. 1 (2003) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A104993" title="Publications in this Volume"> <strong>43</strong>, No. 4 (2002) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A104554" title="Publications in this Volume"> <strong>43</strong>, No. 3 (2002) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A104553" title="Publications in this Volume"> <strong>43</strong>, No. 2 (2002) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A103294" title="Publications in this Volume"> <strong>43</strong>, No. 1 (2002) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A102573" title="Publications in this Volume"> <strong>42</strong>, No. 4 (2001) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A99776" title="Publications in this Volume"> <strong>42</strong>, No. 3 (2001) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A99775" title="Publications in this Volume"> <strong>42</strong>, No. 2 (2001) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A92011" title="Publications in this Volume"> <strong>42</strong>, No. 1 (2001) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A91978" title="Publications in this Volume"> <strong>41</strong>, No. 4 (2000) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A91262" title="Publications in this Volume"> <strong>41</strong>, No. 3 (2000) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A88201" title="Publications in this Volume"> <strong>41</strong>, No. 2 (2000) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A83203" title="Publications in this Volume"> <strong>41</strong>, No. 1 (2000) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A83202" title="Publications in this Volume"> <strong>40</strong>, No. 4 (1999) </a> </td></tr> <tr class="more"> <td colspan="2">...and 75 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%3A608+ai%3Asobocinski.boleslaw" title="Publications of this Author">59</a> </td> <td class="text"> <a href="/authors/sobocinski.boleslaw" title="Author Profile"> Soboci艅ski, Boles艂aw </a> </td></tr><tr> <td class="number"> <a href="/?q=se%3A608+ai%3Ashelah.saharon" title="Publications of this Author">32</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%3A608+ai%3Athomas.ivo" title="Publications of this Author">27</a> </td> <td class="text"> <a href="/authors/thomas.ivo" title="Author Profile"> Thomas, Ivo </a> </td></tr><tr> <td class="number"> <a href="/?q=se%3A608+ai%3Abunder.martin-w" title="Publications of this Author">22</a> </td> <td class="text"> <a href="/authors/bunder.martin-w" title="Author Profile"> Bunder, Martin W. </a> </td></tr><tr> <td class="number"> <a href="/?q=se%3A608+ai%3Aleblanc.hugues" title="Publications of this Author">17</a> </td> <td class="text"> <a href="/authors/leblanc.hugues" title="Author Profile"> Leblanc, Hugues </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Aburgess.john-p" title="Publications of this Author">16</a> </td> <td class="text"> <a href="/authors/burgess.john-p" title="Author Profile"> Burgess, John P. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Ameyer.robert-k" title="Publications of this Author">14</a> </td> <td class="text"> <a href="/authors/meyer.robert-k" title="Author Profile"> Meyer, Robert Kenneth </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Aclay.robert-e" title="Publications of this Author">13</a> </td> <td class="text"> <a href="/authors/clay.robert-e" title="Author Profile"> Clay, Robert E. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Aschumm.george-f" title="Publications of this Author">13</a> </td> <td class="text"> <a href="/authors/schumm.george-f" title="Author Profile"> Schumm, George F. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Azeman.j-jay" title="Publications of this Author">13</a> </td> <td class="text"> <a href="/authors/zeman.j-jay" title="Author Profile"> Zeman, J. Jay </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Aenglebretsen.george" title="Publications of this Author">11</a> </td> <td class="text"> <a href="/authors/englebretsen.george" title="Author Profile"> Englebretsen, George </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Ahyttinen.tapani" title="Publications of this Author">11</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%3A608+ai%3Aschmerl.james-h" title="Publications of this Author">11</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%3A608+ai%3Aprior.arthur-n" title="Publications of this Author">10</a> </td> <td class="text"> <a href="/authors/prior.arthur-n" title="Author Profile"> Prior, Arthur Norman </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Ashukla.anjan" title="Publications of this Author">10</a> </td> <td class="text"> <a href="/authors/shukla.anjan" title="Author Profile"> Shukla, Anjan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Ahickman.john-llewellyn" title="Publications of this Author">9</a> </td> <td class="text"> <a href="/authors/hickman.john-llewellyn" title="Author Profile"> Hickman, John Llewellyn </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Ahumberstone.lloyd" title="Publications of this Author">9</a> </td> <td class="text"> <a href="/authors/humberstone.lloyd" title="Author Profile"> Humberstone, Lloyd </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Akearns.john-t" title="Publications of this Author">9</a> </td> <td class="text"> <a href="/authors/kearns.john-t" title="Author Profile"> Kearns, John T. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Avisser.albert" title="Publications of this Author">9</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=se%3A608+ai%3Aashworth.e-jennifer" title="Publications of this Author">8</a> </td> <td class="text"> <a href="/authors/ashworth.e-jennifer" title="Author Profile"> Ashworth, E. Jennifer </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Acanty.john-thomas" title="Publications of this Author">8</a> </td> <td class="text"> <a href="/authors/canty.john-thomas" title="Author Profile"> Canty, John Thomas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Acowen.robert-h" title="Publications of this Author">8</a> </td> <td class="text"> <a href="/authors/cowen.robert-h" title="Author Profile"> Cowen, Robert H. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Afitting.melvin-c" title="Publications of this Author">8</a> </td> <td class="text"> <a href="/authors/fitting.melvin-c" title="Author Profile"> Fitting, Melvin Chris </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Ahamkins.joel-david" title="Publications of this Author">8</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%3A608+ai%3Alejewski.czeslaw" title="Publications of this Author">8</a> </td> <td class="text"> <a href="/authors/lejewski.czeslaw" title="Author Profile"> Lejewski, Czes艂aw </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Ameredith.david.1" title="Publications of this Author">8</a> </td> <td class="text"> <a href="/authors/meredith.david.1" title="Author Profile"> Meredith, David </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Amullin.albert-a" title="Publications of this Author">8</a> </td> <td class="text"> <a href="/authors/mullin.albert-a" title="Author Profile"> Mullin, Albert A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Apriest.graham" title="Publications of this Author">8</a> </td> <td class="text"> <a href="/authors/priest.graham" title="Author Profile"> Priest, Graham </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Areichbach.juliusz" title="Publications of this Author">8</a> </td> <td class="text"> <a href="/authors/reichbach.juliusz" title="Author Profile"> Reichbach, Juliusz </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Avuckovic.vladeta" title="Publications of this Author">8</a> </td> <td class="text"> <a href="/authors/vuckovic.vladeta" title="Author Profile"> Vuckovic, Vladeta </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Aabian.alexander" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/abian.alexander" title="Author Profile"> Abian, Alexander </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Aantonelli.gian-aldo" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/antonelli.gian-aldo" title="Author Profile"> Antonelli, Gian Aldo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Aasenjo.florencio-g" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/asenjo.florencio-g" title="Author Profile"> Asenjo, Florencio Gonzalez </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Acresswell.maxwell-j" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/cresswell.maxwell-j" title="Author Profile"> Cresswell, Maxwell John </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Adowney.rodney-graham" title="Publications of this Author">7</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%3A608+ai%3Adunn.jon-michael" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/dunn.jon-michael" title="Author Profile"> Dunn, Jon Michael </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Afrascella.william-j" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/frascella.william-j" title="Author Profile"> Frascella, William J. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Agemignani.michael-c" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/gemignani.michael-c" title="Author Profile"> Gemignani, Michael C. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Ahumberstone.i-l" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/humberstone.i-l" title="Author Profile"> Humberstone, I. L. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Amortensen.chris" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/mortensen.chris" title="Author Profile"> Mortensen, Chris </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Amuzio.jon-c" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/muzio.jon-c" title="Author Profile"> Muzio, Jon C. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Apillay.anand" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/pillay.anand" title="Author Profile"> Pillay, Anand </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Aroutley.richard" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/routley.richard" title="Author Profile"> Sylvan, Richard </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Ashapiro.stewart" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/shapiro.stewart" title="Author Profile"> Shapiro, Stewart </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Asweet.albert-m" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/sweet.albert-m" title="Author Profile"> Sweet, Albert M. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Ablum.alex" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/blum.alex" title="Author Profile"> Blum, Alex </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Abrady.ross-thomas" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/brady.ross-thomas" title="Author Profile"> Brady, Ross Thomas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Abull.robert-a" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/bull.robert-a" title="Author Profile"> Bull, Robert A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Achapin.e-william-jun" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/chapin.e-william-jun" title="Author Profile"> Chapin, E. William jun. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Acorcoran.john" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/corcoran.john" title="Author Profile"> Corcoran, John </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Ageorgacarakos.g-n" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/georgacarakos.g-n" title="Author Profile"> Georgacarakos, G. N. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Ahazen.allen-p" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/hazen.allen-p" title="Author Profile"> Hazen, Allen P. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Ahugly.philip" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/hugly.philip" title="Author Profile"> Hugly, Philip </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Akossak.roman" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/kossak.roman" title="Author Profile"> Kossak, Roman </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Amassey.gerald-j" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/massey.gerald-j" title="Author Profile"> Massey, Gerald J. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Amichael.emily" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/michael.emily" title="Author Profile"> Michael, Emily </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Amorgan.charles-grady" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/morgan.charles-grady" title="Author Profile"> Morgan, Charles Grady </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Arickey.v-frederick" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/rickey.v-frederick" title="Author Profile"> Rickey, V. Frederick </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Aschock.rolf" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/schock.rolf" title="Author Profile"> Schock, Rolf </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Asmorynski.craig" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/smorynski.craig" title="Author Profile"> Smory艅ski, Craig </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Aweaver.george-e" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/weaver.george-e" title="Author Profile"> Weaver, George E. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Awilliamson.timothy" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/williamson.timothy" title="Author Profile"> Williamson, Timothy </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Azuckerman.martin-m" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/zuckerman.martin-m" title="Author Profile"> Zuckerman, Martin M. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Aavron.arnon" title="Publications of this Author">5</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=se%3A608+ai%3Abaldwin.john-t" title="Publications of this Author">5</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%3A608+ai%3Abelding.w-russell" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/belding.w-russell" title="Author Profile"> Belding, W. Russell </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Abelnap.nuel-d-jun" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/belnap.nuel-d-jun" title="Author Profile"> Belnap, Nuel D. jun. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Acocchiarella.nino-b" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/cocchiarella.nino-b" title="Author Profile"> Cocchiarella, Nino B. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Adekker.jacob-c-e" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/dekker.jacob-c-e" title="Author Profile"> Dekker, Jacob C. E. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Afine.kit" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/fine.kit" title="Author Profile"> Fine, Kit </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Agerla.giangiacomo" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/gerla.giangiacomo" title="Author Profile"> Gerla, Giangiacomo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Agrant.john-r" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/grant.john-r" title="Author Profile"> Grant, John R. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Ahendry.herbert-e" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/hendry.herbert-e" title="Author Profile"> Hendry, Herbert E. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Ahoward.paul-e" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/howard.paul-e" title="Author Profile"> Howard, Paul E. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Ahughes.charles-e" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/hughes.charles-e" title="Author Profile"> Hughes, Charles E. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Aiemhoff.rosalie" title="Publications of this Author">5</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=se%3A608+ai%3Akaye.richard-w" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/kaye.richard-w" title="Author Profile"> Kaye, Richard W. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Akielkopf.charles-f" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/kielkopf.charles-f" title="Author Profile"> Kielkopf, Charles F. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Alarouche.laurent" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/larouche.laurent" title="Author Profile"> Larouche, Laurent </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Alaskowski.michael-chris" title="Publications of this Author">5</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%3A608+ai%3Amcarthur.robert-p" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/mcarthur.robert-p" title="Author Profile"> McArthur, Robert P. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Amccarty.david-charles" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/mccarty.david-charles" title="Author Profile"> McCarty, David Charles </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Ameredith.carew-arthur" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/meredith.carew-arthur" title="Author Profile"> Meredith, Carew Arthur </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Anies.andre-otfrid" title="Publications of this Author">5</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%3A608+ai%3Apambuccian.victor" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/pambuccian.victor" title="Author Profile"> Pambuccian, Victor V. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Aparks.zane" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/parks.zane" title="Author Profile"> Parks, Zane </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Apollard.stephen-k" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/pollard.stephen-k" title="Author Profile"> Pollard, Stephen K. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Aposs.richard-l" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/poss.richard-l" title="Author Profile"> Poss, Richard L. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Apurdy.william-c" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/purdy.william-c" title="Author Profile"> Purdy, William C. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Aroper.peter" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/roper.peter" title="Author Profile"> R枚per, Peter </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Asanchis.luis-elpidio" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/sanchis.luis-elpidio" title="Author Profile"> Sanchis, Luis Elpidio </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Asayward.charles-w" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/sayward.charles-w" title="Author Profile"> Sayward, Charles W. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Aseldin.jonathan-p" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/seldin.jonathan-p" title="Author Profile"> Seldin, Jonathan P. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Ashore.richard-a" title="Publications of this Author">5</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%3A608+ai%3Asingletary.w-e" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/singletary.w-e" title="Author Profile"> Singletary, W. E. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Asolomon.reed" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/solomon.reed" title="Author Profile"> Solomon, Reed </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Atoffalori.carlo" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/toffalori.carlo" title="Author Profile"> Toffalori, Carlo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Aulrich.dolph" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/ulrich.dolph" title="Author Profile"> Ulrich, Dolph </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A608+ai%3Avaananen.jouko-antero" title="Publications of this Author">5</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%3A608+ai%3Azambella.domenico" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/zambella.domenico" title="Author Profile"> Zambella, Domenico </a> </td></tr> <tr class="more"> <td colspan="2">...and 1,607 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%3A608+cc%3A03" title="Publications in this Field">2,283</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%3A608+cc%3A01" title="Publications in this Field">85</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> <td class="number"> <a href="/?q=se%3A608+cc%3A68" title="Publications in this Field">82</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%3A608+cc%3A06" title="Publications in this Field">76</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%3A608+cc%3A00" title="Publications in this Field">58</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%3A608+cc%3A05" title="Publications in this Field">40</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%3A608+cc%3A20" title="Publications in this Field">34</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%3A608+cc%3A54" title="Publications in this Field">33</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%3A608+cc%3A18" title="Publications in this Field">23</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%3A608+cc%3A12" title="Publications in this Field">20</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=se%3A608+cc%3A08" title="Publications in this Field">19</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%3A608+cc%3A11" title="Publications in this Field">19</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%3A608+cc%3A51" title="Publications in this Field">19</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%3A608+cc%3A60" title="Publications in this Field">18</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%3A608+cc%3A91" title="Publications in this Field">14</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%3A608+cc%3A26" title="Publications in this Field">13</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%3A608+cc%3A94" title="Publications in this Field">9</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%3A608+cc%3A15" title="Publications in this Field">7</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%3A608+cc%3A13" title="Publications in this Field">6</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%3A608+cc%3A14" title="Publications in this Field">5</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%3A608+cc%3A16" title="Publications in this Field">5</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%3A608+cc%3A22" title="Publications in this Field">5</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%3A608+cc%3A46" title="Publications in this Field">5</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%3A608+cc%3A81" title="Publications in this Field">5</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%3A608+cc%3A28" title="Publications in this Field">4</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%3A608+cc%3A37" title="Publications in this Field">3</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%3A608+cc%3A53" title="Publications in this Field">3</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=se%3A608+cc%3A62" title="Publications in this Field">3</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%3A608+cc%3A32" title="Publications in this Field">2</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%3A608+cc%3A90" title="Publications in this Field">2</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=se%3A608+cc%3A17" title="Publications in this Field">1</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%3A608+cc%3A30" title="Publications in this Field">1</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%3A608+cc%3A34" title="Publications in this Field">1</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%3A608+cc%3A47" title="Publications in this Field">1</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%3A608+cc%3A52" title="Publications in this Field">1</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%3A608+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%3A608+cc%3A65" title="Publications in this Field">1</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=se%3A608+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> </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:1960, frequency:13 },{ year:1961, frequency:14 },{ year:1962, frequency:27 },{ year:1963, frequency:31 },{ year:1964, frequency:32 },{ year:1965, frequency:26 },{ year:1966, frequency:32 },{ year:1967, frequency:43 },{ year:1968, frequency:37 },{ year:1969, frequency:47 },{ year:1970, frequency:50 },{ year:1971, frequency:58 },{ year:1972, frequency:88 },{ year:1973, frequency:95 },{ year:1974, frequency:88 },{ year:1975, frequency:85 },{ year:1976, frequency:87 },{ year:1977, frequency:79 },{ year:1978, frequency:84 },{ year:1979, frequency:102 },{ year:1980, frequency:63 },{ year:1981, frequency:37 },{ year:1982, frequency:28 },{ year:1983, frequency:47 },{ year:1984, frequency:34 },{ year:1985, frequency:30 },{ year:1986, frequency:33 },{ year:1987, frequency:35 },{ year:1988, frequency:42 },{ year:1989, frequency:39 },{ year:1990, frequency:43 },{ year:1991, frequency:38 },{ year:1992, frequency:50 },{ year:1993, frequency:40 },{ year:1994, frequency:39 },{ year:1995, frequency:39 },{ year:1996, frequency:33 },{ year:1997, frequency:35 },{ year:1998, frequency:37 },{ year:1999, frequency:36 },{ year:2000, frequency:20 },{ year:2001, frequency:17 },{ year:2002, frequency:17 },{ year:2003, frequency:15 },{ year:2004, frequency:13 },{ year:2005, frequency:33 },{ year:2006, frequency:35 },{ year:2007, frequency:31 },{ year:2008, frequency:28 },{ year:2009, frequency:26 },{ year:2010, frequency:31 },{ year:2011, frequency:27 },{ year:2012, frequency:36 },{ year:2013, frequency:33 },{ year:2014, frequency:32 },{ year:2015, frequency:30 },{ year:2016, frequency:35 },{ year:2017, frequency:32 },{ year:2018, frequency:35 },{ year:2019, frequency:33 },{ year:2020, frequency:34 },{ year:2021, frequency:33 },{ year:2022, frequency:29 },{ year:2023, frequency:28 },{ year:2024, frequency:21 }]; 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%3A608+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>1,406 Publications have been cited 8,016 times in <a href="/?q=rj%3A608">5,679 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="/0236.02022">On the theory of inconsistent formal systems.</a> <a class="label nowrap" href="/0236.02022">Zbl 0236.02022</a> <br><a href="/authors/da-costa.newton-carneiro-affonso" title="Author Profile">da Costa, Newton C. A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3373731">141</a> </div> </td> <td> <div class="citation_year">1974</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/0668.03027">Multiset theory.</a> <a class="label nowrap" href="/0668.03027">Zbl 0668.03027</a> <br><a href="/authors/blizard.wayne-d" title="Author Profile">Blizard, Wayne D.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4093446">110</a> </div> </td> <td> <div class="citation_year">1989</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/0423.03010">An extension of basic functionality theory for $\lambda$-calculus.</a> <a class="label nowrap" href="/0423.03010">Zbl 0423.03010</a> <br><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%3A3657761">88</a> </div> </td> <td> <div class="citation_year">1980</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/0145.00508">A calculus of antinomics.</a> <a class="label nowrap" href="/0145.00508">Zbl 0145.00508</a> <br><a href="/authors/asenjo.florencio-g" title="Author Profile">Asenjo, Florencio G.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3233616">75</a> </div> </td> <td> <div class="citation_year">1966</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/0695.03009">A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic.</a> <a class="label nowrap" href="/0695.03009">Zbl 0695.03009</a> <br><a href="/authors/meyer.john-jules-charles" title="Author Profile">Meyer, J.-J. Ch.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4137748">72</a> </div> </td> <td> <div class="citation_year">1988</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0843.03034">On the strength of Ramsey’s theorem.</a> <a class="label nowrap" href="/0843.03034">Zbl 0843.03034</a> <br><a href="/authors/seetapun.david" title="Author Profile">Seetapun, David</a>; <a href="/authors/slaman.theodore-a" title="Author Profile">Slaman, Theodore A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A881258">67</a> </div> </td> <td> <div class="citation_year">1995</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0725.03006">Expressiveness and completeness of an interval tense logic.</a> <a class="label nowrap" href="/0725.03006">Zbl 0725.03006</a> <br><a href="/authors/venema.yde" title="Author Profile">Venema, Yde</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4195905">49</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0579.03039">Some exact equiconsistency results in set theory.</a> <a class="label nowrap" href="/0579.03039">Zbl 0579.03039</a> <br><a href="/authors/harrington.leo-a" title="Author Profile">Harrington, Leo</a>; <a href="/authors/shelah.saharon" title="Author Profile">Shelah, Saharon</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3926907">48</a> </div> </td> <td> <div class="citation_year">1985</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1311.03070">Degrees of categoricity and the hyperarithmetic hierarchy.</a> <a class="label nowrap" href="/1311.03070">Zbl 1311.03070</a> <br><a href="/authors/csima.barbara-f" title="Author Profile">Csima, Barbara F.</a>; <a href="/authors/franklin.johanna-n-y" title="Author Profile">Franklin, Johanna N. Y.</a>; <a href="/authors/shore.richard-a" title="Author Profile">Shore, Richard A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6157722">45</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0916.03013">Impossible worlds: A modest approach.</a> <a class="label nowrap" href="/0916.03013">Zbl 0916.03013</a> <br><a href="/authors/nolan.daniel" title="Author Profile">Nolan, Daniel</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1246392">44</a> </div> </td> <td> <div class="citation_year">1997</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0891.03013">Computable models of theories with few models.</a> <a class="label nowrap" href="/0891.03013">Zbl 0891.03013</a> <br><a href="/authors/khoussainov.bakhadyr-m" title="Author Profile">Khoussainov, Bakhadyr</a>; <a href="/authors/nies.andre-otfrid" title="Author Profile">Nies, Andre</a>; <a href="/authors/shore.richard-a" title="Author Profile">Shore, Richard A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1129579">43</a> </div> </td> <td> <div class="citation_year">1997</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0205.30306">In so many possible worlds.</a> <a class="label nowrap" href="/0205.30306">Zbl 0205.30306</a> <br><a href="/authors/fine.kit" title="Author Profile">Fine, Kit</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3326450">43</a> </div> </td> <td> <div class="citation_year">1972</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0438.03032">A calculus of individuals based on ’connection’.</a> <a class="label nowrap" href="/0438.03032">Zbl 0438.03032</a> <br><a href="/authors/clarke.bowman-l" title="Author Profile">Clarke, Bowman L.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3683556">43</a> </div> </td> <td> <div class="citation_year">1981</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0349.02022">A semantical analysis of the calculi $C_n$.</a> <a class="label nowrap" href="/0349.02022">Zbl 0349.02022</a> <br><a href="/authors/da-costa.newton-carneiro-affonso" title="Author Profile">Da Costa, Newton C. A.</a>; <a href="/authors/alves.elias-humberto" title="Author Profile">Alves, Elias H.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3544014">41</a> </div> </td> <td> <div class="citation_year">1977</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0416.03020">Quick completeness proofs for some logics of conditionals.</a> <a class="label nowrap" href="/0416.03020">Zbl 0416.03020</a> <br><a href="/authors/burgess.john-p" title="Author Profile">Burgess, John P.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3646852">36</a> </div> </td> <td> <div class="citation_year">1981</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0972.03015">Irrevocable belief revision in dynamic doxastic logic.</a> <a class="label nowrap" href="/0972.03015">Zbl 0972.03015</a> <br><a href="/authors/segerberg.krister" title="Author Profile">Segerberg, Krister</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1620816">36</a> </div> </td> <td> <div class="citation_year">1998</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1223.03052">How incomputable is the separable Hahn-Banach theorem?</a> <a class="label nowrap" href="/1223.03052">Zbl 1223.03052</a> <br><a href="/authors/gherardi.guido" title="Author Profile">Gherardi, Guido</a>; <a href="/authors/marcone.alberto" title="Author Profile">Marcone, Alberto</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5778808">35</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0833.03004">The logic of non-contingency.</a> <a class="label nowrap" href="/0833.03004">Zbl 0833.03004</a> <br><a href="/authors/humberstone.i-l" title="Author Profile">Humberstone, I. L.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A824599">35</a> </div> </td> <td> <div class="citation_year">1995</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0305.02040">Classifications for inconsistent theories.</a> <a class="label nowrap" href="/0305.02040">Zbl 0305.02040</a> <br><a href="/authors/grant.john-r" title="Author Profile">Grant, John</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3477137">34</a> </div> </td> <td> <div class="citation_year">1978</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0184.28102">Tableau methods of proof for modal logics.</a> <a class="label nowrap" href="/0184.28102">Zbl 0184.28102</a> <br><a href="/authors/fitting.melvin-c" title="Author Profile">Fitting, Melvin</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3293662">33</a> </div> </td> <td> <div class="citation_year">1972</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1088.03031">Expressive logics for coalgebras via terminal sequence induction.</a> <a class="label nowrap" href="/1088.03031">Zbl 1088.03031</a> <br><a href="/authors/pattinson.dirk" title="Author Profile">Pattinson, Dirk</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2186734">33</a> </div> </td> <td> <div class="citation_year">2004</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0112.00409">A paradox regained.</a> <a class="label nowrap" href="/0112.00409">Zbl 0112.00409</a> <br><a href="/authors/?q=ai%3Akaplan.david-elazzar%7Ckaplan.david-m%7Ckaplan.david-b" title="Author Profile">Kaplan, David</a>; <a href="/authors/montague.richard" title="Author Profile">Montague, R.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3181174">33</a> </div> </td> <td> <div class="citation_year">1960</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0596.03033">Second-order quantifiers and the complexity of theories.</a> <a class="label nowrap" href="/0596.03033">Zbl 0596.03033</a> <br><a href="/authors/baldwin.john-t" title="Author Profile">Baldwin, J. T.</a>; <a href="/authors/shelah.saharon" title="Author Profile">Shelah, S.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3959395">32</a> </div> </td> <td> <div class="citation_year">1985</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1258.03036">Dp-minimality: basic facts and examples.</a> <a class="label nowrap" href="/1258.03036">Zbl 1258.03036</a> <br><a href="/authors/dolich.alfred" title="Author Profile">Dolich, Alfred</a>; <a href="/authors/goodrick.john" title="Author Profile">Goodrick, John</a>; <a href="/authors/lippel.david" title="Author Profile">Lippel, David</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5970094">32</a> </div> </td> <td> <div class="citation_year">2011</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1102.03032">Intermediate logics and Visser’s rules.</a> <a class="label nowrap" href="/1102.03032">Zbl 1102.03032</a> <br><a href="/authors/iemhoff.rosalie" title="Author Profile">Iemhoff, Rosalie</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2186751">32</a> </div> </td> <td> <div class="citation_year">2005</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0622.03040">Near coherence of filters. I: Cofinal equivalence of models of arithmetic.</a> <a class="label nowrap" href="/0622.03040">Zbl 0622.03040</a> <br><a href="/authors/blass.andreas-raphael" title="Author Profile">Blass, Andreas</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4008393">31</a> </div> </td> <td> <div class="citation_year">1986</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0597.03005">Individuals and points.</a> <a class="label nowrap" href="/0597.03005">Zbl 0597.03005</a> <br><a href="/authors/clarke.bowman-l" title="Author Profile">Clarke, Bowman L.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3961573">31</a> </div> </td> <td> <div class="citation_year">1985</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0833.03005">Minimal non-contingency logic.</a> <a class="label nowrap" href="/0833.03005">Zbl 0833.03005</a> <br><a href="/authors/kuhn.steven-t" title="Author Profile">Kuhn, Steven T.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A824600">31</a> </div> </td> <td> <div class="citation_year">1995</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0245.02025">Normal forms in modal logic.</a> <a class="label nowrap" href="/0245.02025">Zbl 0245.02025</a> <br><a href="/authors/fine.kit" title="Author Profile">Fine, Kit</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3387314">31</a> </div> </td> <td> <div class="citation_year">1975</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0613.03003">On an implication connective of RM.</a> <a class="label nowrap" href="/0613.03003">Zbl 0613.03003</a> <br><a href="/authors/avron.arnon" title="Author Profile">Avron, Arnon</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3991473">31</a> </div> </td> <td> <div class="citation_year">1986</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1034.03007">A closer look at some subintuitionistic logics.</a> <a class="label nowrap" href="/1034.03007">Zbl 1034.03007</a> <br><a href="/authors/celani.sergio-arturo" title="Author Profile">Celani, Sergio</a>; <a href="/authors/jansana.ramon" title="Author Profile">Jansana, Ramon</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2038294">30</a> </div> </td> <td> <div class="citation_year">2001</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0869.03008">Dual-intuitionistic logic.</a> <a class="label nowrap" href="/0869.03008">Zbl 0869.03008</a> <br><a href="/authors/urbas.igor" title="Author Profile">Urbas, Igor</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1011144">30</a> </div> </td> <td> <div class="citation_year">1996</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0547.03018">Probability logic.</a> <a class="label nowrap" href="/0547.03018">Zbl 0547.03018</a> <br><a href="/authors/hailperin.theodore" title="Author Profile">Hailperin, Theodore</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3871328">30</a> </div> </td> <td> <div class="citation_year">1984</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0692.03003">Logical constants as punctuation marks.</a> <a class="label nowrap" href="/0692.03003">Zbl 0692.03003</a> <br><a href="/authors/dosen.kosta" title="Author Profile">Do拧en, Kosta</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4132119">30</a> </div> </td> <td> <div class="citation_year">1989</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1121.03053">Notes on singular cardinal combinatorics.</a> <a class="label nowrap" href="/1121.03053">Zbl 1121.03053</a> <br><a href="/authors/cummings.james" title="Author Profile">Cummings, James</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5011391">30</a> </div> </td> <td> <div class="citation_year">2005</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1352.03054">Forcing with sequences of models of two types.</a> <a class="label nowrap" href="/1352.03054">Zbl 1352.03054</a> <br><a href="/authors/neeman.itay" title="Author Profile">Neeman, Itay</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6300875">30</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1256.03034">Some puzzles of ground.</a> <a class="label nowrap" href="/1256.03034">Zbl 1256.03034</a> <br><a href="/authors/fine.kit" title="Author Profile">Fine, Kit</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5720472">29</a> </div> </td> <td> <div class="citation_year">2010</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0193.29301">Some embedding theorems for modal logic.</a> <a class="label nowrap" href="/0193.29301">Zbl 0193.29301</a> <br><a href="/authors/makinson.david" title="Author Profile">Makinson, D.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3307496">28</a> </div> </td> <td> <div class="citation_year">1971</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0811.03005">Subintuitionistic logics.</a> <a class="label nowrap" href="/0811.03005">Zbl 0811.03005</a> <br><a href="/authors/restall.greg" title="Author Profile">Restall, Greg</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A638611">28</a> </div> </td> <td> <div class="citation_year">1994</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0828.03030">A system of complete and consistent truth.</a> <a class="label nowrap" href="/0828.03030">Zbl 0828.03030</a> <br><a href="/authors/halbach.volker" title="Author Profile">Halbach, Volker</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A769226">28</a> </div> </td> <td> <div class="citation_year">1994</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1161.03012">The logic of conditional negation.</a> <a class="label nowrap" href="/1161.03012">Zbl 1161.03012</a> <br><a href="/authors/cantwell.john-c" title="Author Profile">Cantwell, John</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5353772">27</a> </div> </td> <td> <div class="citation_year">2008</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0774.03032">On a quasi-set theory.</a> <a class="label nowrap" href="/0774.03032">Zbl 0774.03032</a> <br><a href="/authors/krause.decio" title="Author Profile">Krause, D茅cio</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A120374">27</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0702.03030">Near coherence of filters. III: A simplified consistency proof.</a> <a class="label nowrap" href="/0702.03030">Zbl 0702.03030</a> <br><a href="/authors/blass.andreas-raphael" title="Author Profile">Blass, Andreas</a>; <a href="/authors/shelah.saharon" title="Author Profile">Shelah, Saharon</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4150143">27</a> </div> </td> <td> <div class="citation_year">1989</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1137.03019">On interpretations of arithmetic and set theory.</a> <a class="label nowrap" href="/1137.03019">Zbl 1137.03019</a> <br><a href="/authors/kaye.richard-w" title="Author Profile">Kaye, Richard</a>; <a href="/authors/wong.tin-lok" title="Author Profile">Wong, Tin Lok</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5268943">27</a> </div> </td> <td> <div class="citation_year">2007</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0989.03019">Completeness and definability in the logic of noncontingency.</a> <a class="label nowrap" href="/0989.03019">Zbl 0989.03019</a> <br><a href="/authors/zolin.evgenii-e" title="Author Profile">Zolin, Evgeni E.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1735695">26</a> </div> </td> <td> <div class="citation_year">1999</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0621.03006">Analytic implication.</a> <a class="label nowrap" href="/0621.03006">Zbl 0621.03006</a> <br><a href="/authors/fine.kit" title="Author Profile">Fine, Kit</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4006232">26</a> </div> </td> <td> <div class="citation_year">1986</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0246.02023">Logic of antinomies.</a> <a class="label nowrap" href="/0246.02023">Zbl 0246.02023</a> <br><a href="/authors/asenjo.florencio-g" title="Author Profile">Asenjo, F. G.</a>; <a href="/authors/tamburino.j" title="Author Profile">Tamburino, J.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3389009">26</a> </div> </td> <td> <div class="citation_year">1975</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1180.03017">A note on logics of ignorance and borders.</a> <a class="label nowrap" href="/1180.03017">Zbl 1180.03017</a> <br><a href="/authors/steinsvold.christopher" title="Author Profile">Steinsvold, Christopher</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5657674">25</a> </div> </td> <td> <div class="citation_year">2008</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0967.03005">Basic predicate calculus.</a> <a class="label nowrap" href="/0967.03005">Zbl 0967.03005</a> <br><a href="/authors/ruitenburg.wim" title="Author Profile">Ruitenburg, Wim</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1620800">25</a> </div> </td> <td> <div class="citation_year">1998</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0146.00801">Notes on the axiomatics of the propositional calculus.</a> <a class="label nowrap" href="/0146.00801">Zbl 0146.00801</a> <br><a href="/authors/meredith.carew-arthur" title="Author Profile">Meredith, C. A.</a>; <a href="/authors/prior.arthur-n" title="Author Profile">Prior, A. N.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3235224">25</a> </div> </td> <td> <div class="citation_year">1963</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1190.03052">Growing commas. A study of sequentiality and concatenation.</a> <a class="label nowrap" href="/1190.03052">Zbl 1190.03052</a> <br><a href="/authors/visser.albert" title="Author Profile">Visser, Albert</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5635376">24</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0768.03010">On generic structures.</a> <a class="label nowrap" href="/0768.03010">Zbl 0768.03010</a> <br><a href="/authors/kueker.david-w" title="Author Profile">Kueker, D. W.</a>; <a href="/authors/laskowski.michael-chris" title="Author Profile">Laskowski, M. C.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A120381">24</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1007.03028">Limits for paraconsistent calculi.</a> <a class="label nowrap" href="/1007.03028">Zbl 1007.03028</a> <br><a href="/authors/carnielli.walter-alexandre" title="Author Profile">Carnielli, Walter A.</a>; <a href="/authors/marcos.joao" title="Author Profile">Marcos, Jo茫o</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1819625">24</a> </div> </td> <td> <div class="citation_year">1999</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0262.02030">Implication connectives in orthomodular lattices.</a> <a class="label nowrap" href="/0262.02030">Zbl 0262.02030</a> <br><a href="/authors/herman.louis" title="Author Profile">Herman, L.</a>; <a href="/authors/?q=ai%3Amarsden.e-l-jun%7Cmarsden.eric" title="Author Profile">Marsden, E.</a>; <a href="/authors/piziak.robert" title="Author Profile">Piziak, R.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3412608">24</a> </div> </td> <td> <div class="citation_year">1975</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0972.03005">Logic, logics, and logicism.</a> <a class="label nowrap" href="/0972.03005">Zbl 0972.03005</a> <br><a href="/authors/feferman.solomon" title="Author Profile">Feferman, Solomon</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1620839">24</a> </div> </td> <td> <div class="citation_year">1999</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0438.03060">Material implications in orthomodular (and Boolean) lattices.</a> <a class="label nowrap" href="/0438.03060">Zbl 0438.03060</a> <br><a href="/authors/hardegree.gary-m" title="Author Profile">Hardegree, Gary M.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3683584">22</a> </div> </td> <td> <div class="citation_year">1981</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0272.02028">Completeness of relevant quantification theories.</a> <a class="label nowrap" href="/0272.02028">Zbl 0272.02028</a> <br><a href="/authors/meyer.robert-k" title="Author Profile">Meyer, Robert K.</a>; <a href="/authors/dunn.jon-michael" title="Author Profile">Dunn, J. Michael</a>; <a href="/authors/leblanc.hugues" title="Author Profile">Leblanc, Hugues</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3427298">22</a> </div> </td> <td> <div class="citation_year">1974</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1436.03185">Vapnik-Chervonenkis density in some theories without the independence property. II.</a> <a class="label nowrap" href="/1436.03185">Zbl 1436.03185</a> <br><a href="/authors/aschenbrenner.matthias" title="Author Profile">Aschenbrenner, Matthias</a>; <a href="/authors/dolich.alf" title="Author Profile">Dolich, Alf</a>; <a href="/authors/haskell.deirdre" title="Author Profile">Haskell, Deirdre</a>; <a href="/authors/macpherson.dugald" title="Author Profile">Macpherson, Dugald</a>; <a href="/authors/starchenko.sergei" title="Author Profile">Starchenko, Sergei</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6214284">22</a> </div> </td> <td> <div class="citation_year">2013</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0706.03016">Modal definability in enriched languages.</a> <a class="label nowrap" href="/0706.03016">Zbl 0706.03016</a> <br><a href="/authors/goranko.valentin-f" title="Author Profile">Goranko, Valentin</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4158598">22</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0198.32001">Ontology in the Tractatus of L. Wittgenstein.</a> <a class="label nowrap" href="/0198.32001">Zbl 0198.32001</a> <br><a href="/authors/suszko.roman" title="Author Profile">Suszko, Roman</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3316023">22</a> </div> </td> <td> <div class="citation_year">1968</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0188.01203">Investigations into the sentential calculus with identity.</a> <a class="label nowrap" href="/0188.01203">Zbl 0188.01203</a> <br><a href="/authors/bloom.stephen-l" title="Author Profile">Bloom, Stephen L.</a>; <a href="/authors/suszko.roman" title="Author Profile">Suszko, Roman</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3299690">22</a> </div> </td> <td> <div class="citation_year">1972</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0212.01601">Equational classes of relative Stone algebras.</a> <a class="label nowrap" href="/0212.01601">Zbl 0212.01601</a> <br><a href="/authors/hecht.thomas" title="Author Profile">Hecht, T.</a>; <a href="/authors/katrinak.tibor" title="Author Profile">Katri艌ak, T.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3335886">22</a> </div> </td> <td> <div class="citation_year">1972</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0968.03009">Is Hume’s principle analytic?</a> <a class="label nowrap" href="/0968.03009">Zbl 0968.03009</a> <br><a href="/authors/wright.crispin" title="Author Profile">Wright, Crispin</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1620838">22</a> </div> </td> <td> <div class="citation_year">1999</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0112.00408">On a family of paradoxes.</a> <a class="label nowrap" href="/0112.00408">Zbl 0112.00408</a> <br><a href="/authors/prior.arthur-n" title="Author Profile">Prior, A. N.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3181173">22</a> </div> </td> <td> <div class="citation_year">1961</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1213.03053">The $K$-degrees, low for $K$ degrees, and weakly low for $K$ sets.</a> <a class="label nowrap" href="/1213.03053">Zbl 1213.03053</a> <br><a href="/authors/miller.joseph-s" title="Author Profile">Miller, Joseph S.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5778807">21</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0762.04001">A certain conception of the calculus of rough sets.</a> <a class="label nowrap" href="/0762.04001">Zbl 0762.04001</a> <br><a href="/authors/bonikowski.zbigniew" title="Author Profile">Bonikowski, Zbigniew</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A120375">21</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0617.03025">Incompactness in regular cardinals.</a> <a class="label nowrap" href="/0617.03025">Zbl 0617.03025</a> <br><a href="/authors/shelah.saharon" title="Author Profile">Shelah, Saharon</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3999906">21</a> </div> </td> <td> <div class="citation_year">1985</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0637.03005">On the consistency of the first-order portion of Frege’s logical system.</a> <a class="label nowrap" href="/0637.03005">Zbl 0637.03005</a> <br><a href="/authors/parsons.terence" title="Author Profile">Parsons, Terence</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4037807">21</a> </div> </td> <td> <div class="citation_year">1987</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1137.03024">The halting problem is decidable on a set of asymptotic probability one.</a> <a class="label nowrap" href="/1137.03024">Zbl 1137.03024</a> <br><a href="/authors/hamkins.joel-david" title="Author Profile">Hamkins, Joel David</a>; <a href="/authors/myasnikov.alexei-g" title="Author Profile">Miasnikov, Alexei</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5176391">20</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0789.03018">Nominal tense logic.</a> <a class="label nowrap" href="/0789.03018">Zbl 0789.03018</a> <br><a href="/authors/blackburn.patrick" title="Author Profile">Blackburn, Patrick</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A440187">20</a> </div> </td> <td> <div class="citation_year">1993</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0889.03014">A new semantics for positive modal logic.</a> <a class="label nowrap" href="/0889.03014">Zbl 0889.03014</a> <br><a href="/authors/celani.sergio-arturo" title="Author Profile">Celani, S.</a>; <a href="/authors/jansana.ramon" title="Author Profile">Jansana, R.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1109535">20</a> </div> </td> <td> <div class="citation_year">1997</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0865.03032">The price of universality.</a> <a class="label nowrap" href="/0865.03032">Zbl 0865.03032</a> <br><a href="/authors/hemaspaandra.edith" title="Author Profile">Hemaspaandra, Edith</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A944257">20</a> </div> </td> <td> <div class="citation_year">1996</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0573.03004">The decision problem for linear temporal logic.</a> <a class="label nowrap" href="/0573.03004">Zbl 0573.03004</a> <br><a href="/authors/burgess.john-p" title="Author Profile">Burgess, John P.</a>; <a href="/authors/gurevich.yuri" title="Author Profile">Gurevich, Yuri</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3914294">20</a> </div> </td> <td> <div class="citation_year">1985</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1436.03229">Degrees that are not degrees of categoricity.</a> <a class="label nowrap" href="/1436.03229">Zbl 1436.03229</a> <br><a href="/authors/anderson.bernard-a" title="Author Profile">Anderson, Bernard</a>; <a href="/authors/csima.barbara-f" title="Author Profile">Csima, Barbara</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6621297">20</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1359.03030">Categoricity spectra for rigid structures.</a> <a class="label nowrap" href="/1359.03030">Zbl 1359.03030</a> <br><a href="/authors/fokina.ekaterina-b" title="Author Profile">Fokina, Ekaterina</a>; <a href="/authors/frolov.andrei-nikolaevich" title="Author Profile">Frolov, Andrey</a>; <a href="/authors/kalimullin.iskander-sh" title="Author Profile">Kalimullin, Iskander</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6550119">20</a> </div> </td> <td> <div class="citation_year">2016</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0487.03007">Inaccessible worlds.</a> <a class="label nowrap" href="/0487.03007">Zbl 0487.03007</a> <br><a href="/authors/humberstone.i-l" title="Author Profile">Humberstone, I. L.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3765753">19</a> </div> </td> <td> <div class="citation_year">1983</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0549.03013">The predicate modal logic of provability.</a> <a class="label nowrap" href="/0549.03013">Zbl 0549.03013</a> <br><a href="/authors/montagna.franco" title="Author Profile">Montagna, Franco</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3875233">19</a> </div> </td> <td> <div class="citation_year">1984</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0692.03014">Some results on intermediate constructive logics.</a> <a class="label nowrap" href="/0692.03014">Zbl 0692.03014</a> <br><a href="/authors/miglioli.pierangelo" title="Author Profile">Miglioli, Pierangelo</a>; <a href="/authors/moscato.ugo" title="Author Profile">Moscato, Ugo</a>; <a href="/authors/ornaghi.mario" title="Author Profile">Ornaghi, Mario</a>; <a href="/authors/quazza.silvia" title="Author Profile">Quazza, Silvia</a>; <a href="/authors/usberti.gabriele" title="Author Profile">Usberti, Gabriele</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4132130">19</a> </div> </td> <td> <div class="citation_year">1989</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0877.51006">Connection structures: Grzegorczyk’s and Whitehead’s definitions of point.</a> <a class="label nowrap" href="/0877.51006">Zbl 0877.51006</a> <br><a href="/authors/biacino.loredana" title="Author Profile">Biacino, Loredana</a>; <a href="/authors/gerla.giangiacomo" title="Author Profile">Gerla, Giangiacomo</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1011143">18</a> </div> </td> <td> <div class="citation_year">1996</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0589.03015">An exposition of Shelah’s ’main gap’: counting uncountable models of $\omega$-stable and superstable theories.</a> <a class="label nowrap" href="/0589.03015">Zbl 0589.03015</a> <br><a href="/authors/harrington.leo-a" title="Author Profile">Harrington, L.</a>; <a href="/authors/makkai.michael" title="Author Profile">Makkai, M.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3946101">18</a> </div> </td> <td> <div class="citation_year">1985</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1113.03028">Upward stability transfer for tame abstract elementary classes.</a> <a class="label nowrap" href="/1113.03028">Zbl 1113.03028</a> <br><a href="/authors/baldwin.john-t" title="Author Profile">Baldwin, John</a>; <a href="/authors/kueker.david-w" title="Author Profile">Kueker, David</a>; <a href="/authors/van-dieren.monica" title="Author Profile">VanDieren, Monica</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5127274">18</a> </div> </td> <td> <div class="citation_year">2006</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1069.60002">From classical to intuitionistic probability.</a> <a class="label nowrap" href="/1069.60002">Zbl 1069.60002</a> <br><a href="/authors/weatherson.brian" title="Author Profile">Weatherson, Brian</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2187142">18</a> </div> </td> <td> <div class="citation_year">2003</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1327.03006">Nested sequents for intuitionistic logics.</a> <a class="label nowrap" href="/1327.03006">Zbl 1327.03006</a> <br><a href="/authors/fitting.melvin-c" title="Author Profile">Fitting, Melvin</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6279840">18</a> </div> </td> <td> <div class="citation_year">2014</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0749.06004">Connection structures.</a> <a class="label nowrap" href="/0749.06004">Zbl 0749.06004</a> <br><a href="/authors/biacino.loredana" title="Author Profile">Biacino, Loredana</a>; <a href="/authors/gerla.giangiacomo" title="Author Profile">Gerla, Giangiacomo</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A33581">17</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1190.03027">Structural completeness in fuzzy logics.</a> <a class="label nowrap" href="/1190.03027">Zbl 1190.03027</a> <br><a href="/authors/cintula.petr" title="Author Profile">Cintula, Petr</a>; <a href="/authors/metcalfe.george" title="Author Profile">Metcalfe, George</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5635608">17</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0916.03014">Who’s afraid of impossible worlds?</a> <a class="label nowrap" href="/0916.03014">Zbl 0916.03014</a> <br><a href="/authors/mares.edwin-d" title="Author Profile">Mares, Edwin D.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1246390">17</a> </div> </td> <td> <div class="citation_year">1997</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0588.03003">Notes on the mathematical aspects of Kripke’s theory of truth.</a> <a class="label nowrap" href="/0588.03003">Zbl 0588.03003</a> <br><a href="/authors/fitting.melvin-c" title="Author Profile">Fitting, Melvin</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3943774">17</a> </div> </td> <td> <div class="citation_year">1986</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0197.28201">Unsolvable problems for equational theories.</a> <a class="label nowrap" href="/0197.28201">Zbl 0197.28201</a> <br><a href="/authors/perkins.peter" title="Author Profile">Perkins, Peter</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3314338">17</a> </div> </td> <td> <div class="citation_year">1967</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0452.68055">Acceptable notation.</a> <a class="label nowrap" href="/0452.68055">Zbl 0452.68055</a> <br><a href="/authors/shapiro.stewart" title="Author Profile">Shapiro, Stewart</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3707775">16</a> </div> </td> <td> <div class="citation_year">1982</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0768.03033">A note on naive set theory in LP.</a> <a class="label nowrap" href="/0768.03033">Zbl 0768.03033</a> <br><a href="/authors/restall.greg" title="Author Profile">Restall, Greg</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A120376">16</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1014.03012">Neo-Fregean foundations for real analysis: Some reflections on Frege’s constraint.</a> <a class="label nowrap" href="/1014.03012">Zbl 1014.03012</a> <br><a href="/authors/wright.crispin" title="Author Profile">Wright, Crispin</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1877075">16</a> </div> </td> <td> <div class="citation_year">2000</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0299.02012">On the logic of ”few”, ”many”, and ”most”.</a> <a class="label nowrap" href="/0299.02012">Zbl 0299.02012</a> <br><a href="/authors/peterson.philip-l" title="Author Profile">Peterson, Philip L.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3468774">16</a> </div> </td> <td> <div class="citation_year">1979</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0855.03004">Tarski on logical consequences.</a> <a class="label nowrap" href="/0855.03004">Zbl 0855.03004</a> <br><a href="/authors/gomez-torrente.mario" title="Author Profile">G贸mez-Torrente, Mario</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A935231">16</a> </div> </td> <td> <div class="citation_year">1996</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0972.03018">Which modal logic is the right one?</a> <a class="label nowrap" href="/0972.03018">Zbl 0972.03018</a> <br><a href="/authors/burgess.john-p" title="Author Profile">Burgess, John P.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1620841">16</a> </div> </td> <td> <div class="citation_year">1999</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0137.24905">A modal extension of intuitionist logic.</a> <a class="label nowrap" href="/0137.24905">Zbl 0137.24905</a> <br><a href="/authors/bull.robert-a" title="Author Profile">Bull, R. A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3222923">16</a> </div> </td> <td> <div class="citation_year">1965</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0452.03021">Axioms for tense logic. I: ’Since’ and ’until’.</a> <a class="label nowrap" href="/0452.03021">Zbl 0452.03021</a> <br><a href="/authors/burgess.john-p" title="Author Profile">Burgess, John P.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3706421">15</a> </div> </td> <td> <div class="citation_year">1982</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1190.03051">On interpretability in the theory of concatenation.</a> <a class="label nowrap" href="/1190.03051">Zbl 1190.03051</a> <br><a href="/authors/svejdar.vitezslav" title="Author Profile">艩vejdar, V铆t臎zslav</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A5635377">15</a> </div> </td> <td> <div class="citation_year">2009</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0747.03015">On type definable subgroups of a stable group.</a> <a class="label nowrap" href="/0747.03015">Zbl 0747.03015</a> <br><a href="/authors/newelski.ludomir" title="Author Profile">Newelski, L.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A33576">15</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1047.03007">Balzano’s theory of ground and consequence.</a> <a class="label nowrap" href="/1047.03007">Zbl 1047.03007</a> <br><a href="/authors/tatzel.armin" title="Author Profile">Tatzel, Armin</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2068389">15</a> </div> </td> <td> <div class="citation_year">2002</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/1046.03008">The modal logic of agreement and noncontingency.</a> <a class="label nowrap" href="/1046.03008">Zbl 1046.03008</a> <br><a href="/authors/humberstone.lloyd" title="Author Profile">Humberstone, Lloyd</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A2068395">15</a> </div> </td> <td> <div class="citation_year">2002</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/07898458">Sets completely separated by functions in Bishop set theory.</a> <a class="label nowrap" href="/7898458">Zbl 07898458</a> <br><a href="/authors/petrakis.iosif" title="Author Profile">Petrakis, Iosif</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7898458">1</a> </div> </td> <td> <div class="citation_year">2024</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/07690435">Embeddings between partial combinatory algebras.</a> <a class="label nowrap" href="/7690435">Zbl 07690435</a> <br><a href="/authors/golov.anton" title="Author Profile">Golov, Anton</a>; <a href="/authors/terwijn.sebastiaan-a" title="Author Profile">Terwijn, Sebastiaan A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7690435">3</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/07720266">Games on base matrices.</a> <a class="label nowrap" href="/7720266">Zbl 07720266</a> <br><a href="/authors/fischer.vera" title="Author Profile">Fischer, Vera</a>; <a href="/authors/koelbing.marlene" title="Author Profile">Koelbing, Marlene</a>; <a href="/authors/wohofsky.wolfgang" title="Author Profile">Wohofsky, Wolfgang</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7720266">3</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/07828373">Topologizing interpretable groups in $p$-adically closed fields.</a> <a class="label nowrap" href="/7828373">Zbl 07828373</a> <br><a href="/authors/johnson.will" title="Author Profile">Johnson, Will</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7828373">2</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/07720262">A local version of the Slaman-Wehner theorem and families closed under finite differences.</a> <a class="label nowrap" href="/7720262">Zbl 07720262</a> <br><a href="/authors/faizrahmanov.marat-khaidarovich" title="Author Profile">Faizrahmanov, Marat</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7720262">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1542.03053">Witt vectors and separably closed fields with higher derivations.</a> <a class="label nowrap" href="/1542.03053">Zbl 1542.03053</a> <br><a href="/authors/hoffmann.daniel-max" title="Author Profile">Hoffmann, Daniel Max</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7720260">1</a> </div> </td> <td> <div class="citation_year">2023</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07556131">Decision times of infinite computations.</a> <a class="label nowrap" href="/7556131">Zbl 07556131</a> <br><a href="/authors/carl.merlin" title="Author Profile">Carl, Merlin</a>; <a href="/authors/schlicht.philipp" title="Author Profile">Schlicht, Philipp</a>; <a href="/authors/welch.philip-d" title="Author Profile">Welch, Philip</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7556131">8</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1495.03055">Tame topology over definable uniform structures.</a> <a class="label nowrap" href="/1495.03055">Zbl 1495.03055</a> <br><a href="/authors/dolich.alfred" title="Author Profile">Dolich, Alfred</a>; <a href="/authors/goodrick.john" title="Author Profile">Goodrick, John</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7522855">4</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07598582">Characterizing counterfactuals and dependencies over (generalized) causal teams.</a> <a class="label nowrap" href="/7598582">Zbl 07598582</a> <br><a href="/authors/barbero.fausto" title="Author Profile">Barbero, Fausto</a>; <a href="/authors/yang.fan.28" title="Author Profile">Yang, Fan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7598582">4</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1547.03081">Representations and the foundations of mathematics.</a> <a class="label nowrap" href="/1547.03081">Zbl 1547.03081</a> <br><a href="/authors/sanders.sam" title="Author Profile">Sanders, Sam</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7522852">3</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1542.03086">Full satisfaction classes, definability, and automorphisms.</a> <a class="label nowrap" href="/1542.03086">Zbl 1542.03086</a> <br><a href="/authors/wcislo.bartosz" title="Author Profile">Wcis艂o, Bartosz</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7556128">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07556130">Typicality 脿 la Russell in set theory.</a> <a class="label nowrap" href="/7556130">Zbl 07556130</a> <br><a href="/authors/tzouvaras.athanassios" title="Author Profile">Tzouvaras, Athanassios</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7556130">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1547.03062">Effect of the choice of connectives on the relation between classical logic and intuitionistic logic.</a> <a class="label nowrap" href="/1547.03062">Zbl 1547.03062</a> <br><a href="/authors/kawano.tomoaki" title="Author Profile">Kawano, Tomoaki</a>; <a href="/authors/matsuda.naosuke" title="Author Profile">Matsuda, Naosuke</a>; <a href="/authors/takagi.kento" title="Author Profile">Takagi, Kento</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7556133">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07598583">Poly-connexivity: connexive conjunction and disjunction.</a> <a class="label nowrap" href="/7598583">Zbl 07598583</a> <br><a href="/authors/francez.nissim" title="Author Profile">Francez, Nissim</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7598583">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1515.03154">On stable quotients.</a> <a class="label nowrap" href="/1515.03154">Zbl 1515.03154</a> <br><a href="/authors/krupinski.krzysztof" title="Author Profile">Krupi艅ski, Krzysztof</a>; <a href="/authors/portillo.adrian" title="Author Profile">Portillo, Adri谩n</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7598585">2</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07634482">Did Aristotle endorse Aristotle’s thesis? A case study in Aristotle’s metalogic.</a> <a class="label nowrap" href="/7634482">Zbl 07634482</a> <br><a href="/authors/weiss.yale" title="Author Profile">Weiss, Yale</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7634482">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1547.03061">Monotone subintuitionistic logic: duality and transfer results.</a> <a class="label nowrap" href="/1547.03061">Zbl 1547.03061</a> <br><a href="/authors/de-groot.jim" title="Author Profile">de Groot, Jim</a>; <a href="/authors/pattinson.dirk" title="Author Profile">Pattinson, Dirk</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7556132">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/07522857">Some results on non-club isomorphic Aronszajn trees.</a> <a class="label nowrap" href="/7522857">Zbl 07522857</a> <br><a href="/authors/chavez.jose" title="Author Profile">Chavez, Jose</a>; <a href="/authors/krueger.john" title="Author Profile">Krueger, John</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7522857">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1509.03071">Effectively constructible fixed points in Sacchetti’s modal logics of provability.</a> <a class="label nowrap" href="/1509.03071">Zbl 1509.03071</a> <br><a href="/authors/kurahashi.taishi" title="Author Profile">Kurahashi, Taishi</a>; <a href="/authors/okawa.yuya" title="Author Profile">Okawa, Yuya</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7522854">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1525.03085">Structural completeness in many-valued logics with rational constants.</a> <a class="label nowrap" href="/1525.03085">Zbl 1525.03085</a> <br><a href="/authors/gispert.joan" title="Author Profile">Gispert, Joan</a>; <a href="/authors/hanikova.zuzana" title="Author Profile">Hanikov谩, Zuzana</a>; <a href="/authors/moraschini.tommaso" title="Author Profile">Moraschini, Tommaso</a>; <a href="/authors/stronkowski.michal-marek" title="Author Profile">Stronkowski, Micha艂</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7598581">1</a> </div> </td> <td> <div class="citation_year">2022</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03096">Meaningless divisions.</a> <a class="label nowrap" href="/1529.03096">Zbl 1529.03096</a> <br><a href="/authors/szmuc.damian-enrique" title="Author Profile">Szmuc, Damian</a>; <a href="/authors/ferguson.thomas-macaulay" title="Author Profile">Ferguson, Thomas Macaulay</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7473052">8</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03164">An incompleteness theorem for modal relevant logics.</a> <a class="label nowrap" href="/1529.03164">Zbl 1529.03164</a> <br><a href="/authors/standefer.shawn" title="Author Profile">Standefer, Shawn</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7473065">6</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1490.03013">Sequent calculi for intuitionistic G枚del-L枚b logic.</a> <a class="label nowrap" href="/1490.03013">Zbl 1490.03013</a> <br><a href="/authors/van-der-giessen.iris" title="Author Profile">van der Giessen, Iris</a>; <a href="/authors/iemhoff.rosalie" title="Author Profile">Iemhoff, Rosalie</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7391973">6</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1508.03078">Effectiveness for the dual Ramsey theorem.</a> <a class="label nowrap" href="/1508.03078">Zbl 1508.03078</a> <br><a href="/authors/dzhafarov.damir-d" title="Author Profile">Dzhafarov, Damir</a>; <a href="/authors/flood.stephen-p" title="Author Profile">Flood, Stephen</a>; <a href="/authors/solomon.reed" title="Author Profile">Solomon, Reed</a>; <a href="/authors/westrick.linda-brown" title="Author Profile">Westrick, Linda</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7473054">5</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03159">Structural weakening and paradoxes.</a> <a class="label nowrap" href="/1529.03159">Zbl 1529.03159</a> <br><a href="/authors/da-re.bruno" title="Author Profile">Da R茅, Bruno</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7391981">4</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1486.12009">Nondefinability of rings of integers in most algebraic fields.</a> <a class="label nowrap" href="/1486.12009">Zbl 1486.12009</a> <br><a href="/authors/dittmann.philip" title="Author Profile">Dittmann, Philip</a>; <a href="/authors/fehm.arno" title="Author Profile">Fehm, Arno</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7473059">2</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03256">Supercompactness can be equiconsistent with measurability.</a> <a class="label nowrap" href="/1529.03256">Zbl 1529.03256</a> <br><a href="/authors/trang.nam" title="Author Profile">Trang, Nam</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7473061">2</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03170">$\mathrm{IKT}^\omega$ and 艁ukasiewicz-models.</a> <a class="label nowrap" href="/1529.03170">Zbl 1529.03170</a> <br><a href="/authors/fjellstad.andreas" title="Author Profile">Fjellstad, Andreas</a>; <a href="/authors/olsen.jan-fredrik" title="Author Profile">Olsen, Jan-Fredrik</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7391974">2</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03222">The complexity of module radicals.</a> <a class="label nowrap" href="/1529.03222">Zbl 1529.03222</a> <br><a href="/authors/conidis.chris-j" title="Author Profile">Conidis, Chris J.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7391980">2</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1508.03084">A choice-free cardinal equality.</a> <a class="label nowrap" href="/1508.03084">Zbl 1508.03084</a> <br><a href="/authors/shen.guozhen" title="Author Profile">Shen, Guozhen</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7473058">1</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03270">Cut elimination for systems of transparent truth with restricted initial sequents.</a> <a class="label nowrap" href="/1529.03270">Zbl 1529.03270</a> <br><a href="/authors/nicolai.carlo" title="Author Profile">Nicolai, Carlo</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7473062">1</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1507.03103">Tall cardinals in extender models.</a> <a class="label nowrap" href="/1507.03103">Zbl 1507.03103</a> <br><a href="/authors/?q=au%3AFernandes%2C%2BGabriel" title="Author Profile">Fernandes, Gabriel</a>; <a href="/authors/schindler.ralf-dieter" title="Author Profile">Schindler, Ralf</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7473053">1</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1486.01048">What problem did Ladd-Franklin (think she) solve(d)?</a> <a class="label nowrap" href="/1486.01048">Zbl 1486.01048</a> <br><a href="/authors/uckelman.sara-l" title="Author Profile">Uckelman, Sara L.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7473056">1</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1475.01019">The shaping of Dedekind’s rigorous mathematics: what do Dedekind’s drafts tell us about his ideal of rigor?</a> <a class="label nowrap" href="/1475.01019">Zbl 1475.01019</a> <br><a href="/authors/haffner.emmylou" title="Author Profile">Haffner, Emmylou</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7391964">1</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1472.00043">Impurity in contemporary mathematics.</a> <a class="label nowrap" href="/1472.00043">Zbl 1472.00043</a> <br><a href="/authors/lehet.ellen" title="Author Profile">Lehet, Ellen</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7391966">1</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03067">Induction, constructivity, and grounding.</a> <a class="label nowrap" href="/1529.03067">Zbl 1529.03067</a> <br><a href="/authors/mccarthy.timothy-g" title="Author Profile">McCarthy, Timothy</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7391967">1</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1487.03036">Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness.</a> <a class="label nowrap" href="/1487.03036">Zbl 1487.03036</a> <br><a href="/authors/gilbert.david-robert" title="Author Profile">Gilbert, David R.</a>; <a href="/authors/venturi.giorgio" title="Author Profile">Venturi, Giorgio</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7391976">1</a> </div> </td> <td> <div class="citation_year">2021</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1453.03025">Questions and dependency in intuitionistic logic.</a> <a class="label nowrap" href="/1453.03025">Zbl 1453.03025</a> <br><a href="/authors/ciardelli.ivano-a" title="Author Profile">Ciardelli, Ivano</a>; <a href="/authors/iemhoff.rosalie" title="Author Profile">Iemhoff, Rosalie</a>; <a href="/authors/yang.fan.28" title="Author Profile">Yang, Fan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7196093">10</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1486.03023">Reverse mathematics of topology: dimension, paracompactness, and splittings.</a> <a class="label nowrap" href="/1486.03023">Zbl 1486.03023</a> <br><a href="/authors/sanders.sam" title="Author Profile">Sanders, Sam</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7391957">8</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1462.03009">Splittings and disjunctions in reverse mathematics.</a> <a class="label nowrap" href="/1462.03009">Zbl 1462.03009</a> <br><a href="/authors/sanders.sam" title="Author Profile">Sanders, Sam</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7196092">8</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1484.03019">The complexity of radicals and socles of modules.</a> <a class="label nowrap" href="/1484.03019">Zbl 1484.03019</a> <br><a href="/authors/wu.huishan" title="Author Profile">Wu, Huishan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7196096">8</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1485.03124">On the proof of elimination of imaginaries in algebraically closed valued fields.</a> <a class="label nowrap" href="/1485.03124">Zbl 1485.03124</a> <br><a href="/authors/johnson.will" title="Author Profile">Johnson, Will</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7319330">6</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1484.03054">Uniformly bounded arrays and mutually algebraic structures.</a> <a class="label nowrap" href="/1484.03054">Zbl 1484.03054</a> <br><a href="/authors/laskowski.michael-chris" title="Author Profile">Laskowski, Michael C.</a>; <a href="/authors/terry.caroline-a" title="Author Profile">Terry, Caroline A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7222691">6</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1458.14063">Definable functions and stratifications in power-bounded $T$-convex fields.</a> <a class="label nowrap" href="/1458.14063">Zbl 1458.14063</a> <br><a href="/authors/garcia-ramirez.erick" title="Author Profile">Garc铆a Ram铆rez, Erick</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7319334">3</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1486.03085">Projective games on the reals.</a> <a class="label nowrap" href="/1486.03085">Zbl 1486.03085</a> <br><a href="/authors/aguilera.juan-pablo" title="Author Profile">Aguilera, Juan P.</a>; <a href="/authors/muller.sandra" title="Author Profile">M眉ller, Sandra</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7391959">3</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1506.03026">Formal notes on the substitutional analysis of logical consequence.</a> <a class="label nowrap" href="/1506.03026">Zbl 1506.03026</a> <br><a href="/authors/halbach.volker" title="Author Profile">Halbach, Volker</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7222694">3</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1484.03068">Distality for the asymptotic couple of the field of logarithmic transseries.</a> <a class="label nowrap" href="/1484.03068">Zbl 1484.03068</a> <br><a href="/authors/gehret.allen" title="Author Profile">Gehret, Allen</a>; <a href="/authors/kaplan.elliot" title="Author Profile">Kaplan, Elliot</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7222695">3</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1486.03067">Existentially closed closure algebras.</a> <a class="label nowrap" href="/1486.03067">Zbl 1486.03067</a> <br><a href="/authors/scowcroft.philip" title="Author Profile">Scowcroft, Philip</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7391962">2</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1484.03057">Pseudofiniteness in Hrushovski constructions.</a> <a class="label nowrap" href="/1484.03057">Zbl 1484.03057</a> <br><a href="/authors/valizadeh.ali-n" title="Author Profile">Valizadeh, Ali N.</a>; <a href="/authors/pourmahdian.massoud" title="Author Profile">Pourmahdian, Massoud</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7196089">2</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1461.03035">Effective domination and the bounded jump.</a> <a class="label nowrap" href="/1461.03035">Zbl 1461.03035</a> <br><a href="/authors/ng.kengmeng" title="Author Profile">Ng, Keng Meng</a>; <a href="/authors/yu.hongyuan" title="Author Profile">Yu, Hongyuan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7222687">2</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1455.03078">Short proofs for slow consistency.</a> <a class="label nowrap" href="/1455.03078">Zbl 1455.03078</a> <br><a href="/authors/freund.anton" title="Author Profile">Freund, Anton</a>; <a href="/authors/pakhomov.fedor-n" title="Author Profile">Pakhomov, Fedor</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7196091">2</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1484.03090">Isometry groups of Borel randomizations.</a> <a class="label nowrap" href="/1484.03090">Zbl 1484.03090</a> <br><a href="/authors/berenstein.alexander" title="Author Profile">Berenstein, Alexander</a>; <a href="/authors/zamora.rafael" title="Author Profile">Zamora, Rafael</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7222693">2</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1485.03189">Ideals and their generic ultrafilters.</a> <a class="label nowrap" href="/1485.03189">Zbl 1485.03189</a> <br><a href="/authors/chodounsky.david" title="Author Profile">Chodounsk媒, David</a>; <a href="/authors/zapletal.jindrich" title="Author Profile">Zapletal, Jind艡ich</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7319332">1</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1485.03006"><span class="zbmathjax-textit">Begriffsschrift</span>’s logic.</a> <a class="label nowrap" href="/1485.03006">Zbl 1485.03006</a> <br><a href="/authors/badesa.calixto" title="Author Profile">Badesa, Calixto</a>; <a href="/authors/bertran-san-millan.joan" title="Author Profile">Bertran-San Mill谩n, Joan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7319333">1</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1472.03008">Prospects for a theory of decycling.</a> <a class="label nowrap" href="/1472.03008">Zbl 1472.03008</a> <br><a href="/authors/litland.jon-erling" title="Author Profile">Litland, Jon Erling</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7319335">1</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1489.03007">Four-valued logics of truth, nonfalsity, exact truth, and material equivalence.</a> <a class="label nowrap" href="/1489.03007">Zbl 1489.03007</a> <br><a href="/authors/prenosil.adam" title="Author Profile">P艡enosil, Adam</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7391961">1</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1484.03073">A Lindstr枚m theorem for intuitionistic propositional logic.</a> <a class="label nowrap" href="/1484.03073">Zbl 1484.03073</a> <br><a href="/authors/badia.guillermo" title="Author Profile">Badia, Guillermo</a>; <a href="/authors/olkhovikov.grigory-k" title="Author Profile">Olkhovikov, Grigory</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7196090">1</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1484.03087">A note on strongly almost disjoint families.</a> <a class="label nowrap" href="/1484.03087">Zbl 1484.03087</a> <br><a href="/authors/shen.guozhen" title="Author Profile">Shen, Guozhen</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7222688">1</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1486.03071">Weak density and nondensity among transfinite levels of the Ershov hierarchy.</a> <a class="label nowrap" href="/1486.03071">Zbl 1486.03071</a> <br><a href="/authors/liu.yong.22" title="Author Profile">Liu, Yong</a>; <a href="/authors/peng.cheng" title="Author Profile">Peng, Cheng</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7391956">1</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1437.81010">A remark on probabilistic measures of coherence.</a> <a class="label nowrap" href="/1437.81010">Zbl 1437.81010</a> <br><a href="/authors/oms.sergi" title="Author Profile">Oms, Sergi</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7196095">1</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1452.03132">The logic of Turing progressions.</a> <a class="label nowrap" href="/1452.03132">Zbl 1452.03132</a> <br><a href="/authors/hermo-reyes.eduardo" title="Author Profile">Hermo Reyes, Eduardo</a>; <a href="/authors/joosten.joost-j" title="Author Profile">Joosten, Joost J.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7196097">1</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1481.03008">A note on FDE “all the way up”.</a> <a class="label nowrap" href="/1481.03008">Zbl 1481.03008</a> <br><a href="/authors/beall.jc" title="Author Profile">Beall, Jc</a>; <a href="/authors/camrud.caleb-m-h" title="Author Profile">Camrud, Caleb</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7222692">1</a> </div> </td> <td> <div class="citation_year">2020</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03213">Tame topology over dp-minimal structures.</a> <a class="label nowrap" href="/1529.03213">Zbl 1529.03213</a> <br><a href="/authors/simon.pierre" title="Author Profile">Simon, Pierre</a>; <a href="/authors/walsberg.erik" title="Author Profile">Walsberg, Erik</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7060308">11</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03198">On $n$-dependence.</a> <a class="label nowrap" href="/1529.03198">Zbl 1529.03198</a> <br><a href="/authors/chernikov.artem" title="Author Profile">Chernikov, Artem</a>; <a href="/authors/palacin.daniel" title="Author Profile">Palacin, Daniel</a>; <a href="/authors/takeuchi.kota" title="Author Profile">Takeuchi, Kota</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7096536">11</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1472.03039">On the degree structure of equivalence relations under computable reducibility.</a> <a class="label nowrap" href="/1472.03039">Zbl 1472.03039</a> <br><a href="/authors/ng.kengmeng" title="Author Profile">Ng, Keng Meng</a>; <a href="/authors/yu.hongyuan" title="Author Profile">Yu, Hongyuan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7167766">8</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03228">More notions of forcing add a Souslin tree.</a> <a class="label nowrap" href="/1529.03228">Zbl 1529.03228</a> <br><a href="/authors/brodsky.ari-meir" title="Author Profile">Brodsky, Ari Meir</a>; <a href="/authors/rinot.assaf" title="Author Profile">Rinot, Assaf</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7120749">8</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1472.03020">Noncontractive classical logic.</a> <a class="label nowrap" href="/1472.03020">Zbl 1472.03020</a> <br><a href="/authors/rosenblatt.lucas-daniel" title="Author Profile">Rosenblatt, Lucas</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7167758">7</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03229">Layered posets and Kunen’s universal collapse.</a> <a class="label nowrap" href="/1529.03229">Zbl 1529.03229</a> <br><a href="/authors/cox.sean-d" title="Author Profile">Cox, Sean</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7060307">7</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1479.03017">Residue field domination in real closed valued fields.</a> <a class="label nowrap" href="/1479.03017">Zbl 1479.03017</a> <br><a href="/authors/ealy.clifton-f" title="Author Profile">Ealy, Clifton</a>; <a href="/authors/haskell.deirdre" title="Author Profile">Haskell, Deirdre</a>; <a href="/authors/marikova.jana" title="Author Profile">Ma艡铆kov谩, Jana</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7120745">7</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1441.03019">Strong noncontingency: on the modal logics of an operator expressively weaker than necessity.</a> <a class="label nowrap" href="/1441.03019">Zbl 1441.03019</a> <br><a href="/authors/fan.jie" title="Author Profile">Fan, Jie</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7120748">7</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1444.03052">A family of neighborhood contingency logics.</a> <a class="label nowrap" href="/1444.03052">Zbl 1444.03052</a> <br><a href="/authors/fan.jie" title="Author Profile">Fan, Jie</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7167763">5</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03199">Tame expansions of ${\omega}$-stable theories and definable groups.</a> <a class="label nowrap" href="/1529.03199">Zbl 1529.03199</a> <br><a href="/authors/goral.haydar" title="Author Profile">G枚ral, Haydar</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7096535">5</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03152">A note on algebraic semantics for $\mathsf {S5}$ with propositional quantifiers.</a> <a class="label nowrap" href="/1529.03152">Zbl 1529.03152</a> <br><a href="/authors/?q=au%3AHolliday%2C%2BWesley%2BH." title="Author Profile">Holliday, Wesley H.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7096540">5</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03248">Adding a nonreflecting weakly compact set.</a> <a class="label nowrap" href="/1529.03248">Zbl 1529.03248</a> <br><a href="/authors/cody.brent-m" title="Author Profile">Cody, Brent</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7120753">5</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03200">Disjoint $n$-amalgamation and pseudofinite countably categorical theories.</a> <a class="label nowrap" href="/1529.03200">Zbl 1529.03200</a> <br><a href="/authors/kruckman.alex" title="Author Profile">Kruckman, Alex</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7060311">4</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1472.03034">A simple criterion. (Un crit猫re simple.)</a> <a class="label nowrap" href="/1472.03034">Zbl 1472.03034</a> <br><a href="/authors/blossier.thomas" title="Author Profile">Blossier, Thomas</a>; <a href="/authors/martin-pizarro.amador" title="Author Profile">Martin-Pizarro, Amador</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7167761">3</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03219">${\Pi}_1^0$-encodability and omniscient reductions.</a> <a class="label nowrap" href="/1529.03219">Zbl 1529.03219</a> <br><a href="/authors/monin.benoit" title="Author Profile">Monin, Benoit</a>; <a href="/authors/patey.ludovic" title="Author Profile">Patey, Ludovic</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7060305">3</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03032">Abstraction principles and the classification of second-order equivalence relations.</a> <a class="label nowrap" href="/1529.03032">Zbl 1529.03032</a> <br><a href="/authors/ebels-duggan.sean-c" title="Author Profile">Ebels-Duggan, Sean C.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7060309">3</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03261">Closed maximality principles and generalized Baire spaces.</a> <a class="label nowrap" href="/1529.03261">Zbl 1529.03261</a> <br><a href="/authors/lucke.philipp-moritz" title="Author Profile">L眉cke, Philipp</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7096538">2</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03146">A modal logic of supervenience.</a> <a class="label nowrap" href="/1529.03146">Zbl 1529.03146</a> <br><a href="/authors/fan.jie" title="Author Profile">Fan, Jie</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7096539">2</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1472.03060">Specializing Aronszajn trees with strong axiom A and Halving.</a> <a class="label nowrap" href="/1472.03060">Zbl 1472.03060</a> <br><a href="/authors/mildenberger.heike" title="Author Profile">Mildenberger, Heike</a>; <a href="/authors/shelah.saharon" title="Author Profile">Shelah, Saharon</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7167759">1</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1472.03049">Reducibility of equivalence relations arising from nonstationary ideals under large cardinal assumptions.</a> <a class="label nowrap" href="/1472.03049">Zbl 1472.03049</a> <br><a href="/authors/aspero.david" title="Author Profile">Asper贸, David</a>; <a href="/authors/hyttinen.tapani" title="Author Profile">Hyttinen, Tapani</a>; <a href="/authors/kulikov.vadim" title="Author Profile">Kulikov, Vadim</a>; <a href="/authors/moreno.miguel-vera" title="Author Profile">Moreno, Miguel</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7167762">1</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1472.03032">Coxeter groups and abstract elementary classes: the right-angled case.</a> <a class="label nowrap" href="/1472.03032">Zbl 1472.03032</a> <br><a href="/authors/hyttinen.tapani" title="Author Profile">Hyttinen, Tapani</a>; <a href="/authors/paolini.gianluca" title="Author Profile">Paolini, Gianluca</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7167765">1</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03269">An analytic calculus for the intuitionistic logic of proofs.</a> <a class="label nowrap" href="/1529.03269">Zbl 1529.03269</a> <br><a href="/authors/hill.brian" title="Author Profile">Hill, Brian</a>; <a href="/authors/poggiolesi.francesca" title="Author Profile">Poggiolesi, Francesca</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7120746">1</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1441.03014">The Eu approach to formalizing Euclid: a response to “On the inconsistency of Mumma’s Eu”.</a> <a class="label nowrap" href="/1441.03014">Zbl 1441.03014</a> <br><a href="/authors/mumma.john" title="Author Profile">Mumma, John</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7120750">1</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03272">A counterexample to polynomially bounded realizability of basic arithmetic.</a> <a class="label nowrap" href="/1529.03272">Zbl 1529.03272</a> <br><a href="/authors/ardeshir.mohammad" title="Author Profile">Ardeshir, Mohammad</a>; <a href="/authors/khaniki.erfan" title="Author Profile">Khaniki, Erfan</a>; <a href="/authors/shahriari.mohsen" title="Author Profile">Shahriari, Mohsen</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7120751">1</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1529.03273">On Goodman realizability.</a> <a class="label nowrap" href="/1529.03273">Zbl 1529.03273</a> <br><a href="/authors/frittaion.emanuele" title="Author Profile">Frittaion, Emanuele</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7120754">1</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1455.60007">Conditionals and conditional probabilities without triviality.</a> <a class="label nowrap" href="/1455.60007">Zbl 1455.60007</a> <br><a href="/authors/pruss.alexander-r" title="Author Profile">Pruss, Alexander R.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A7120755">1</a> </div> </td> <td> <div class="citation_year">2019</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1455.03042">On superstable expansions of free abelian groups.</a> <a class="label nowrap" href="/1455.03042">Zbl 1455.03042</a> <br><a href="/authors/palacin.daniel" title="Author Profile">Palac铆n, Daniel</a>; <a href="/authors/sklinos.rizos" title="Author Profile">Sklinos, Rizos</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6870285">10</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1456.03052">Stable formulas in intuitionistic logic.</a> <a class="label nowrap" href="/1456.03052">Zbl 1456.03052</a> <br><a href="/authors/bezhanishvili.nick" title="Author Profile">Bezhanishvili, Nick</a>; <a href="/authors/de-jongh.dick-h-j" title="Author Profile">de Jongh, Dick</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6939322">8</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1455.03032">Second-order logic of paradox.</a> <a class="label nowrap" href="/1455.03032">Zbl 1455.03032</a> <br><a href="/authors/hazen.allen-p" title="Author Profile">Hazen, Allen P.</a>; <a href="/authors/pelletier.francis-jeffry" title="Author Profile">Pelletier, Francis Jeffry</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6996543">7</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1431.11017">Ostrowski numeration systems, addition, and finite automata.</a> <a class="label nowrap" href="/1431.11017">Zbl 1431.11017</a> <br><a href="/authors/hieronymi.philipp" title="Author Profile">Hieronymi, Philipp</a>; <a href="/authors/terry.alonza-jun" title="Author Profile">Terry, Alonza jun.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6870290">7</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1455.03059">On the spectrum of characters of ultrafilters.</a> <a class="label nowrap" href="/1455.03059">Zbl 1455.03059</a> <br><a href="/authors/garti.shimon" title="Author Profile">Garti, Shimon</a>; <a href="/authors/magidor.menachem" title="Author Profile">Magidor, Menachem</a>; <a href="/authors/shelah.saharon" title="Author Profile">Shelah, Saharon</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6939325">7</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1455.03080">On the uniform computational content of the Baire category theorem.</a> <a class="label nowrap" href="/1455.03080">Zbl 1455.03080</a> <br><a href="/authors/brattka.vasco" title="Author Profile">Brattka, Vasco</a>; <a href="/authors/hendtlass.matthew" title="Author Profile">Hendtlass, Matthew</a>; <a href="/authors/kreuzer.alexander-p" title="Author Profile">Kreuzer, Alexander P.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6996547">6</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1455.03037">Blurring: an approach to conflation.</a> <a class="label nowrap" href="/1455.03037">Zbl 1455.03037</a> <br><a href="/authors/ripley.david" title="Author Profile">Ripley, David</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6870286">5</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1455.03015">Refining the taming of the reverse mathematics zoo.</a> <a class="label nowrap" href="/1455.03015">Zbl 1455.03015</a> <br><a href="/authors/sanders.sam" title="Author Profile">Sanders, Sam</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6996545">4</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1436.03029">Cardinality and acceptable abstraction.</a> <a class="label nowrap" href="/1436.03029">Zbl 1436.03029</a> <br><a href="/authors/cook.roy-t" title="Author Profile">Cook, Roy T.</a>; <a href="/authors/linnebo.oystein" title="Author Profile">Linnebo, 脴ystein</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6848191">4</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1455.03076">Negation-free and contradiction-free proof of the Steiner-Lehmus theorem.</a> <a class="label nowrap" href="/1455.03076">Zbl 1455.03076</a> <br><a href="/authors/pambuccian.victor" title="Author Profile">Pambuccian, Victor</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6848192">4</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1455.03066">A long pseudo-comparison of premice in $L[x]$.</a> <a class="label nowrap" href="/1455.03066">Zbl 1455.03066</a> <br><a href="/authors/schlutzenberg.farmer" title="Author Profile">Schlutzenberg, Farmer</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6996546">3</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/1455.03044">Classifications of computable structures.</a> <a class="label nowrap" href="/1455.03044">Zbl 1455.03044</a> <br><a href="/authors/lange.karen" title="Author Profile">Lange, Karen</a>; <a href="/authors/miller.russell-g" title="Author Profile">Miller, Russell</a>; <a href="/authors/steiner.rebecca-m" title="Author Profile">Steiner, Rebecca M.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A6848190">3</a> </div> </td> <td> <div class="citation_year">2018</div> </td> </tr> <tr class="more"> <td colspan="3">...and 1094 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 4,090 Authors</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=rj%3A608+ai%3Ashelah.saharon" title="Citing Publications by this Author">102</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%3A608+ai%3Abazhenov.n-a" title="Citing Publications by this Author">36</a> </td> <td class="text"> <a href="/authors/bazhenov.n-a" title="Author Profile"> Bazhenov, Nikola沫 Alekseevich </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A608+ai%3Aavron.arnon" title="Citing Publications by this Author">31</a> </td> <td class="text"> <a href="/authors/avron.arnon" title="Author Profile"> Avron, Arnon </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A608+ai%3Adowney.rodney-graham" title="Citing Publications by this Author">30</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%3A608+ai%3Avisser.albert" title="Citing Publications by this Author">29</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%3A608+ai%3Amontanari.angelo" title="Citing Publications by this Author">25</a> </td> <td class="text"> <a href="/authors/montanari.angelo" title="Author Profile"> Montanari, Angelo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Apatey.ludovic" title="Citing Publications by this Author">24</a> </td> <td class="text"> <a href="/authors/patey.ludovic" title="Author Profile"> Levy Patey, Ludovic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Abaldwin.john-t" title="Citing Publications by 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=rj%3A608+ai%3Ahumberstone.lloyd" title="Citing Publications by this Author">23</a> </td> <td class="text"> <a href="/authors/humberstone.lloyd" title="Author Profile"> Humberstone, Lloyd </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Asanders.sam" title="Citing Publications by this Author">23</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%3A608+ai%3Adunn.jon-michael" title="Citing Publications by this Author">20</a> </td> <td class="text"> <a href="/authors/dunn.jon-michael" title="Author Profile"> Dunn, Jon Michael </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Akurahashi.taishi" title="Citing Publications by this Author">20</a> </td> <td class="text"> <a href="/authors/kurahashi.taishi" title="Author Profile"> Kurahashi, Taishi </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Awansing.heinrich-theodor" title="Citing Publications by this Author">20</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%3A608+ai%3Ama.minghui" title="Citing Publications by this Author">19</a> </td> <td class="text"> <a href="/authors/ma.minghui" title="Author Profile"> Ma, Minghui </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Amelnikov.alexander-g" title="Citing Publications by this Author">19</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%3A608+ai%3Aschroder.lutz" title="Citing Publications by this Author">19</a> </td> <td class="text"> <a href="/authors/schroder.lutz" title="Author Profile"> Schr枚der, Lutz </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Abrattka.vasco" title="Citing Publications by this Author">18</a> </td> <td class="text"> <a href="/authors/brattka.vasco" title="Author Profile"> Brattka, Vasco </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Aiemhoff.rosalie" title="Citing Publications by this Author">18</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%3A608+ai%3Apetrukhin.yaroslav-igorevich" title="Citing Publications by this Author">18</a> </td> <td class="text"> <a href="/authors/petrukhin.yaroslav-igorevich" title="Author Profile"> Petrukhin, Yaroslav Igorevich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Afan.jie" title="Citing Publications by this Author">17</a> </td> <td class="text"> <a href="/authors/fan.jie" title="Author Profile"> Fan, Jie </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Ahamkins.joel-david" title="Citing Publications by this Author">17</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%3A608+ai%3Alaskowski.michael-chris" title="Citing Publications by this Author">17</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%3A608+ai%3Aomori.hitoshi" title="Citing Publications by this Author">17</a> </td> <td class="text"> <a href="/authors/omori.hitoshi" title="Author Profile"> Omori, Hitoshi </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Apauly.arno-m" title="Citing Publications by this Author">17</a> </td> <td class="text"> <a href="/authors/pauly.arno-m" title="Author Profile"> Pauly, Arno M. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Apillay.anand" title="Citing Publications by this Author">17</a> </td> <td class="text"> <a href="/authors/pillay.anand" title="Author Profile"> Pillay, Anand </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Ashapiro.stewart" title="Citing Publications by this Author">17</a> </td> <td class="text"> <a href="/authors/shapiro.stewart" title="Author Profile"> Shapiro, Stewart </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Abalbiani.philippe" title="Citing Publications by this Author">16</a> </td> <td class="text"> <a href="/authors/balbiani.philippe" title="Author Profile"> Balbiani, Philippe </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Abimbo.katalin" title="Citing Publications by this Author">16</a> </td> <td class="text"> <a href="/authors/bimbo.katalin" title="Author Profile"> Bimb贸, Katalin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Abunder.martin-w" title="Citing Publications by this Author">16</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=rj%3A608+ai%3Acarnielli.walter-alexandre" title="Citing Publications by this Author">16</a> </td> <td class="text"> <a href="/authors/carnielli.walter-alexandre" title="Author Profile"> Carnielli, Walter Alexandre </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Adzhafarov.damir-d" title="Citing Publications by this Author">16</a> </td> <td class="text"> <a href="/authors/dzhafarov.damir-d" title="Author Profile"> Dzhafarov, Damir D. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Afriedman.sy-david" title="Citing Publications by this Author">16</a> </td> <td class="text"> <a href="/authors/friedman.sy-david" title="Author Profile"> Friedman, Sy-David </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Agreenberg.noam" title="Citing Publications by this Author">16</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%3A608+ai%3Avan-ditmarsch.hans-pieter" title="Citing Publications by this Author">16</a> </td> <td class="text"> <a href="/authors/van-ditmarsch.hans-pieter" title="Author Profile"> van Ditmarsch, Hans Pieter </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Awolter.frank" title="Citing Publications by this Author">16</a> </td> <td class="text"> <a href="/authors/wolter.frank" title="Author Profile"> Wolter, Frank </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Aandrews.uri" title="Citing Publications by this Author">15</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%3A608+ai%3Abarmpalias.george" title="Citing Publications by this Author">15</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%3A608+ai%3Abezhanishvili.guram" title="Citing Publications by this Author">15</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%3A608+ai%3Abezhanishvili.nick" title="Citing Publications by this Author">15</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%3A608+ai%3Akaplan.itay" title="Citing Publications by this Author">15</a> </td> <td class="text"> <a href="/authors/kaplan.itay" title="Author Profile"> Kaplan, Itay </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Aperon.adriano" title="Citing Publications by this Author">15</a> </td> <td class="text"> <a href="/authors/peron.adriano" title="Author Profile"> Peron, Adriano </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Arinot.assaf" title="Citing Publications by this Author">15</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%3A608+ai%3Asciavicco.guido" title="Citing Publications by this Author">15</a> </td> <td class="text"> <a href="/authors/sciavicco.guido" title="Author Profile"> Sciavicco, Guido </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Avasey.sebastien" title="Citing Publications by this Author">15</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%3A608+ai%3Ayokoyama.keita" title="Citing Publications by this Author">15</a> </td> <td class="text"> <a href="/authors/yokoyama.keita" title="Author Profile"> Yokoyama, Keita </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Afitting.melvin-c" title="Citing Publications by this Author">14</a> </td> <td class="text"> <a href="/authors/fitting.melvin-c" title="Author Profile"> Fitting, Melvin Chris </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Agrant.john-r" title="Citing Publications by this Author">14</a> </td> <td class="text"> <a href="/authors/grant.john-r" title="Author Profile"> Grant, John R. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Akesner.delia" title="Citing Publications by this Author">14</a> </td> <td class="text"> <a href="/authors/kesner.delia" title="Author Profile"> Kesner, Delia </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Apattinson.dirk" title="Citing Publications by this Author">14</a> </td> <td class="text"> <a href="/authors/pattinson.dirk" title="Author Profile"> Pattinson, Dirk </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Asimon.pierre" title="Citing Publications by this Author">14</a> </td> <td class="text"> <a href="/authors/simon.pierre" title="Author Profile"> Simon, Pierre </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Astephan.frank" title="Citing Publications by this Author">14</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%3A608+ai%3Atachtsis.eleftherios" title="Citing Publications by this Author">14</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%3A608+ai%3Avan-benthem.johan" title="Citing Publications by this Author">14</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%3A608+ai%3Azakharyaschev.michael" title="Citing Publications by this Author">14</a> </td> <td class="text"> <a href="/authors/zakharyaschev.michael" title="Author Profile"> Zakharyaschev, Michael Viktorovich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Aarieli.ofer" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/arieli.ofer" title="Author Profile"> Arieli, Ofer </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Acelani.sergio-arturo" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/celani.sergio-arturo" title="Author Profile"> Celani, Sergio Arturo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Adezani-ciancaglini.mariangiola" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/dezani-ciancaglini.mariangiola" title="Author Profile"> Dezani-Ciancaglini, Mariangiola </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Agoldblatt.robert-ian" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/goldblatt.robert-ian" title="Author Profile"> Goldblatt, Robert Ian </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Akalimullin.iskander-sh" title="Citing Publications by this Author">13</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%3A608+ai%3Akrueger.john" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/krueger.john" title="Author Profile"> Krueger, John </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Anovak.vilem" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/novak.vilem" title="Author Profile"> Nov谩k, Vil茅m </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Astandefer.shawn" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/standefer.shawn" title="Author Profile"> Standefer, Shawn </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Avoutsadakis.george" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/voutsadakis.george" title="Author Profile"> Voutsadakis, George </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Achernikov.artem" title="Citing Publications by this Author">12</a> </td> <td class="text"> <a href="/authors/chernikov.artem" title="Author Profile"> Chernikov, Artem </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Aferguson.thomas-macaulay" title="Citing Publications by this Author">12</a> </td> <td class="text"> <a href="/authors/ferguson.thomas-macaulay" title="Author Profile"> Ferguson, Thomas Macaulay </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Aharizanov.valentina-s" title="Citing Publications by this Author">12</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%3A608+ai%3Aharrison-trainor.matthew" title="Citing Publications by this Author">12</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%3A608+ai%3Ajansana.ramon" title="Citing Publications by this Author">12</a> </td> <td class="text"> <a href="/authors/jansana.ramon" title="Author Profile"> Jansana, Ramon </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Amares.edwin-d" title="Citing Publications by this Author">12</a> </td> <td class="text"> <a href="/authors/mares.edwin-d" title="Author Profile"> Mares, Edwin D. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Ang.kengmeng" title="Citing Publications by this Author">12</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%3A608+ai%3Arossi.lorenzo" title="Citing Publications by this Author">12</a> </td> <td class="text"> <a href="/authors/rossi.lorenzo" title="Author Profile"> Rossi, Lorenzo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Asala.pietro" title="Citing Publications by this Author">12</a> </td> <td class="text"> <a href="/authors/sala.pietro" title="Author Profile"> Sala, Pietro </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Aschmerl.james-h" title="Citing Publications by this Author">12</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%3A608+ai%3Asolomon.reed" title="Citing Publications by this Author">12</a> </td> <td class="text"> <a href="/authors/solomon.reed" title="Author Profile"> Solomon, Reed </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Asorbi.andrea" title="Citing Publications by this Author">12</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%3A608+ai%3Asubrahmanian.v-s" title="Citing Publications by this Author">12</a> </td> <td class="text"> <a href="/authors/subrahmanian.v-s" title="Author Profile"> Subrahmanian, V. S. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Aterwijn.sebastiaan-a" title="Citing Publications by this Author">12</a> </td> <td class="text"> <a href="/authors/terwijn.sebastiaan-a" title="Author Profile"> Terwijn, Sebastiaan A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Abozzelli.laura" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/bozzelli.laura" title="Author Profile"> Bozzelli, Laura </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Achakraborty.mihir-kumar" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/chakraborty.mihir-kumar" title="Author Profile"> Chakraborty, Mihir Kumar </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Aconant.gabriel" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/conant.gabriel" title="Author Profile"> Conant, Gabriel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Afont.josep-maria" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/font.josep-maria" title="Author Profile"> Font, Josep Maria </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Akamide.norihiro" title="Citing Publications by this Author">11</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%3A608+ai%3Amildenberger.heike" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/mildenberger.heike" title="Author Profile"> Mildenberger, Heike </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Amiller.joseph-s" title="Citing Publications by this Author">11</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%3A608+ai%3Amontalban.antonio" title="Citing Publications by this Author">11</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%3A608+ai%3Amoraschini.tommaso" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/moraschini.tommaso" title="Author Profile"> Moraschini, Tommaso </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Araftery.james-g" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/raftery.james-g" title="Author Profile"> Raftery, James G. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Arott.hans" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/rott.hans" title="Author Profile"> Rott, Hans </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Arybalov.aleksandr-nikolaevich" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/rybalov.aleksandr-nikolaevich" title="Author Profile"> Rybalov, Aleksandr Nikolaevich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Ashafer.paul" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/shafer.paul" title="Author Profile"> Shafer, Paul </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Aszmuc.damian-enrique" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/szmuc.damian-enrique" title="Author Profile"> Szmuc, Damian Enrique </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Avan-bakel.steffen" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/van-bakel.steffen" title="Author Profile"> van Bakel, Steffen </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Awu.huishan" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/wu.huishan" title="Author Profile"> Wu, Huishan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Azdomskyy.lyubomyr" title="Citing Publications by this Author">11</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%3A608+ai%3Abagaria.joan" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/bagaria.joan" title="Author Profile"> Bagaria, Joan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Abrady.ross-thomas" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/brady.ross-thomas" title="Author Profile"> Brady, Ross Thomas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Acarrara.massimiliano" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/carrara.massimiliano" title="Author Profile"> Carrara, Massimiliano </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Aciucci.davide" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/ciucci.davide" title="Author Profile"> Ciucci, Davide </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Aconiglio.marcelo-esteban" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/coniglio.marcelo-esteban" title="Author Profile"> Coniglio, Marcelo Esteban </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+ai%3Acox.sean-d" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/cox.sean-d" title="Author Profile"> Cox, Sean D. </a> </td></tr> <tr class="more"> <td colspan="2">...and 3,990 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 383 Journals</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=rj%3A608+se%3A524" title="Citing Publications in this Journal">451</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%3A608+se%3A968" title="Citing Publications in this Journal">373</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%3A608+se%3A722" title="Citing Publications in this Journal">328</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%3A608+se%3A516" title="Citing Publications in this Journal">307</a> </td> <td class="text"> <a href="/serials/?q=se%3A516" title="Serial Profile"> Journal of Philosophical Logic </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A608+se%3A608" title="Citing Publications in this Journal">269</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%3A608+se%3A727" title="Citing Publications in this Journal">210</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%3A608+se%3A6723" title="Citing Publications in this Journal">200</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%3A608+se%3A1744" title="Citing Publications in this Journal">193</a> </td> <td class="text"> <a href="/serials/?q=se%3A1744" title="Serial Profile"> Archive for Mathematical Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A2008" title="Citing Publications in this Journal">122</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%3A608+se%3A735" title="Citing Publications in this Journal">118</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%3A608+se%3A1899" title="Citing Publications in this Journal">114</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%3A608+se%3A2109" title="Citing Publications in this Journal">95</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%3A608+se%3A939" title="Citing Publications in this Journal">86</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%3A608+se%3A4911" title="Citing Publications in this Journal">74</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%3A608+se%3A744" title="Citing Publications in this Journal">70</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%3A608+se%3A1840" title="Citing Publications in this Journal">66</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%3A608+se%3A115" title="Citing Publications in this Journal">65</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%3A608+se%3A2853" title="Citing Publications in this Journal">63</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%3A608+se%3A2620" title="Citing Publications in this Journal">56</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%3A608+se%3A1143" title="Citing Publications in this Journal">55</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%3A608+se%3A34" title="Citing Publications in this Journal">51</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%3A608+se%3A3118" title="Citing Publications in this Journal">50</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%3A608+se%3A1181" title="Citing Publications in this Journal">49</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%3A608+se%3A623" title="Citing Publications in this Journal">45</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%3A608+se%3A297" title="Citing Publications in this Journal">43</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%3A608+se%3A2558" title="Citing Publications in this Journal">43</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%3A608+se%3A428" title="Citing Publications in this Journal">39</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%3A608+se%3A295" title="Citing Publications in this Journal">38</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%3A608+se%3A778" title="Citing Publications in this Journal">36</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%3A608+se%3A5003" title="Citing Publications in this Journal">35</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%3A608+se%3A290" title="Citing Publications in this Journal">31</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%3A608+se%3A2352" title="Citing Publications in this Journal">30</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%3A608+se%3A2122" title="Citing Publications in this Journal">29</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%3A608+se%3A800" title="Citing Publications in this Journal">28</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%3A608+se%3A1381" title="Citing Publications in this Journal">28</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%3A608+se%3A473" title="Citing Publications in this Journal">25</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%3A608+se%3A8236" title="Citing Publications in this Journal">25</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%3A608+se%3A7745" title="Citing Publications in this Journal">24</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%3A608+se%3A454" title="Citing Publications in this Journal">21</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%3A608+se%3A518" title="Citing Publications in this Journal">20</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%3A608+se%3A1150" title="Citing Publications in this Journal">18</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%3A608+se%3A35" title="Citing Publications in this Journal">17</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%3A608+se%3A3054" title="Citing Publications in this Journal">17</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%3A608+se%3A425" title="Citing Publications in this Journal">16</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%3A608+se%3A1034" title="Citing Publications in this Journal">16</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%3A608+se%3A10276" title="Citing Publications in this Journal">14</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%3A608+se%3A1763" title="Citing Publications in this Journal">13</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%3A608+se%3A2316" title="Citing Publications in this Journal">13</a> </td> <td class="text"> <a href="/serials/?q=se%3A2316" title="Serial Profile"> Topoi </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A483" title="Citing Publications in this Journal">12</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%3A608+se%3A2291" title="Citing Publications in this Journal">12</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%3A608+se%3A522" title="Citing Publications in this Journal">11</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%3A608+se%3A2616" title="Citing Publications in this Journal">11</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%3A608+se%3A8811" title="Citing Publications in this Journal">11</a> </td> <td class="text"> <a href="/serials/?q=se%3A8811" title="Serial Profile"> Logicheskie Issledovaniya </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A2673" title="Citing Publications in this Journal">10</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%3A608+se%3A57" title="Citing Publications in this Journal">9</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%3A608+se%3A69" title="Citing Publications in this Journal">9</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%3A608+se%3A97" title="Citing Publications in this Journal">9</a> </td> <td class="text"> <a href="/serials/?q=se%3A97" title="Serial Profile"> International Journal of General Systems </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A662" title="Citing Publications in this Journal">9</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%3A608+se%3A709" title="Citing Publications in this Journal">9</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%3A608+se%3A1875" title="Citing Publications in this Journal">9</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%3A608+se%3A3214" title="Citing Publications in this Journal">9</a> </td> <td class="text"> <a href="/serials/?q=se%3A3214" title="Serial Profile"> Foundations of Physics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A3427" title="Citing Publications in this Journal">9</a> </td> <td class="text"> <a href="/serials/?q=se%3A3427" title="Serial Profile"> Proceedings of the Japan Academy </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A157" title="Citing Publications in this Journal">8</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%3A608+se%3A584" title="Citing Publications in this Journal">8</a> </td> <td class="text"> <a href="/serials/?q=se%3A584" title="Serial Profile"> Memoirs of the American Mathematical Society </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A705" title="Citing Publications in this Journal">8</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%3A608+se%3A963" title="Citing Publications in this Journal">8</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%3A608+se%3A1579" title="Citing Publications in this Journal">8</a> </td> <td class="text"> <a href="/serials/?q=se%3A1579" title="Serial Profile"> Historia Mathematica </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A2579" title="Citing Publications in this Journal">8</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%3A608+se%3A7740" title="Citing Publications in this Journal">8</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%3A608+se%3A264" title="Citing Publications in this Journal">7</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%3A608+se%3A369" title="Citing Publications in this Journal">7</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%3A608+se%3A68" title="Citing Publications in this Journal">6</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%3A608+se%3A111" title="Citing Publications in this Journal">6</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%3A608+se%3A1379" title="Citing Publications in this Journal">6</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%3A608+se%3A1955" title="Citing Publications in this Journal">6</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%3A608+se%3A2077" title="Citing Publications in this Journal">6</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%3A608+se%3A2826" title="Citing Publications in this Journal">6</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%3A608+se%3A3022" title="Citing Publications in this Journal">6</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%3A608+se%3A3247" title="Citing Publications in this Journal">6</a> </td> <td class="text"> <a href="/serials/?q=se%3A3247" title="Serial Profile"> Oberwolfach Reports </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A3250" title="Citing Publications in this Journal">6</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%3A608+se%3A7560" title="Citing Publications in this Journal">6</a> </td> <td class="text"> <a href="/serials/?q=se%3A7560" title="Serial Profile"> Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A8501" title="Citing Publications in this Journal">6</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%3A608+se%3A113" title="Citing Publications in this Journal">5</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%3A608+se%3A158" title="Citing Publications in this Journal">5</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%3A608+se%3A575" title="Citing Publications in this Journal">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A575" title="Serial Profile"> Mathematica Slovaca </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A739" title="Citing Publications in this Journal">5</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%3A608+se%3A824" title="Citing Publications in this Journal">5</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%3A608+se%3A1159" title="Citing Publications in this Journal">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A1159" title="Serial Profile"> International Journal of Intelligent Systems </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A1279" title="Citing Publications in this Journal">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A1279" title="Serial Profile"> Formal Aspects of Computing </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A1573" title="Citing Publications in this Journal">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A1573" title="Serial Profile"> L’Enseignement Math茅matique. 2e S茅rie </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A2015" title="Citing Publications in this Journal">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A2015" title="Serial Profile"> Journal of the Egyptian Mathematical Society </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A2531" title="Citing Publications in this Journal">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A2531" title="Serial Profile"> Annals of Mathematics. Second Series </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A6442" title="Citing Publications in this Journal">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A6442" title="Serial Profile"> Asian-European Journal of Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A33" title="Citing Publications in this Journal">4</a> </td> <td class="text"> <a href="/serials/?q=se%3A33" title="Serial Profile"> Archive for History of Exact Sciences </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A62" title="Citing Publications in this Journal">4</a> </td> <td class="text"> <a href="/serials/?q=se%3A62" title="Serial Profile"> Computers & Mathematics with Applications </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A331" title="Citing Publications in this Journal">4</a> </td> <td class="text"> <a href="/serials/?q=se%3A331" title="Serial Profile"> Applied Mathematics and Computation </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A393" title="Citing Publications in this Journal">4</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%3A608+se%3A446" title="Citing Publications in this Journal">4</a> </td> <td class="text"> <a href="/serials/?q=se%3A446" title="Serial Profile"> Illinois Journal of Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+se%3A500" title="Citing Publications in this Journal">4</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%3A608+se%3A503" title="Citing Publications in this Journal">4</a> </td> <td class="text"> <a href="/serials/?q=se%3A503" title="Serial Profile"> Journal of Mathematical Economics </a> </td></tr> <tr class="more"> <td colspan="2">...and 283 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 58 Fields</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=rj%3A608+cc%3A03" title="Citing Publications in this Field">4,937</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%3A608+cc%3A68" title="Citing Publications in this Field">912</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%3A608+cc%3A06" title="Citing Publications in this Field">343</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%3A608+cc%3A01" title="Citing Publications in this Field">244</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> <td class="number"> <a href="/?q=rj%3A608+cc%3A54" title="Citing Publications in this Field">190</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%3A608+cc%3A20" title="Citing Publications in this Field">164</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%3A608+cc%3A00" title="Citing Publications in this Field">160</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%3A608+cc%3A05" title="Citing Publications in this Field">158</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=rj%3A608+cc%3A08" title="Citing Publications in this Field">109</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%3A608+cc%3A18" title="Citing Publications in this Field">101</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%3A608+cc%3A11" title="Citing Publications in this Field">82</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%3A608+cc%3A91" title="Citing Publications in this Field">81</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%3A608+cc%3A12" title="Citing Publications in this Field">78</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%3A608+cc%3A81" title="Citing Publications in this Field">67</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%3A608+cc%3A51" title="Citing Publications in this Field">54</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%3A608+cc%3A60" title="Citing Publications in this Field">44</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%3A608+cc%3A28" title="Citing Publications in this Field">35</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%3A608+cc%3A14" title="Citing Publications in this Field">31</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%3A608+cc%3A37" title="Citing Publications in this Field">31</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%3A608+cc%3A46" title="Citing Publications in this Field">31</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%3A608+cc%3A26" title="Citing Publications in this Field">30</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%3A608+cc%3A16" title="Citing Publications in this Field">28</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%3A608+cc%3A13" title="Citing Publications in this Field">22</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%3A608+cc%3A94" title="Citing Publications in this Field">22</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%3A608+cc%3A62" title="Citing Publications in this Field">19</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%3A608+cc%3A22" title="Citing Publications in this Field">12</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%3A608+cc%3A32" title="Citing Publications in this Field">12</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%3A608+cc%3A52" title="Citing Publications in this Field">12</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%3A608+cc%3A53" title="Citing Publications in this Field">12</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%3A608+cc%3A90" title="Citing Publications in this Field">12</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%3A608+cc%3A93" title="Citing Publications in this Field">12</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%3A608+cc%3A30" title="Citing Publications in this Field">11</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%3A608+cc%3A92" title="Citing Publications in this Field">11</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%3A608+cc%3A15" title="Citing 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=rj%3A608+cc%3A57" title="Citing Publications in this Field">10</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%3A608+cc%3A17" title="Citing Publications in this Field">9</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%3A608+cc%3A47" title="Citing Publications in this Field">9</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%3A608+cc%3A55" title="Citing Publications in this Field">9</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%3A608+cc%3A65" title="Citing Publications in this Field">9</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%3A608+cc%3A40" title="Citing Publications in this Field">8</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%3A608+cc%3A34" title="Citing Publications in this Field">7</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%3A608+cc%3A43" title="Citing Publications in this Field">7</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%3A608+cc%3A39" title="Citing Publications in this Field">5</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%3A608+cc%3A83" title="Citing Publications in this Field">5</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%3A608+cc%3A41" title="Citing Publications in this Field">4</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%3A608+cc%3A58" title="Citing Publications in this Field">4</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%3A608+cc%3A82" title="Citing Publications in this Field">4</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%3A608+cc%3A33" title="Citing Publications in this Field">3</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%3A608+cc%3A35" title="Citing Publications in this Field">3</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%3A608+cc%3A42" title="Citing Publications in this Field">2</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%3A608+cc%3A70" title="Citing Publications in this Field">2</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%3A608+cc%3A86" title="Citing Publications in this Field">2</a> </td> <td class="text"> <a href="/classification/?q=cc%3A86" title="Mathematics Subject Classification"> Geophysics <span style="white-space: nowrap;">(86-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A608+cc%3A97" title="Citing Publications in this Field">2</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%3A608+cc%3A19" title="Citing Publications in this Field">1</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%3A608+cc%3A31" title="Citing Publications in this Field">1</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%3A608+cc%3A49" title="Citing Publications in this Field">1</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%3A608+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%3A608+cc%3A76" title="Citing Publications in this Field">1</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> </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:1954, frequency:1 },{ year:1958, frequency:1 },{ year:1960, frequency:1 },{ year:1963, frequency:3 },{ year:1964, frequency:2 },{ year:1965, frequency:2 },{ year:1966, frequency:7 },{ year:1967, frequency:7 },{ year:1968, frequency:11 },{ year:1969, frequency:5 },{ year:1970, frequency:4 },{ year:1971, frequency:12 },{ year:1972, frequency:14 },{ year:1973, frequency:15 },{ year:1974, frequency:13 },{ year:1975, frequency:12 },{ year:1976, frequency:15 },{ year:1977, frequency:10 },{ year:1978, frequency:10 },{ year:1979, frequency:16 },{ year:1980, frequency:8 },{ year:1981, frequency:18 },{ year:1982, frequency:16 },{ year:1983, frequency:33 },{ year:1984, frequency:34 },{ year:1985, frequency:22 },{ year:1986, frequency:16 },{ year:1987, frequency:24 },{ year:1988, frequency:20 },{ year:1989, frequency:43 },{ year:1990, frequency:48 },{ year:1991, frequency:48 },{ year:1992, frequency:54 },{ year:1993, frequency:47 },{ year:1994, frequency:51 },{ year:1995, frequency:72 },{ year:1996, frequency:76 },{ year:1997, frequency:65 },{ year:1998, frequency:48 },{ year:1999, frequency:52 },{ year:2000, frequency:55 },{ year:2001, frequency:64 },{ year:2002, frequency:52 },{ year:2003, frequency:61 },{ year:2004, frequency:67 },{ year:2005, frequency:78 },{ year:2006, frequency:96 },{ year:2007, frequency:86 },{ year:2008, frequency:144 },{ year:2009, frequency:156 },{ year:2010, frequency:135 },{ year:2011, frequency:145 },{ year:2012, frequency:177 },{ year:2013, frequency:175 },{ year:2014, frequency:244 },{ year:2015, frequency:257 },{ year:2016, frequency:274 },{ year:2017, frequency:236 },{ year:2018, frequency:293 },{ year:2019, frequency:319 },{ year:2020, frequency:271 },{ year:2021, frequency:392 },{ year:2022, frequency:293 },{ year:2023, frequency:308 },{ year:2024, frequency:304 },{ year:2025, frequency:41 }]; 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%3A608+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

Notre Dame Journal of Formal Logic - Serial Profile - zbMATH Open