Zeitschrift f眉r Mathematische Logik und Grundlagen der Mathematik - Serial Profile

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>Zeitschrift f眉r Mathematische Logik und Grundlagen der Mathematik - 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/764?"> <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:764" 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>Zeitschrift f眉r Mathematische Logik und Grundlagen der Mathematik</h2></div> <div class="text"> <table class="profile"><tr> <td>Short Title:</td> <td>Z. Math. Logik Grundlagen Math. </td> </tr><tr> <td>Publisher:</td> <td>VEB Deutscher Verlag der Wissenschaften, Berlin</td> </tr><tr> <td>ISSN:</td> <td> 0044-3050 </td> </tr><tr> <td>Online:</td> <td><a href="http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1521-3870/issues">http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1521-3870/issues</a><br></td> </tr><tr> <td>Successor:</td> <td><a href="/serials/2008">Mathematical Logic Quarterly (MLQ)</a><br></td> </tr><tr> <td>Comments:</td> <td>Journal; No longer indexed </td> </tr></table> </div> <div class="indexed"> <table> <tr> <td>Documents Indexed:</td> <td> <a href="/?q=se%3A764"> 1,718 Publications</a> (1955–1992) </td> </tr> <tr> <td>References Indexed:</td> <td> <a href="/?q=st%3Ar+se%3A764">2 Publications</a> with 45 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%3A19992" title="Publications in this Volume"> <strong>38</strong>, No. 5-6 (1992) </a> </td></tr><tr> <td colspan="2" class="text"> <a href="/?q=in%3A19991" title="Publications in this Volume"> <strong>38</strong>, No. 4 (1992) </a> </td></tr><tr> <td colspan="2" class="text"> <a href="/?q=in%3A19990" title="Publications in this Volume"> <strong>38</strong>, No. 3 (1992) </a> </td></tr><tr> <td colspan="2" class="text"> <a href="/?q=in%3A19989" title="Publications in this Volume"> <strong>38</strong>, No. 2 (1992) </a> </td></tr><tr> <td colspan="2" class="text"> <a href="/?q=in%3A19988" title="Publications in this Volume"> <strong>38</strong>, No. 1 (1992) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A10119" title="Publications in this Volume"> <strong>37</strong>, No. 6 (1991) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A10118" title="Publications in this Volume"> <strong>37</strong>, No. 5 (1991) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A154738" title="Publications in this Volume"> <strong>37</strong>, No. 4 (1991) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A154688" title="Publications in this Volume"> <strong>37</strong>, No. 3 (1991) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A158090" title="Publications in this Volume"> <strong>37</strong>, No. 2 (1991) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A157976" title="Publications in this Volume"> <strong>37</strong>, No. 1 (1991) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A173554" title="Publications in this Volume"> <strong>36</strong>, No. 6 (1990) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A156766" title="Publications in this Volume"> <strong>36</strong>, No. 5 (1990) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A156765" title="Publications in this Volume"> <strong>36</strong>, No. 4 (1990) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A172725" title="Publications in this Volume"> <strong>36</strong>, No. 3 (1990) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A172506" title="Publications in this Volume"> <strong>36</strong>, No. 2 (1990) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A171045" title="Publications in this Volume"> <strong>36</strong>, No. 1 (1990) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A170115" title="Publications in this Volume"> <strong>35</strong>, No. 6 (1989) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A169805" title="Publications in this Volume"> <strong>35</strong>, No. 5 (1989) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A169804" title="Publications in this Volume"> <strong>35</strong>, No. 4 (1989) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A169019" title="Publications in this Volume"> <strong>35</strong>, No. 3 (1989) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A168556" title="Publications in this Volume"> <strong>35</strong>, No. 2 (1989) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A168085" title="Publications in this Volume"> <strong>35</strong>, No. 1 (1989) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A167809" title="Publications in this Volume"> <strong>34</strong>, No. 6 (1988) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A166937" title="Publications in this Volume"> <strong>34</strong>, No. 5 (1988) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A166501" title="Publications in this Volume"> <strong>34</strong>, No. 4 (1988) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A166500" title="Publications in this Volume"> <strong>34</strong>, No. 3 (1988) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A166316" title="Publications in this Volume"> <strong>34</strong>, No. 2 (1988) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A166051" title="Publications in this Volume"> <strong>34</strong>, No. 1 (1988) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A151847" title="Publications in this Volume"> <strong>33</strong> (1987) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A150494" title="Publications in this Volume"> <strong>32</strong> (1986) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A149762" title="Publications in this Volume"> <strong>31</strong> (1985) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A148550" title="Publications in this Volume"> <strong>30</strong> (1984) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A148030" title="Publications in this Volume"> <strong>29</strong> (1983) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A147022" title="Publications in this Volume"> <strong>28</strong> (1982) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A145992" title="Publications in this Volume"> <strong>27</strong> (1981) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A144707" title="Publications in this Volume"> <strong>26</strong> (1980) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A143659" title="Publications in this Volume"> <strong>25</strong> (1979) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A142505" title="Publications in this Volume"> <strong>24</strong> (1978) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A141954" title="Publications in this Volume"> <strong>23</strong> (1977) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A140694" title="Publications in this Volume"> <strong>22</strong> (1976) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A140511" title="Publications in this Volume"> <strong>21</strong> (1975) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A140276" title="Publications in this Volume"> <strong>20</strong> (1974) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A139143" title="Publications in this Volume"> <strong>19</strong> (1973) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A138793" title="Publications in this Volume"> <strong>18</strong> (1972) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A136870" title="Publications in this Volume"> <strong>17</strong> (1971) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A136227" title="Publications in this Volume"> <strong>16</strong> (1970) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A136089" title="Publications in this Volume"> <strong>15</strong> (1969) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A135921" title="Publications in this Volume"> <strong>14</strong> (1968) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A135586" title="Publications in this Volume"> <strong>13</strong> (1967) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A135296" title="Publications in this Volume"> <strong>12</strong> (1966) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A134513" title="Publications in this Volume"> <strong>11</strong> (1965) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A134167" title="Publications in this Volume"> <strong>10</strong> (1964) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A133789" title="Publications in this Volume"> <strong>9</strong> (1963) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A133374" title="Publications in this Volume"> <strong>8</strong> (1962) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A133126" title="Publications in this Volume"> <strong>7</strong> (1961) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A132827" title="Publications in this Volume"> <strong>6</strong> (1960) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A132338" title="Publications in this Volume"> <strong>5</strong> (1959) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A131962" title="Publications in this Volume"> <strong>4</strong> (1958) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A131912" title="Publications in this Volume"> <strong>3</strong> (1957) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A131554" title="Publications in this Volume"> <strong>2</strong> (1956) </a> </td></tr><tr class="more"> <td colspan="2" class="text"> <a href="/?q=in%3A131150" title="Publications in this Volume"> <strong>1</strong> (1955) </a> </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%3A764+ai%3Arose.alan" title="Publications of this Author">33</a> </td> <td class="text"> <a href="/authors/rose.alan" title="Author Profile"> Rose, Alan </a> </td></tr><tr> <td class="number"> <a href="/?q=se%3A764+ai%3Adeutsch.michael-s" title="Publications of this Author">20</a> </td> <td class="text"> <a href="/authors/deutsch.michael-s" title="Author Profile"> Deutsch, Michael S. </a> </td></tr><tr> <td class="number"> <a href="/?q=se%3A764+ai%3Awolter.helmut" title="Publications of this Author">19</a> </td> <td class="text"> <a href="/authors/wolter.helmut" title="Author Profile"> Wolter, Helmut </a> </td></tr><tr> <td class="number"> <a href="/?q=se%3A764+ai%3Ahauck.jurgen" title="Publications of this Author">16</a> </td> <td class="text"> <a href="/authors/hauck.jurgen" title="Author Profile"> Hauck, J眉rgen </a> </td></tr><tr> <td class="number"> <a href="/?q=se%3A764+ai%3Ahickman.john-llewellyn" title="Publications of this Author">15</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%3A764+ai%3Ahauschild.kurt" title="Publications of this Author">14</a> </td> <td class="text"> <a href="/authors/hauschild.kurt" title="Author Profile"> Hauschild, Kurt </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Arautenberg.wolfgang" title="Publications of this Author">14</a> </td> <td class="text"> <a href="/authors/rautenberg.wolfgang" title="Author Profile"> Rautenberg, Wolfgang </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Akuehnrich.martin" title="Publications of this Author">13</a> </td> <td class="text"> <a href="/authors/kuehnrich.martin" title="Author Profile"> K眉hnrich, Martin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Aasser.gunter" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/asser.gunter" title="Author Profile"> Asser, G眉nter </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Alachlan.alistair-h" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/lachlan.alistair-h" title="Author Profile"> Lachlan, Alistair H. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Aorlicki.andrzej" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/orlicki.andrzej" title="Author Profile"> Orlicki, Andrzej </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Arohleder.hans" title="Publications of this Author">12</a> </td> <td class="text"> <a href="/authors/rohleder.hans" title="Author Profile"> Rohleder, Hans </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Aklaua.dieter" title="Publications of this Author">11</a> </td> <td class="text"> <a href="/authors/klaua.dieter" title="Author Profile"> Klaua, Dieter </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Anakamura.akira" title="Publications of this Author">11</a> </td> <td class="text"> <a href="/authors/nakamura.akira" title="Author Profile"> Nakamura, Akira </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Abagemihl.frederick" title="Publications of this Author">10</a> </td> <td class="text"> <a href="/authors/bagemihl.frederick" title="Author Profile"> Bagemihl, Frederick </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Aherre.heinrich" title="Publications of this Author">10</a> </td> <td class="text"> <a href="/authors/herre.heinrich" title="Author Profile"> Herre, Heinrich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Ameyer.robert-k" title="Publications of this Author">10</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%3A764+ai%3Aschwartz.dietrich" title="Publications of this Author">10</a> </td> <td class="text"> <a href="/authors/schwartz.dietrich" title="Author Profile"> Schwartz, Dietrich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Adowney.rodney-graham" title="Publications of this Author">9</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%3A764+ai%3Alevitz.hilbert" title="Publications of this Author">9</a> </td> <td class="text"> <a href="/authors/levitz.hilbert" title="Author Profile"> Levitz, Hilbert </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Amclaughlin.thomas-g" title="Publications of this Author">9</a> </td> <td class="text"> <a href="/authors/mclaughlin.thomas-g" title="Author Profile"> McLaughlin, Thomas G. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Anishimura.hirokazu" title="Publications of this Author">9</a> </td> <td class="text"> <a href="/authors/nishimura.hirokazu" title="Author Profile"> Nishimura, Hirokazu </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Avopenka.petr" title="Publications of this Author">9</a> </td> <td class="text"> <a href="/authors/vopenka.petr" title="Author Profile"> Vopenka, Petr </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Aweese.martin" title="Publications of this Author">9</a> </td> <td class="text"> <a href="/authors/weese.martin" title="Author Profile"> Weese, Martin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Asankappanavar.hanamantagouda-p" title="Publications of this Author">8</a> </td> <td class="text"> <a href="/authors/sankappanavar.hanamantagouda-p" title="Author Profile"> Sankappanavar, Hanamantagouda P. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Aschroter.karl" title="Publications of this Author">8</a> </td> <td class="text"> <a href="/authors/schroter.karl" title="Author Profile"> Schr枚ter, Karl </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Aschultz.konrad" title="Publications of this Author">8</a> </td> <td class="text"> <a href="/authors/schultz.konrad" title="Author Profile"> Schultz, Konrad </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Astarke.peter-h" title="Publications of this Author">8</a> </td> <td class="text"> <a href="/authors/starke.peter-h" title="Author Profile"> Starke, Peter H. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Awang.hao" title="Publications of this Author">8</a> </td> <td class="text"> <a href="/authors/wang.hao" title="Author Profile"> Wang, Hao </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Abridges.douglas-suth" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/bridges.douglas-suth" title="Author Profile"> Bridges, Douglas Suth </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Abuszkowski.wojciech" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/buszkowski.wojciech" title="Author Profile"> Buszkowski, Wojciech </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Adenecke.klaus" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/denecke.klaus" title="Author Profile"> Denecke, Klaus Dieter </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Aellentuck.erik" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/ellentuck.erik" title="Author Profile"> Ellentuck, Erik </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Ahecker.hans-dietrich" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/hecker.hans-dietrich" title="Author Profile"> Hecker, Hans-Dietrich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Akaiser.klaus" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/kaiser.klaus" title="Author Profile"> Kaiser, Klaus Hermann </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Alischke.gerhard" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/lischke.gerhard" title="Author Profile"> Lischke, Gerhard </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Amcbeth.rod" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/mcbeth.rod" title="Author Profile"> McBeth, Rod </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Amontagna.franco" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/montagna.franco" title="Author Profile"> Montagna, Franco </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Aschmidt.jurgen" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/schmidt.jurgen" title="Author Profile"> Schmidt, Jurgen </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Astahl.gerold" title="Publications of this Author">7</a> </td> <td class="text"> <a href="/authors/stahl.gerold" title="Author Profile"> Stahl, Gerold </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Avuckovic.vladeta" title="Publications of this Author">7</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%3A764+ai%3Abuchi.j-richard" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/buchi.j-richard" title="Author Profile"> Buchi, J. Richard </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+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%3A764+ai%3Ahajek.petr" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/hajek.petr" title="Author Profile"> H谩jek, Petr </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Ahatcher.william-s" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/hatcher.william-s" title="Author Profile"> Hatcher, William S. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Akotlarski.henryk" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/kotlarski.henryk" title="Author Profile"> Kotlarski, Henryk </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Aleblanc.hugues" title="Publications of this Author">6</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%3A764+ai%3Amullin.albert-a" title="Publications of this Author">6</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%3A764+ai%3Amyhill.john-r" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/myhill.john-r" title="Author Profile"> Myhill, John R. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Apahi.biswambhar" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/pahi.biswambhar" title="Author Profile"> Pahi, Biswambhar </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Asikic.zvonimir-s" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/sikic.zvonimir-s" title="Author Profile"> 艩iki膰, Zvonimir 艩. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Asochor.antonin" title="Publications of this Author">6</a> </td> <td class="text"> <a href="/authors/sochor.antonin" title="Author Profile"> Sochor, Antonin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Aabian.alexander" title="Publications of this Author">5</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%3A764+ai%3Aarmbrust.manfred" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/armbrust.manfred" title="Author Profile"> Armbrust, Manfred </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Aaxt.paul" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/axt.paul" title="Author Profile"> Axt, Paul </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Abanaschewski.bernhard" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/banaschewski.bernhard" title="Author Profile"> Banaschewski, Bernhard </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Acleave.john-p" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/cleave.john-p" title="Author Profile"> Cleave, John P. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+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%3A764+ai%3Agoetze.bernhard-g" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/goetze.bernhard-g" title="Author Profile"> Goetze, Bernhard G. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Agorgy.ford-waghrees" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/gorgy.ford-waghrees" title="Author Profile"> Gorgy, Ford Waghrees </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Ahartig.klaus" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/hartig.klaus" title="Author Profile"> H盲rtig, Klaus </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+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%3A764+ai%3Akanda.akira" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/kanda.akira" title="Author Profile"> Kanda, Akira </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Akruse.arthur-h" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/kruse.arthur-h" title="Author Profile"> Kruse, Arthur H. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Amurawski.roman" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/murawski.roman" title="Author Profile"> Murawski, Roman </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Aromano.daniel-abraham" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/romano.daniel-abraham" title="Author Profile"> Romano, Daniel Abraham </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Ascarpellini.bruno" title="Publications of this Author">5</a> </td> <td class="text"> <a href="/authors/scarpellini.bruno" title="Author Profile"> Scarpellini, Bruno </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+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%3A764+ai%3Aweaver.george-e" title="Publications of this Author">5</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%3A764+ai%3Aanapolitanos.dionysios-a" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/anapolitanos.dionysios-a" title="Author Profile"> Anapolitanos, Dionysios A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Abrunner.norbert" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/brunner.norbert" title="Author Profile"> Brunner, Norbert </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Acantini.andrea" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/cantini.andrea" title="Author Profile"> Cantini, Andrea </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Acirulis.janis" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/cirulis.janis" title="Author Profile"> C墨rulis, J膩nis </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Ada-costa.newton-carneiro-affonso" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/da-costa.newton-carneiro-affonso" title="Author Profile"> Da Costa, Newton Carneiro Affonso </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Adahn.bernd-ingo" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/dahn.bernd-ingo" title="Author Profile"> Dahn, Bernd Ingo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Aengeler.erwin" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/engeler.erwin" title="Author Profile"> Engeler, Erwin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Afont.josep-maria" title="Publications of this Author">4</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=se%3A764+ai%3Aforrest.williams-kramer" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/forrest.williams-kramer" title="Author Profile"> Forrest, Williams Kramer </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Afreivalds.rusins-martins" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/freivalds.rusins-martins" title="Author Profile"> Freivalds, R奴si艈拧 M膩rti艈拧 </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Aheindorf.lutz" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/heindorf.lutz" title="Author Profile"> Heindorf, Lutz </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Ahinnion.roland" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/hinnion.roland" title="Author Profile"> Hinnion, Roland </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Ahumke.paul-d" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/humke.paul-d" title="Author Profile"> Humke, Paul D. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Ajockusch.carl-g-jun" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/jockusch.carl-g-jun" title="Author Profile"> Jockusch, Carl G. jun. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Akaphengst.heinz" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/kaphengst.heinz" title="Author Profile"> Kaphengst, Heinz </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Akleinberg.eugene-m" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/kleinberg.eugene-m" title="Author Profile"> Kleinberg, Eugene M. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Akleine-buning.hans" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/kleine-buning.hans" title="Author Profile"> Kleine B眉ning, Hans </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Akrajicek.jan" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/krajicek.jan" title="Author Profile"> Kraj铆膷ek, Jan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Akranakis.evangelos" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/kranakis.evangelos" title="Author Profile"> Kranakis, Evangelos Konstantinou </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Akrynicki.michal" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/krynicki.michal" title="Author Profile"> Krynicki, Micha艂 Marian </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Akuzichev.andrey-a" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/kuzichev.andrey-a" title="Author Profile"> Kuzichev, Andre沫 Aleksandrovich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Alopez.gerard" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/lopez.gerard" title="Author Profile"> Lopez, G茅rard </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Amakinson.david" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/makinson.david" title="Author Profile"> Makinson, David Clement </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Amarcus.solomon" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/marcus.solomon" title="Author Profile"> Marcus, Solomon </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Aneumer.walter" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/neumer.walter" title="Author Profile"> Neumer, Walter </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Anovotny.miroslav" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/novotny.miroslav" title="Author Profile"> Novotn媒, Miroslav </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Apazdyka.pawel" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/pazdyka.pawel" title="Author Profile"> Pazdyka, Pawe艂 </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Apogorzelski.henry-a" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/pogorzelski.henry-a" title="Author Profile"> Pogorzelski, Henry A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Apotthoff.klaus" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/potthoff.klaus" title="Author Profile"> Potthoff, Klaus </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Apour-el.marian-boykan" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/pour-el.marian-boykan" title="Author Profile"> Pour-El, Marian Boykan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+ai%3Aprior.arthur-n" title="Publications of this Author">4</a> </td> <td class="text"> <a href="/authors/prior.arthur-n" title="Author Profile"> Prior, Arthur Norman </a> </td></tr> <tr class="more"> <td colspan="2">...and 813 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%3A764+cc%3A03" title="Publications in this Field">1,305</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%3A764+cc%3A68" title="Publications in this Field">84</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%3A764+cc%3A06" title="Publications in this Field">83</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%3A764+cc%3A08" title="Publications in this Field">53</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> <td class="number"> <a href="/?q=se%3A764+cc%3A54" title="Publications in this Field">32</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%3A764+cc%3A18" title="Publications in this Field">30</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%3A764+cc%3A05" title="Publications in this Field">28</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%3A764+cc%3A20" title="Publications in this Field">25</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%3A764+cc%3A11" title="Publications in this Field">18</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%3A764+cc%3A51" title="Publications in this Field">17</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%3A764+cc%3A12" title="Publications in this Field">15</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%3A764+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%3A764+cc%3A94" title="Publications in this Field">13</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%3A764+cc%3A60" title="Publications in this Field">9</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%3A764+cc%3A28" title="Publications in this Field">8</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%3A764+cc%3A46" title="Publications in this Field">6</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%3A764+cc%3A13" title="Publications in this Field">5</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%3A764+cc%3A01" title="Publications in this Field">4</a> </td> <td class="text"> <a href="/classification/?q=cc%3A01" title="Mathematics Subject Classification"> History and biography <span style="white-space: nowrap;">(01-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+cc%3A14" title="Publications in this Field">4</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%3A764+cc%3A16" title="Publications in this Field">4</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%3A764+cc%3A91" title="Publications in this Field">3</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%3A764+cc%3A15" title="Publications in this Field">2</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%3A764+cc%3A30" title="Publications in this Field">2</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%3A764+cc%3A55" title="Publications in this Field">2</a> </td> <td class="text"> <a href="/classification/?q=cc%3A55" title="Mathematics Subject Classification"> Algebraic topology <span style="white-space: nowrap;">(55-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+cc%3A57" title="Publications in this Field">2</a> </td> <td class="text"> <a href="/classification/?q=cc%3A57" title="Mathematics Subject Classification"> Manifolds and cell complexes <span style="white-space: nowrap;">(57-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+cc%3A31" title="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=se%3A764+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%3A764+cc%3A35" title="Publications in this Field">1</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=se%3A764+cc%3A41" title="Publications in this Field">1</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=se%3A764+cc%3A43" title="Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A43" title="Mathematics Subject Classification"> Abstract harmonic analysis <span style="white-space: nowrap;">(43-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=se%3A764+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%3A764+cc%3A49" title="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=se%3A764+cc%3A53" title="Publications in this Field">1</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%3A764+cc%3A62" title="Publications in this Field">1</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%3A764+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> </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:1955, frequency:17 },{ year:1956, frequency:23 },{ year:1957, frequency:13 },{ year:1958, frequency:19 },{ year:1959, frequency:21 },{ year:1960, frequency:21 },{ year:1961, frequency:41 },{ year:1962, frequency:24 },{ year:1963, frequency:35 },{ year:1964, frequency:33 },{ year:1965, frequency:35 },{ year:1966, frequency:30 },{ year:1967, frequency:38 },{ year:1968, frequency:36 },{ year:1969, frequency:48 },{ year:1970, frequency:36 },{ year:1971, frequency:45 },{ year:1972, frequency:47 },{ year:1973, frequency:40 },{ year:1974, frequency:56 },{ year:1975, frequency:62 },{ year:1976, frequency:63 },{ year:1977, frequency:50 },{ year:1978, frequency:60 },{ year:1979, frequency:63 },{ year:1980, frequency:61 },{ year:1981, frequency:60 },{ year:1982, frequency:54 },{ year:1983, frequency:43 },{ year:1984, frequency:57 },{ year:1985, frequency:65 },{ year:1986, frequency:65 },{ year:1987, frequency:65 },{ year:1988, frequency:58 },{ year:1989, frequency:64 },{ year:1990, frequency:55 },{ year:1991, frequency:61 },{ year:1992, frequency:54 }]; 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%3A764+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>899 Publications have been cited 6,013 times in <a href="/?q=rj%3A764">4,716 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="/0103.24705">Weak second-order arithmetic and finite automata.</a> <a class="label nowrap" href="/0103.24705">Zbl 0103.24705</a> <br><a href="/authors/buchi.j-richard" title="Author Profile">B眉chi, J. Richard</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3168667">364</a> </div> </td> <td> <div class="citation_year">1960</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/0118.01305">Semantical analysis of modal logic. I: Normal propositional calculi.</a> <a class="label nowrap" href="/0118.01305">Zbl 0118.01305</a> <br><a href="/authors/kripke.saul-a" title="Author Profile">Kripke, S. A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3192062">237</a> </div> </td> <td> <div class="citation_year">1963</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/0435.03020">On fuzzy logic. I. Many-valued rules of inference.</a> <a class="label nowrap" href="/0435.03020">Zbl 0435.03020</a> <br><a href="/authors/pavelka.jan" title="Author Profile">Pavelka, Jan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3677807">191</a> </div> </td> <td> <div class="citation_year">1979</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/0181.30504">Classes of recursively enumerable sets and degree of unsolvability.</a> <a class="label nowrap" href="/0181.30504">Zbl 0181.30504</a> <br><a href="/authors/martin.donald-a" title="Author Profile">Martin, D. A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3288593">109</a> </div> </td> <td> <div class="citation_year">1966</div> </td> </tr> <tr class="pub_ci"> <td> <a class="black" href="/0343.02009">On languages with two variables.</a> <a class="label nowrap" href="/0343.02009">Zbl 0343.02009</a> <br><a href="/authors/mortimer.michael" title="Author Profile">Mortimer, Michael</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3534460">85</a> </div> </td> <td> <div class="citation_year">1975</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0446.03016">On fuzzy logic. III. Semantical completeness of some many-valued propositional calculi.</a> <a class="label nowrap" href="/0446.03016">Zbl 0446.03016</a> <br><a href="/authors/pavelka.jan" title="Author Profile">Pavelka, Jan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3697085">83</a> </div> </td> <td> <div class="citation_year">1979</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0065.00105">Creative sets.</a> <a class="label nowrap" href="/0065.00105">Zbl 0065.00105</a> <br><a href="/authors/myhill.john-r" title="Author Profile">Myhill, John</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3110187">79</a> </div> </td> <td> <div class="citation_year">1955</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0334.02011">Fuzzy membership mapped onto intervals and many-valued quantities.</a> <a class="label nowrap" href="/0334.02011">Zbl 0334.02011</a> <br><a href="/authors/grattan-guinness.ivor" title="Author Profile">Grattan-Guinness, I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3521945">79</a> </div> </td> <td> <div class="citation_year">1976</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0446.03015">On fuzzy logic. II. Enriched residuated lattices and semantics of propositional calculi.</a> <a class="label nowrap" href="/0446.03015">Zbl 0446.03015</a> <br><a href="/authors/pavelka.jan" title="Author Profile">Pavelka, Jan</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3697084">74</a> </div> </td> <td> <div class="citation_year">1979</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0108.00602">Reducibility and completeness for sets of integers.</a> <a class="label nowrap" href="/0108.00602">Zbl 0108.00602</a> <br><a href="/authors/friedberg.richard-m" title="Author Profile">Friedberg, Richard M.</a>; <a href="/authors/rogers.hartley-jun" title="Author Profile">Rogers, Hartley jun.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3176049">66</a> </div> </td> <td> <div class="citation_year">1959</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0479.03006">Functional characters of solvable terms.</a> <a class="label nowrap" href="/0479.03006">Zbl 0479.03006</a> <br><a href="/authors/coppo.mario" title="Author Profile">Coppo, M.</a>; <a href="/authors/dezani-ciancaglini.mariangiola" title="Author Profile">Dezani-Ciancaglini, M.</a>; <a href="/authors/venneri.betti" title="Author Profile">Venneri, B.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3752817">64</a> </div> </td> <td> <div class="citation_year">1981</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0167.01302">Reflection principles and their use for establishing the complexity of axiomatic systems.</a> <a class="label nowrap" href="/0167.01302">Zbl 0167.01302</a> <br><a href="/authors/kreisel.georg" title="Author Profile">Kreisel, Georg</a>; <a href="/authors/levy.azriel" title="Author Profile">Levy, A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3267340">60</a> </div> </td> <td> <div class="citation_year">1968</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0295.02025">Theorie der Numerierungen. I.</a> <a class="label nowrap" href="/0295.02025">Zbl 0295.02025</a> <br><a href="/authors/ershov.yurij-leonidovich" title="Author Profile">Ershov, Yu. L.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3461917">59</a> </div> </td> <td> <div class="citation_year">1973</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0317.02054">Monadic generalized spectra.</a> <a class="label nowrap" href="/0317.02054">Zbl 0317.02054</a> <br><a href="/authors/fagin.ronald" title="Author Profile">Fagin, Ronald</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3496137">55</a> </div> </td> <td> <div class="citation_year">1975</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0178.30801">Modal logics between S4 and S5.</a> <a class="label nowrap" href="/0178.30801">Zbl 0178.30801</a> <br><a href="/authors/dummett.michael-anthony-eardley" title="Author Profile">Dummett, M. A. E.</a>; <a href="/authors/lemmon.edward-john" title="Author Profile">Lemmon, E. J.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3285187">55</a> </div> </td> <td> <div class="citation_year">1959</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0073.26904">H眉llensysteme und Erweiterung von Quasi-Ordnungen.</a> <a class="label nowrap" href="/0073.26904">Zbl 0073.26904</a> <br><a href="/authors/banaschewski.bernhard" title="Author Profile">Banaschewski, Bernhard</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3122484">48</a> </div> </td> <td> <div class="citation_year">1956</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0216.29102">The degrees of hyperimmune sets.</a> <a class="label nowrap" href="/0216.29102">Zbl 0216.29102</a> <br><a href="/authors/?q=ai%3Amiller.webb.1%7Cmiller.webb" title="Author Profile">Miller, Webb</a>; <a href="/authors/martin.donald-a" title="Author Profile">Martin, D. A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3343697">45</a> </div> </td> <td> <div class="citation_year">1968</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0661.03043">Notes on formal theories of truth.</a> <a class="label nowrap" href="/0661.03043">Zbl 0661.03043</a> <br><a href="/authors/cantini.andrea" title="Author Profile">Cantini, Andrea</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4079411">41</a> </div> </td> <td> <div class="citation_year">1989</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0181.00901">A semantical study of constructible falsity.</a> <a class="label nowrap" href="/0181.00901">Zbl 0181.00901</a> <br><a href="/authors/thomason.richmond-h" title="Author Profile">Thomason, R. H.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3287720">41</a> </div> </td> <td> <div class="citation_year">1969</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0068.24706">Effective operations on partial recursive functions.</a> <a class="label nowrap" href="/0068.24706">Zbl 0068.24706</a> <br><a href="/authors/myhill.john-r" title="Author Profile">Myhill, J.</a>; <a href="/authors/shepherdson.john-c" title="Author Profile">Shepherdson, J. C.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3115903">39</a> </div> </td> <td> <div class="citation_year">1955</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0453.03015">Lambda-calculus models and extensionality.</a> <a class="label nowrap" href="/0453.03015">Zbl 0453.03015</a> <br><a href="/authors/hindley.roger" title="Author Profile">Hindley, R.</a>; <a href="/authors/longo.giuseppe" title="Author Profile">Longo, Giuseppe</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3708348">36</a> </div> </td> <td> <div class="citation_year">1980</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0387.03017">Choice implies excluded middle.</a> <a class="label nowrap" href="/0387.03017">Zbl 0387.03017</a> <br><a href="/authors/goodman.nicolas-d" title="Author Profile">Goodman, N.</a>; <a href="/authors/myhill.john-r" title="Author Profile">Myhill, J.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3601578">35</a> </div> </td> <td> <div class="citation_year">1978</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0193.29405">Finite partially-ordered quantifiers.</a> <a class="label nowrap" href="/0193.29405">Zbl 0193.29405</a> <br><a href="/authors/enderton.herbert-b" title="Author Profile">Enderton, H. B.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3307505">35</a> </div> </td> <td> <div class="citation_year">1970</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0252.02018">Algebraic completeness results for Dummett’s LC and its extensions.</a> <a class="label nowrap" href="/0252.02018">Zbl 0252.02018</a> <br><a href="/authors/dunn.jon-michael" title="Author Profile">Dunn, J. Michael</a>; <a href="/authors/meyer.robert-k" title="Author Profile">Meyer, Robert K.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3397505">34</a> </div> </td> <td> <div class="citation_year">1971</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0696.03031">Quantified propositional calculi and fragments of bounded arithmetic.</a> <a class="label nowrap" href="/0696.03031">Zbl 0696.03031</a> <br><a href="/authors/krajicek.jan" title="Author Profile">Kraj铆膷ek, Jan</a>; <a href="/authors/pudlak.pavel" title="Author Profile">Pudl谩k, Pavel</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4139738">33</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0474.03018">Grothendieck topology as geometric modality.</a> <a class="label nowrap" href="/0474.03018">Zbl 0474.03018</a> <br><a href="/authors/goldblatt.robert-ian" title="Author Profile">Goldblatt, Robert I.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3743232">32</a> </div> </td> <td> <div class="citation_year">1981</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0229.02037">Arithmetical reducibilities. I.</a> <a class="label nowrap" href="/0229.02037">Zbl 0229.02037</a> <br><a href="/authors/selman.alan-l" title="Author Profile">Selman, Alan L.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3363530">32</a> </div> </td> <td> <div class="citation_year">1971</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0594.03015">Completeness results for Lambek syntactic calculus.</a> <a class="label nowrap" href="/0594.03015">Zbl 0594.03015</a> <br><a href="/authors/buszkowski.wojciech" title="Author Profile">Buszkowski, Wojciech</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3954880">31</a> </div> </td> <td> <div class="citation_year">1986</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0374.02028">Theorie der Numerierungen. III.</a> <a class="label nowrap" href="/0374.02028">Zbl 0374.02028</a> <br><a href="/authors/ershov.yurij-leonidovich" title="Author Profile">Ershov, Yu. L.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3582137">31</a> </div> </td> <td> <div class="citation_year">1977</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0162.31601">The decision problem for a class of first-order formulas in which all disjunctions are binary.</a> <a class="label nowrap" href="/0162.31601">Zbl 0162.31601</a> <br><a href="/authors/krom.melven-r" title="Author Profile">Krom, M. R.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3259895">31</a> </div> </td> <td> <div class="citation_year">1967</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0176.27803">Distributive initial segments of the degrees of unsolvability.</a> <a class="label nowrap" href="/0176.27803">Zbl 0176.27803</a> <br><a href="/authors/lachlan.alistair-h" title="Author Profile">Lachlan, A. H.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3281719">31</a> </div> </td> <td> <div class="citation_year">1968</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0228.02011">The logics containing S4.3.</a> <a class="label nowrap" href="/0228.02011">Zbl 0228.02011</a> <br><a href="/authors/fine.kit" title="Author Profile">Fine, Kit</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3361853">31</a> </div> </td> <td> <div class="citation_year">1971</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0312.02045">Minimale Gruppen.</a> <a class="label nowrap" href="/0312.02045">Zbl 0312.02045</a> <br><a href="/authors/reineke.joachim" title="Author Profile">Reineke, Joachim</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3487439">30</a> </div> </td> <td> <div class="citation_year">1975</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0218.02030">Monadic elementary formal systems.</a> <a class="label nowrap" href="/0218.02030">Zbl 0218.02030</a> <br><a href="/authors/smullyan.raymond-m" title="Author Profile">Smullyan, R. M.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3346325">30</a> </div> </td> <td> <div class="citation_year">1961</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0323.02049">On a simple definition of computable function of a real variable - with applications to functions of a complex variable.</a> <a class="label nowrap" href="/0323.02049">Zbl 0323.02049</a> <br><a href="/authors/pour-el.marian-boykan" title="Author Profile">Pour-El, Marian Boykan</a>; <a href="/authors/caldwell.jerome" title="Author Profile">Caldwell, Jerome</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3504954">29</a> </div> </td> <td> <div class="citation_year">1975</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0397.04002">L’indeformabilite des relations et multir茅lations binaires.</a> <a class="label nowrap" href="/0397.04002">Zbl 0397.04002</a> <br><a href="/authors/lopez.gerard" title="Author Profile">Lopez, Gerard</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3616432">28</a> </div> </td> <td> <div class="citation_year">1978</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0347.02040">Logics which are characterized by subresiduated lattices.</a> <a class="label nowrap" href="/0347.02040">Zbl 0347.02040</a> <br><a href="/authors/epstein.george" title="Author Profile">Epstein, George</a>; <a href="/authors/horn.alfred" title="Author Profile">Horn, Alfred</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3540810">28</a> </div> </td> <td> <div class="citation_year">1976</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0111.00904">Recursively enumerable sets and retracing functions.</a> <a class="label nowrap" href="/0111.00904">Zbl 0111.00904</a> <br><a href="/authors/yates.c-e-m" title="Author Profile">Yates, C. E. M.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3179453">28</a> </div> </td> <td> <div class="citation_year">1962</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0565.03032">Hyperdoctrines, natural deduction and the Beck condition.</a> <a class="label nowrap" href="/0565.03032">Zbl 0565.03032</a> <br><a href="/authors/seely.robert-a-g" title="Author Profile">Seely, Robert A. G.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3900748">26</a> </div> </td> <td> <div class="citation_year">1983</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0625.03021">A note on positive equivalence relations.</a> <a class="label nowrap" href="/0625.03021">Zbl 0625.03021</a> <br><a href="/authors/lachlan.alistair-h" title="Author Profile">Lachlan, A. H.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4014691">26</a> </div> </td> <td> <div class="citation_year">1987</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0467.03019">The logic of contradiction.</a> <a class="label nowrap" href="/0467.03019">Zbl 0467.03019</a> <br><a href="/authors/goodman.nicolas-d" title="Author Profile">Goodman, Nicolas D.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3732011">26</a> </div> </td> <td> <div class="citation_year">1981</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0295.02014">On some completeness theorems in modal logic.</a> <a class="label nowrap" href="/0295.02014">Zbl 0295.02014</a> <br><a href="/authors/makinson.david" title="Author Profile">Makinson, D.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3461906">26</a> </div> </td> <td> <div class="citation_year">1966</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0111.01101">The undecidability of monadic modal quantification theory.</a> <a class="label nowrap" href="/0111.01101">Zbl 0111.01101</a> <br><a href="/authors/kripke.saul-a" title="Author Profile">Kripke, S. A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3179457">26</a> </div> </td> <td> <div class="citation_year">1962</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0154.00407">That all normal extensions of S4.3 have the finite model property.</a> <a class="label nowrap" href="/0154.00407">Zbl 0154.00407</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%3A3247150">26</a> </div> </td> <td> <div class="citation_year">1966</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0793.03025">A brief survey of frames for the Lambek calculus.</a> <a class="label nowrap" href="/0793.03025">Zbl 0793.03025</a> <br><a href="/authors/dosen.kosta" title="Author Profile">Do拧en, Kosta</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584628">24</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0161.00803">Machine configuration and word problems of given degree of unsolvability.</a> <a class="label nowrap" href="/0161.00803">Zbl 0161.00803</a> <br><a href="/authors/shepherdson.john-c" title="Author Profile">Shepherdson, J. C.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3257406">24</a> </div> </td> <td> <div class="citation_year">1965</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0799.04001">Reconstruction of binary relations from their restrictions of cardinality 2, 3, 4 and $(n-1)$. I.</a> <a class="label nowrap" href="/0799.04001">Zbl 0799.04001</a> <br><a href="/authors/lopez.gerard" title="Author Profile">Lopez, G茅rard</a>; <a href="/authors/rauzy.claire" title="Author Profile">Rauzy, Claire</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584610">23</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0611.03010">Sequential calculus for a first order infinitary temporal logic.</a> <a class="label nowrap" href="/0611.03010">Zbl 0611.03010</a> <br><a href="/authors/kawai.hiroya" title="Author Profile">Kawai, Hiroya</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3987255">23</a> </div> </td> <td> <div class="citation_year">1987</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0464.60004">Exact expressions for some randomness tests.</a> <a class="label nowrap" href="/0464.60004">Zbl 0464.60004</a> <br><a href="/authors/gacs.peter" title="Author Profile">Gacs, Peter</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3727275">22</a> </div> </td> <td> <div class="citation_year">1980</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0696.03004">Note on algebraic models for relevance logic.</a> <a class="label nowrap" href="/0696.03004">Zbl 0696.03004</a> <br><a href="/authors/font.josep-maria" title="Author Profile">Font, Josep M.</a>; <a href="/authors/rodriguez.gonzalo" title="Author Profile">Rodr铆guez, Gonzalo</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4139711">21</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0425.06007">Algebraically and existentially closed distributive lattices.</a> <a class="label nowrap" href="/0425.06007">Zbl 0425.06007</a> <br><a href="/authors/schmid.jurg" title="Author Profile">Schmid, J眉rg</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3661384">21</a> </div> </td> <td> <div class="citation_year">1979</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0499.03010">Some decision problems in the theory of syntactic categories.</a> <a class="label nowrap" href="/0499.03010">Zbl 0499.03010</a> <br><a href="/authors/buszkowski.wojciech" title="Author Profile">Buszkowski, Wojciech</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3786740">20</a> </div> </td> <td> <div class="citation_year">1982</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0635.03006">Definability in the existential theory of concatenation and undecidable extensions of this theory.</a> <a class="label nowrap" href="/0635.03006">Zbl 0635.03006</a> <br><a href="/authors/buchi.j-richard" title="Author Profile">B眉chi, J. Richard</a>; <a href="/authors/senger.steven" title="Author Profile">Senger, Steven</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4033692">20</a> </div> </td> <td> <div class="citation_year">1988</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0633.06005">Heyting algebras with a dual lattice endomorphism.</a> <a class="label nowrap" href="/0633.06005">Zbl 0633.06005</a> <br><a href="/authors/sankappanavar.hanamantagouda-p" title="Author Profile">Sankappanavar, Hanamantagouda P.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4029645">20</a> </div> </td> <td> <div class="citation_year">1987</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0079.07605">Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom).</a> <a class="label nowrap" href="/0079.07605">Zbl 0079.07605</a> <br><a href="/authors/?q=ai%3Aspecker.ernst%7Cspecker.ernst-p" title="Author Profile">Specker, Ernst</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3129562">20</a> </div> </td> <td> <div class="citation_year">1957</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0299.02015">The notion of logical consequence in the logic of inexact predicates.</a> <a class="label nowrap" href="/0299.02015">Zbl 0299.02015</a> <br><a href="/authors/cleave.john-p" title="Author Profile">Cleave, John P.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3468777">20</a> </div> </td> <td> <div class="citation_year">1974</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0184.02002">The degrees of bi-immune sets.</a> <a class="label nowrap" href="/0184.02002">Zbl 0184.02002</a> <br><a href="/authors/jockusch.carl-g-jun" title="Author Profile">Jockusch, C. G. jun.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3292865">20</a> </div> </td> <td> <div class="citation_year">1969</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0645.03004">Weak logics with strict implication.</a> <a class="label nowrap" href="/0645.03004">Zbl 0645.03004</a> <br><a href="/authors/corsi.giovanna" title="Author Profile">Corsi, Giovanna</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4051559">19</a> </div> </td> <td> <div class="citation_year">1987</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0247.02037">A classification of the recursive functions.</a> <a class="label nowrap" href="/0247.02037">Zbl 0247.02037</a> <br><a href="/authors/meyer.albert-ronald" title="Author Profile">Meyer, Albert R.</a>; <a href="/authors/ritchie.dennis-m" title="Author Profile">Ritchie, Dennis M.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3390734">19</a> </div> </td> <td> <div class="citation_year">1972</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0317.02050">Rekursive Algebren mit Kettenbedingungen.</a> <a class="label nowrap" href="/0317.02050">Zbl 0317.02050</a> <br><a href="/authors/baur.walter" title="Author Profile">Baur, Walter</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3496133">19</a> </div> </td> <td> <div class="citation_year">1974</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0121.25501">Relative interpretations.</a> <a class="label nowrap" href="/0121.25501">Zbl 0121.25501</a> <br><a href="/authors/orey.steven" title="Author Profile">Orey, S.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3196260">19</a> </div> </td> <td> <div class="citation_year">1961</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0232.02028">Eine Klassifikation der $\varepsilon_ 0$-rekursiven Funktionen. (A classification of the $\varepsilon_ 0$-recursive functions.).</a> <a class="label nowrap" href="/0232.02028">Zbl 0232.02028</a> <br><a href="/authors/schwichtenberg.helmut" title="Author Profile">Schwichtenberg, Helmut</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3366911">19</a> </div> </td> <td> <div class="citation_year">1971</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0729.03032">Weak axioms of determinacy and subsystems of analysis. I: $\Delta ^ 0_ 2$ games.</a> <a class="label nowrap" href="/0729.03032">Zbl 0729.03032</a> <br><a href="/authors/tanaka.kazuyuki" title="Author Profile">Tanaka, Kazuyuki</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4204335">18</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0661.03011">Many-valued modal propositional calculi.</a> <a class="label nowrap" href="/0661.03011">Zbl 0661.03011</a> <br><a href="/authors/ostermann.pascal" title="Author Profile">Ostermann, Pascal</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4079380">18</a> </div> </td> <td> <div class="citation_year">1988</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0652.03032">Second-order and inductive definability on finite structures.</a> <a class="label nowrap" href="/0652.03032">Zbl 0652.03032</a> <br><a href="/authors/de-rougemont.michel" title="Author Profile">de Rougemont, Michel</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4063085">18</a> </div> </td> <td> <div class="citation_year">1987</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0066.25702">Das Repr盲sentantenproblem im Pr盲dikatenkalk眉l der ersten Stufe mit Identit盲t.</a> <a class="label nowrap" href="/0066.25702">Zbl 0066.25702</a> <br><a href="/authors/asser.gunter" title="Author Profile">Asser, G眉nter</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3112799">18</a> </div> </td> <td> <div class="citation_year">1955</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0118.25202">On suborderings of degrees of recursive unsolvability.</a> <a class="label nowrap" href="/0118.25202">Zbl 0118.25202</a> <br><a href="/authors/sacks.gerald-e" title="Author Profile">Sacks, G. E.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3192950">18</a> </div> </td> <td> <div class="citation_year">1961</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0499.03019">Application de la notion de relation presque-enchainable au denombrement des restrictions finies d’une relation.</a> <a class="label nowrap" href="/0499.03019">Zbl 0499.03019</a> <br><a href="/authors/pouzet.maurice" title="Author Profile">Pouzet, Maurice</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3786749">17</a> </div> </td> <td> <div class="citation_year">1981</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0612.06009">Pseudocomplemented Ockham and DeMorgan algebras.</a> <a class="label nowrap" href="/0612.06009">Zbl 0612.06009</a> <br><a href="/authors/sankappanavar.hanamantagouda-p" title="Author Profile">Sankappanavar, H. P.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3989413">17</a> </div> </td> <td> <div class="citation_year">1986</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0684.03024">An omniscience principle, the K枚nig lemma and the Hahn-Banach theorem.</a> <a class="label nowrap" href="/0684.03024">Zbl 0684.03024</a> <br><a href="/authors/ishihara.hajime" title="Author Profile">Ishihara, Hajime</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4120167">17</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0359.02029">On the definition of computable function of a real variable.</a> <a class="label nowrap" href="/0359.02029">Zbl 0359.02029</a> <br><a href="/authors/shepherdson.john-c" title="Author Profile">Shepherdson, J. C.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3559540">17</a> </div> </td> <td> <div class="citation_year">1976</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0373.02030">Orthomodular logic.</a> <a class="label nowrap" href="/0373.02030">Zbl 0373.02030</a> <br><a href="/authors/kalmbach.gudrun" title="Author Profile">Kalmbach, Gudrun</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3580510">17</a> </div> </td> <td> <div class="citation_year">1974</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0719.03005">A comparison between Lambek syntactic calculus and intuitionistic linear propositional logic.</a> <a class="label nowrap" href="/0719.03005">Zbl 0719.03005</a> <br><a href="/authors/abrusci.vito-michele" title="Author Profile">Abrusci, V. Michele</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4185578">17</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0311.02020">A spectrum hierarchy.</a> <a class="label nowrap" href="/0311.02020">Zbl 0311.02020</a> <br><a href="/authors/fagin.ronald" title="Author Profile">Fagin, Ronald</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3485738">17</a> </div> </td> <td> <div class="citation_year">1975</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0181.01301">Sublattices of the recursively enumerable degrees.</a> <a class="label nowrap" href="/0181.01301">Zbl 0181.01301</a> <br><a href="/authors/thomason.steven-k" title="Author Profile">Thomason, S. K.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3287729">17</a> </div> </td> <td> <div class="citation_year">1971</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0221.02034">The undecidability of pure transcendental extensions of real fields.</a> <a class="label nowrap" href="/0221.02034">Zbl 0221.02034</a> <br><a href="/authors/robinson.raphael-m" title="Author Profile">Robinson, Raphael M.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3349796">17</a> </div> </td> <td> <div class="citation_year">1964</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0799.04002">Reconstruction of binary relations from their restrictions of cardinality 2, 3, 4 and $(n-1)$. II.</a> <a class="label nowrap" href="/0799.04002">Zbl 0799.04002</a> <br><a href="/authors/lopez.gerard" title="Author Profile">Lopez, G茅rard</a>; <a href="/authors/rauzy.claire" title="Author Profile">Rauzy, Claire</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584626">16</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0497.03020">Ordre de Rudin-Keisler et poids dans les th茅ories stables.</a> <a class="label nowrap" href="/0497.03020">Zbl 0497.03020</a> <br><a href="/authors/lascar.daniel" title="Author Profile">Lascar, Daniel</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3782972">16</a> </div> </td> <td> <div class="citation_year">1982</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0622.03025">Bounded induction and satisfaction classes.</a> <a class="label nowrap" href="/0622.03025">Zbl 0622.03025</a> <br><a href="/authors/kotlarski.henryk" title="Author Profile">Kotlarski, Henryk</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4008378">16</a> </div> </td> <td> <div class="citation_year">1986</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0143.24902">A decision procedure for the system $E_{\bar I}$ of entailment with negation.</a> <a class="label nowrap" href="/0143.24902">Zbl 0143.24902</a> <br><a href="/authors/belnap.nuel-d-jun" title="Author Profile">Belnap, N. D. jun.</a>; <a href="/authors/wallace.john-r" title="Author Profile">Wallace, J. R.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3231067">16</a> </div> </td> <td> <div class="citation_year">1965</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0067.02903">Konfinalit盲t.</a> <a class="label nowrap" href="/0067.02903">Zbl 0067.02903</a> <br><a href="/authors/schmidt.jurgen" title="Author Profile">Schmidt, J眉rgen</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3113597">16</a> </div> </td> <td> <div class="citation_year">1955</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0158.00601">A new interpretation of the Mises’ concept of random sequence.</a> <a class="label nowrap" href="/0158.00601">Zbl 0158.00601</a> <br><a href="/authors/loveland.donald-w" title="Author Profile">Loveland, D.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3253939">16</a> </div> </td> <td> <div class="citation_year">1966</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0188.32802">Solution of the identity problem for integral exponential functions.</a> <a class="label nowrap" href="/0188.32802">Zbl 0188.32802</a> <br><a href="/authors/?q=ai%3Arichardson.daniel-c%7Crichardson.david-l%7Crichardson.david-h%7Crichardson.dejuran%7Crichardson.dianne-e%7Crichardson.david-bonner%7Crichardson.dan%7Crichardson.david-w%7Crichardson.david-m%7Crichardson.dennis-w" title="Author Profile">Richardson, D.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3300598">16</a> </div> </td> <td> <div class="citation_year">1969</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0191.30601">Some applications of forcing to hierarchy problems in arithmetic.</a> <a class="label nowrap" href="/0191.30601">Zbl 0191.30601</a> <br><a href="/authors/hinman.peter-g" title="Author Profile">Hinman, P. G.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3304055">16</a> </div> </td> <td> <div class="citation_year">1969</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0066.25604">Methoden zur Axiomatisierung beliebiger Aussagen- und Pr盲dikatenkalk眉le.</a> <a class="label nowrap" href="/0066.25604">Zbl 0066.25604</a> <br><a href="/authors/schroter.karl" title="Author Profile">Schr枚ter, Karl</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3112797">15</a> </div> </td> <td> <div class="citation_year">1955</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0810.03005">Non-commutative intuitionistic linear logic.</a> <a class="label nowrap" href="/0810.03005">Zbl 0810.03005</a> <br><a href="/authors/abrusci.vito-michele" title="Author Profile">Abrusci, V. Michele</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A9330">14</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0559.68063">The equivalence of unidirectional Lambek categorial grammars and context- free grammars.</a> <a class="label nowrap" href="/0559.68063">Zbl 0559.68063</a> <br><a href="/authors/buszkowski.wojciech" title="Author Profile">Buszkowski, Wojciech</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3892609">14</a> </div> </td> <td> <div class="citation_year">1985</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0639.49006">Topologische Maximalprinzipien. (Topological maximum principles).</a> <a class="label nowrap" href="/0639.49006">Zbl 0639.49006</a> <br><a href="/authors/brunner.norbert" title="Author Profile">Brunner, Norbert</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4042657">14</a> </div> </td> <td> <div class="citation_year">1987</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0654.03032">On choice sets and strongly non-trivial self-embeddings of recursive linear orders.</a> <a class="label nowrap" href="/0654.03032">Zbl 0654.03032</a> <br><a href="/authors/downey.rodney-graham" title="Author Profile">Downey, Rodney G.</a>; <a href="/authors/moses.michael-f" title="Author Profile">Moses, Michael F.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4066865">14</a> </div> </td> <td> <div class="citation_year">1989</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0624.06016">Principal congruences of pseudocomplemented DeMorgan algebras.</a> <a class="label nowrap" href="/0624.06016">Zbl 0624.06016</a> <br><a href="/authors/sankappanavar.hanamantagouda-p" title="Author Profile">Sankappanavar, Hanamantagouda P.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4012688">14</a> </div> </td> <td> <div class="citation_year">1987</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0282.02016">Standard classes of recursively enumerable sets.</a> <a class="label nowrap" href="/0282.02016">Zbl 0282.02016</a> <br><a href="/authors/lachlan.alistair-h" title="Author Profile">Lachlan, A. H.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3442048">14</a> </div> </td> <td> <div class="citation_year">1964</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0153.31601">The priority method. I.</a> <a class="label nowrap" href="/0153.31601">Zbl 0153.31601</a> <br><a href="/authors/lachlan.alistair-h" title="Author Profile">Lachlan, A. H.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3246239">14</a> </div> </td> <td> <div class="citation_year">1967</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0217.01202">A dichotomy of the recursively enumerable sets.</a> <a class="label nowrap" href="/0217.01202">Zbl 0217.01202</a> <br><a href="/authors/robinson.robert-w" title="Author Profile">Robinson, R. W.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3344571">14</a> </div> </td> <td> <div class="citation_year">1968</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0574.54003">Products of compact spaces in the least permutation model.</a> <a class="label nowrap" href="/0574.54003">Zbl 0574.54003</a> <br><a href="/authors/brunner.norbert" title="Author Profile">Brunner, Norbert</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3917203">13</a> </div> </td> <td> <div class="citation_year">1985</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0711.03008">Logic for reasoning about knowledge.</a> <a class="label nowrap" href="/0711.03008">Zbl 0711.03008</a> <br><a href="/authors/orlowska.ewa-s" title="Author Profile">Orlowska, Ewa</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4168657">13</a> </div> </td> <td> <div class="citation_year">1989</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0488.03035">Polyadic MV-algebras.</a> <a class="label nowrap" href="/0488.03035">Zbl 0488.03035</a> <br><a href="/authors/schwartz.dietrich" title="Author Profile">Schwartz, Dietrich</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3767651">13</a> </div> </td> <td> <div class="citation_year">1980</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0499.03009">Compatibility of a categorial grammar with an associated category system.</a> <a class="label nowrap" href="/0499.03009">Zbl 0499.03009</a> <br><a href="/authors/buszkowski.wojciech" title="Author Profile">Buszkowski, Wojciech</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3786739">13</a> </div> </td> <td> <div class="citation_year">1982</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0541.03025">Inductive inference and computable one-one numberings.</a> <a class="label nowrap" href="/0541.03025">Zbl 0541.03025</a> <br><a href="/authors/freivalds.rusins-martins" title="Author Profile">Freivalds, R奴sin拧</a>; <a href="/authors/kinber.efim-b" title="Author Profile">Kinber, Efim B.</a>; <a href="/authors/wiehagen.rolf" title="Author Profile">Wiehagen, Rolf</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A3859108">13</a> </div> </td> <td> <div class="citation_year">1982</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0625.03022">A refinement of low n and high n for the r.e. degrees.</a> <a class="label nowrap" href="/0625.03022">Zbl 0625.03022</a> <br><a href="/authors/mohrherr.jeanleah" title="Author Profile">Mohrherr, Jeanleah</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4014692">13</a> </div> </td> <td> <div class="citation_year">1986</div> </td> </tr> <tr class="pub_ci more"> <td> <a class="black" href="/0667.03034">Properly $\Sigma _ 2$ enumeration degrees.</a> <a class="label nowrap" href="/0667.03034">Zbl 0667.03034</a> <br><a href="/authors/cooper.s-barry" title="Author Profile">Cooper, S. B.</a>; <a href="/authors/copestake.c-s" title="Author Profile">Copestake, C. S.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4091488">13</a> </div> </td> <td> <div class="citation_year">1988</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/0793.03025">A brief survey of frames for the Lambek calculus.</a> <a class="label nowrap" href="/0793.03025">Zbl 0793.03025</a> <br><a href="/authors/dosen.kosta" title="Author Profile">Do拧en, Kosta</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584628">24</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/0799.04001">Reconstruction of binary relations from their restrictions of cardinality 2, 3, 4 and $(n-1)$. I.</a> <a class="label nowrap" href="/0799.04001">Zbl 0799.04001</a> <br><a href="/authors/lopez.gerard" title="Author Profile">Lopez, G茅rard</a>; <a href="/authors/rauzy.claire" title="Author Profile">Rauzy, Claire</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584610">23</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/0799.04002">Reconstruction of binary relations from their restrictions of cardinality 2, 3, 4 and $(n-1)$. II.</a> <a class="label nowrap" href="/0799.04002">Zbl 0799.04002</a> <br><a href="/authors/lopez.gerard" title="Author Profile">Lopez, G茅rard</a>; <a href="/authors/rauzy.claire" title="Author Profile">Rauzy, Claire</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584626">16</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/0798.03021">The fundamental theorem of ultraproduct in Pavelka’s logic.</a> <a class="label nowrap" href="/0798.03021">Zbl 0798.03021</a> <br><a href="/authors/ying.mingsheng" title="Author Profile">Ying, Mingsheng</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584630">12</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py"> <td> <a class="black" href="/0793.03021">Cut elimination for propositional dynamic logic without $*$.</a> <a class="label nowrap" href="/0793.03021">Zbl 0793.03021</a> <br><a href="/authors/bull.robert-a" title="Author Profile">Bull, Robert A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584622">11</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0798.03040">Partially ordered connectives.</a> <a class="label nowrap" href="/0798.03040">Zbl 0798.03040</a> <br><a href="/authors/sandu.gabriel" title="Author Profile">Sandu, Gabriel</a>; <a href="/authors/vaananen.jouko-antero" title="Author Profile">V盲盲n盲nen, Jouko</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584618">6</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0795.05102">The reconsruction of tournaments without diamond. (La reconstruction des tournois sans diamant.)</a> <a class="label nowrap" href="/0795.05102">Zbl 0795.05102</a> <br><a href="/authors/gnanvo.cyprien" title="Author Profile">Gnanvo, Cyprien</a>; <a href="/authors/ille.pierre" title="Author Profile">Ille, Pierre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584639">6</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0798.03022">Compactness, the L枚wenheim-Skolem property and the direct product of lattices of truth values.</a> <a class="label nowrap" href="/0798.03022">Zbl 0798.03022</a> <br><a href="/authors/ying.mingsheng" title="Author Profile">Ying, Mingsheng</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584649">6</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0793.03067">Levels of implication and type free theories of partial classifications with approximation operator.</a> <a class="label nowrap" href="/0793.03067">Zbl 0793.03067</a> <br><a href="/authors/cantini.andrea" title="Author Profile">Cantini, Andrea</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584624">5</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0795.05103">Faithful restriction and reconstruction of chains and infinite relations. (Restriction respectueuse et reconstruction des cha卯nes et des relations infinies.)</a> <a class="label nowrap" href="/0795.05103">Zbl 0795.05103</a> <br><a href="/authors/hagendorf.jean-guillaume" title="Author Profile">Hagendorf, Jean Guillaume</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584645">5</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0793.06003">Representation of posets.</a> <a class="label nowrap" href="/0793.06003">Zbl 0793.06003</a> <br><a href="/authors/cheng.yungchen" title="Author Profile">Cheng, Yungchen</a>; <a href="/authors/kemp.paula-a" title="Author Profile">Kemp, Paula</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584637">4</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0794.03025">Quantified modal logic with neighborhood semantics.</a> <a class="label nowrap" href="/0794.03025">Zbl 0794.03025</a> <br><a href="/authors/waagbo.geir" title="Author Profile">Waagb酶, Geir</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584646">4</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0794.03016">The decision problem for restricted universal quantification in set theory and the axiom of foundation.</a> <a class="label nowrap" href="/0794.03016">Zbl 0794.03016</a> <br><a href="/authors/parlamento.franco" title="Author Profile">Parlamento, Franco</a>; <a href="/authors/policriti.alberto" title="Author Profile">Policriti, Alberto</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584625">3</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0798.03042">Recursive Baire classification and speedable functions.</a> <a class="label nowrap" href="/0798.03042">Zbl 0798.03042</a> <br><a href="/authors/calude.cristian-s" title="Author Profile">Calude, Cristian</a>; <a href="/authors/istrate.gabriel-i" title="Author Profile">Istrate, Gabriel</a>; <a href="/authors/zimand.marius" title="Author Profile">Zimand, Marius</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584627">3</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0739.03008">The judgement calculus for intuitionistic linear logic: Proof theory and semantics.</a> <a class="label nowrap" href="/0739.03008">Zbl 0739.03008</a> <br><a href="/authors/valentini.silvio" title="Author Profile">Valentini, Silvio</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4216203">3</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0798.03051">On the transitive hull of a $\kappa$-narrow relation.</a> <a class="label nowrap" href="/0798.03051">Zbl 0798.03051</a> <br><a href="/authors/diener.karl-heinz" title="Author Profile">Diener, Karl-Heinz</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584620">2</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0793.03048">Topological framework for finite injury.</a> <a class="label nowrap" href="/0793.03048">Zbl 0793.03048</a> <br><a href="/authors/kontostathis.kyriakos" title="Author Profile">Kontostathis, Kyriakos</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584629">2</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0793.03004">A new relation-combining theorem and its application.</a> <a class="label nowrap" href="/0793.03004">Zbl 0793.03004</a> <br><a href="/authors/sun.zhi-wei" title="Author Profile">Sun, Zhiwei</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584632">2</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0798.03039">Analytic completeness theorem for absolutely continuous biprobability models.</a> <a class="label nowrap" href="/0798.03039">Zbl 0798.03039</a> <br><a href="/authors/djordevic.radosav-s" title="Author Profile">膼or膽evi膰, Radosav S.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584634">2</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0813.03005">Finite replacement and finite Hilbert-style axiomatizability.</a> <a class="label nowrap" href="/0813.03005">Zbl 0813.03005</a> <br><a href="/authors/?q=au%3AHerrmann%2C%2BB." title="Author Profile">Herrmann, B.</a>; <a href="/authors/rautenberg.wolfgang" title="Author Profile">Rautenberg, W.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584616">2</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0794.03079">Provability logic in the Gentzen formulation of arithmetic.</a> <a class="label nowrap" href="/0794.03079">Zbl 0794.03079</a> <br><a href="/authors/gentilini.paolo" title="Author Profile">Gentilini, Paolo</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584652">2</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0794.03019">Elimination of quantifiers over vectors in some theories of vector spaces.</a> <a class="label nowrap" href="/0794.03019">Zbl 0794.03019</a> <br><a href="/authors/kuzichev.andrey-a" title="Author Profile">Kuzichev, Andrey A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584656">2</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0739.03027">Algebraic closure without choice.</a> <a class="label nowrap" href="/0739.03027">Zbl 0739.03027</a> <br><a href="/authors/banaschewski.bernhard" title="Author Profile">Banaschewski, Bernhard</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4216204">2</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0739.03033">Ternary operations as primitive notions for constructive plane geometry. II.</a> <a class="label nowrap" href="/0739.03033">Zbl 0739.03033</a> <br><a href="/authors/pambuccian.victor" title="Author Profile">Pambuccian, Victor</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4216205">2</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0812.03010">On the incompleteness of a descending chain of extensions of implicational S5.</a> <a class="label nowrap" href="/0812.03010">Zbl 0812.03010</a> <br><a href="/authors/ulrich.dolph" title="Author Profile">Ulrich, Dolph</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584614">1</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0794.03011">On some interpretations of classical logic.</a> <a class="label nowrap" href="/0794.03011">Zbl 0794.03011</a> <br><a href="/authors/boricic.branislav-r" title="Author Profile">Bori膷i膰, Branislav R.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584621">1</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0798.03057">On the iterated $\omega$-rule.</a> <a class="label nowrap" href="/0798.03057">Zbl 0798.03057</a> <br><a href="/authors/michalski.grzegorz" title="Author Profile">Michalski, Grzegorz</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584631">1</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0798.03059">An interpretation of Martin-L枚f’s theory of types in elementary topos theory.</a> <a class="label nowrap" href="/0798.03059">Zbl 0798.03059</a> <br><a href="/authors/preller.anne" title="Author Profile">Preller, Anne</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584633">1</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0793.04002">Some Ramsey theory in Boolean algebra for complexity classes.</a> <a class="label nowrap" href="/0793.04002">Zbl 0793.04002</a> <br><a href="/authors/mccolm.gregory-l" title="Author Profile">McColm, Gregory L.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584640">1</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0798.03053">A formalism for some class of forcing notions.</a> <a class="label nowrap" href="/0798.03053">Zbl 0798.03053</a> <br><a href="/authors/koszmider.piotr-b" title="Author Profile">Koszmider, Piotr</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584642">1</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0798.03045">Bounds in the Turing reducibility of functions.</a> <a class="label nowrap" href="/0798.03045">Zbl 0798.03045</a> <br><a href="/authors/habart.karol" title="Author Profile">Habart, Karol</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584643">1</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0793.03062">A notation system for ordinals using $\psi$-functions on inaccessible Mahlo numbers.</a> <a class="label nowrap" href="/0793.03062">Zbl 0793.03062</a> <br><a href="/authors/pfeiffer.helmut" title="Author Profile">Pfeiffer, Helmut</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584644">1</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0794.03041">Interdefinability of Lambekian functors.</a> <a class="label nowrap" href="/0794.03041">Zbl 0794.03041</a> <br><a href="/authors/zielonka.wojciech" title="Author Profile">Zielonka, Wojciech</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584647">1</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0798.03063">Topos based semantic for constructive logic with strong negation.</a> <a class="label nowrap" href="/0798.03063">Zbl 0798.03063</a> <br><a href="/authors/klunder.barbara" title="Author Profile">Klunder, Barbara</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584648">1</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0793.03053">Russell’s alternative to the axiom of choice.</a> <a class="label nowrap" href="/0793.03053">Zbl 0793.03053</a> <br><a href="/authors/brunner.norbert" title="Author Profile">Brunner, Norbert</a>; <a href="/authors/howard.paul-e" title="Author Profile">Howard, Paul</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584651">1</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0794.03012">Flagg and Friedman’s translation is not faithful.</a> <a class="label nowrap" href="/0794.03012">Zbl 0794.03012</a> <br><a href="/authors/inoue.takao" title="Author Profile">Inou茅, Takao</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584653">1</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0797.04004">Two topological equivalents of the axiom of choice.</a> <a class="label nowrap" href="/0797.04004">Zbl 0797.04004</a> <br><a href="/authors/schechter.eric" title="Author Profile">Schechter, Eric</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A584654">1</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0724.03008">The expressive force of some fragments of intuitionistic propositional logic with regard to Kripke frames.</a> <a class="label nowrap" href="/0724.03008">Zbl 0724.03008</a> <br><a href="/authors/rodenburg.piet-h" title="Author Profile">Rodenburg, P. H.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1499">1</a> </div> </td> <td> <div class="citation_year">1992</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0769.54013">A construction in set-theoretic topology by means of elementary substructures.</a> <a class="label nowrap" href="/0769.54013">Zbl 0769.54013</a> <br><a href="/authors/bandlow.ingo" title="Author Profile">Bandlow, Ingo</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A148422">10</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0741.03013">The paraconsistent logics P${\mathcal T}$.</a> <a class="label nowrap" href="/0741.03013">Zbl 0741.03013</a> <br><a href="/authors/da-costa.newton-carneiro-affonso" title="Author Profile">da Costa, Newton C. A.</a>; <a href="/authors/subrahmanian.v-s" title="Author Profile">Subrahmanian, V. S.</a>; <a href="/authors/vago.carlo" title="Author Profile">Vago, Carlo</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A24889">9</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0739.03026">Jumps of hemimaximal sets.</a> <a class="label nowrap" href="/0739.03026">Zbl 0739.03026</a> <br><a href="/authors/downey.rodney-graham" title="Author Profile">Downey, Rod</a>; <a href="/authors/stob.mike" title="Author Profile">Stob, Mike</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A24886">8</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0702.03021">Some quotient lattices of the Medvedev lattice.</a> <a class="label nowrap" href="/0702.03021">Zbl 0702.03021</a> <br><a href="/authors/sorbi.andrea" title="Author Profile">Sorbi, Andrea</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4150134">8</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0772.03007">Deduction theorem for many-valued inference.</a> <a class="label nowrap" href="/0772.03007">Zbl 0772.03007</a> <br><a href="/authors/ying.mingsheng" title="Author Profile">Ying, Mingsheng</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A148413">7</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0753.06010">The order structure of Stone spaces and the $T_ D$-separation axiom.</a> <a class="label nowrap" href="/0753.06010">Zbl 0753.06010</a> <br><a href="/authors/gehrke.mai" title="Author Profile">Gehrke, Mai</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A24052">7</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0726.03042">On Rosser’s provability predicate.</a> <a class="label nowrap" href="/0726.03042">Zbl 0726.03042</a> <br><a href="/authors/shavrukov.v-yu" title="Author Profile">Shavrukov, V. Yu.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4197985">7</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0846.03010">Remarks on annotated logic.</a> <a class="label nowrap" href="/0846.03010">Zbl 0846.03010</a> <br><a href="/authors/da-costa.newton-carneiro-affonso" title="Author Profile">da Costa, Newton C. A.</a>; <a href="/authors/abe.jair-minoro" title="Author Profile">Abe, Jair M.</a>; <a href="/authors/subrahmanian.v-s" title="Author Profile">Subrahmanian, V. S.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A148416">6</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0741.03021">Effectivizing inseparability.</a> <a class="label nowrap" href="/0741.03021">Zbl 0741.03021</a> <br><a href="/authors/case.john" title="Author Profile">Case, John</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A24885">4</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0769.06007">Varieties of demi-pseudocomplemented lattices.</a> <a class="label nowrap" href="/0769.06007">Zbl 0769.06007</a> <br><a href="/authors/sankappanavar.hanamantagouda-p" title="Author Profile">Sankappanavar, Hanamantagouda P.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A148418">4</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0774.06007">Principal congruences of demi-pseudocomplemented Ockham algebras and applications.</a> <a class="label nowrap" href="/0774.06007">Zbl 0774.06007</a> <br><a href="/authors/sankappanavar.hanamantagouda-p" title="Author Profile">Sankappanavar, Hanamantagouda P.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A148411">3</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0759.03020">The model companion of Stone semilattices.</a> <a class="label nowrap" href="/0759.03020">Zbl 0759.03020</a> <br><a href="/authors/gerber.christoph" title="Author Profile">Gerber, Christoph</a>; <a href="/authors/schmid.jurg" title="Author Profile">Schmid, J眉rg</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A148412">3</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0741.03024">Topological framework for non-priority.</a> <a class="label nowrap" href="/0741.03024">Zbl 0741.03024</a> <br><a href="/authors/kontostathis.kyriakos" title="Author Profile">Kontostathis, K.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1861">3</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0734.03019">Axiomatization of the first-order intermediate logics of bounded Kripkean heights. II.</a> <a class="label nowrap" href="/0734.03019">Zbl 0734.03019</a> <br><a href="/authors/yokota.shinichi" title="Author Profile">Yokota, Shin&rsquo;ichi</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4213963">3</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0741.03003">Common logic of 2-valued semigroup connectives.</a> <a class="label nowrap" href="/0741.03003">Zbl 0741.03003</a> <br><a href="/authors/rautenberg.wolfgang" title="Author Profile">Rautenberg, Wolfgang</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A24891">2</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0743.03029">A note on real subsets of a recursively saturated model.</a> <a class="label nowrap" href="/0743.03029">Zbl 0743.03029</a> <br><a href="/authors/tzouvaras.athanassios" title="Author Profile">Tzouvaras, Athanassios</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A34363">2</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0743.03017">A note on Pavelka’s fuzzy logic.</a> <a class="label nowrap" href="/0743.03017">Zbl 0743.03017</a> <br><a href="/authors/turunen.esko" title="Author Profile">Turunen, Esko</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A24054">2</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0756.06004">$\mathcal F$-multipliers and the localization of distributive lattices. II.</a> <a class="label nowrap" href="/0756.06004">Zbl 0756.06004</a> <br><a href="/authors/georgescu.george" title="Author Profile">Georgescu, George</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A38496">2</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0749.03035">Constructivity of endofunctors on categories of partial enumerated sets. I: General results.</a> <a class="label nowrap" href="/0749.03035">Zbl 0749.03035</a> <br><a href="/authors/orlicki.andrzej" title="Author Profile">Orlicki, Andrzej</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A38498">2</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0768.03031">Constructivity of endofunctors on categories of partial enumerated sets. II: Some important examples.</a> <a class="label nowrap" href="/0768.03031">Zbl 0768.03031</a> <br><a href="/authors/orlicki.andrzej" title="Author Profile">Orlicki, Andrzej</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A148420">2</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0732.03031">Boolean valued Dedekind domains.</a> <a class="label nowrap" href="/0732.03031">Zbl 0732.03031</a> <br><a href="/authors/nishimura.hirokazu" title="Author Profile">Nishimura, Hirokazu</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4210125">2</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0738.03010">Syntactical proof of translation and separation theorems on subsystems of elementary ontology.</a> <a class="label nowrap" href="/0738.03010">Zbl 0738.03010</a> <br><a href="/authors/takano.mitio" title="Author Profile">Takano, Mitio</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A24888">1</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0746.54022">Representation of nonstandard hulls in IST for certain uniform spaces.</a> <a class="label nowrap" href="/0746.54022">Zbl 0746.54022</a> <br><a href="/authors/vakil.nader" title="Author Profile">Vakil, Nader</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A34362">1</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0764.03017">On a variant of weak Chang’s conjecture.</a> <a class="label nowrap" href="/0764.03017">Zbl 0764.03017</a> <br><a href="/authors/kanai.yasuo" title="Author Profile">Kanai, Yasuo</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A38495">1</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0724.03031">Extreme choices on complete lexicographic orders.</a> <a class="label nowrap" href="/0724.03031">Zbl 0724.03031</a> <br><a href="/authors/morillon.marianne" title="Author Profile">Morillon, Marianne</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1497">1</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0741.03029">Nonstandard methods and finiteness conditions in algebra.</a> <a class="label nowrap" href="/0741.03029">Zbl 0741.03029</a> <br><a href="/authors/insall.matt" title="Author Profile">Insall, Matt</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A1863">1</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0755.03025">The construction of a definable non-categorical domain.</a> <a class="label nowrap" href="/0755.03025">Zbl 0755.03025</a> <br><a href="/authors/huuskonen.taneli" title="Author Profile">Huuskonen, Taneli</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A34364">1</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0742.04002">The set of intervals of a reflexive binary multirelation. (L’ensemble des intervalles d’une multirelation binaire et reflexive.)</a> <a class="label nowrap" href="/0742.04002">Zbl 0742.04002</a> <br><a href="/authors/ille.pierre" title="Author Profile">Ille, Pierre</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A34365">1</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0736.03014">Second order definability via enumerations.</a> <a class="label nowrap" href="/0736.03014">Zbl 0736.03014</a> <br><a href="/authors/soskov.ivan-n" title="Author Profile">Soskov, Ivan N.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A24055">1</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0751.03017">Some Boolean valued commutative algebra.</a> <a class="label nowrap" href="/0751.03017">Zbl 0751.03017</a> <br><a href="/authors/nishimura.hirokazu" title="Author Profile">Nishimura, Hirokazu</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A38504">1</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0773.03029">Remarks on the Cartesian closure.</a> <a class="label nowrap" href="/0773.03029">Zbl 0773.03029</a> <br><a href="/authors/hella.lauri-t" title="Author Profile">Hella, Lauri</a>; <a href="/authors/krynicki.michal" title="Author Profile">Krynicki, Micha艂</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A148414">1</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0763.03029">Foundations of Boolean valued algebraic geometry.</a> <a class="label nowrap" href="/0763.03029">Zbl 0763.03029</a> <br><a href="/authors/nishimura.hirokazu" title="Author Profile">Nishimura, Hirokazu</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A148419">1</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0725.03029">A theory of operations on the universe. I.</a> <a class="label nowrap" href="/0725.03029">Zbl 0725.03029</a> <br><a href="/authors/garcia.narciso-m-l" title="Author Profile">Garcia, Narciso M. L.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4195928">1</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0701.68078">Abstract data types and type theory: Theories as types.</a> <a class="label nowrap" href="/0701.68078">Zbl 0701.68078</a> <br><a href="/authors/de-queiroz.ruy-jose-guerra-barretto" title="Author Profile">de Queiroz, Ruy J. G. B.</a>; <a href="/authors/maibaum.thomas-s-e" title="Author Profile">Maibaum, Thomas S. E.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4149592">1</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0702.06006">Chains in Boolean semigroup algebras.</a> <a class="label nowrap" href="/0702.06006">Zbl 0702.06006</a> <br><a href="/authors/heindorf.lutz" title="Author Profile">Heindorf, Lutz</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4150238">1</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0703.46040">Some connections between Boolean valued analysis and topological reduction theory for $C^*$-algebras.</a> <a class="label nowrap" href="/0703.46040">Zbl 0703.46040</a> <br><a href="/authors/nishimura.hirokazu" title="Author Profile">Nishimura, Hirokazu</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4153234">1</a> </div> </td> <td> <div class="citation_year">1991</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0696.03031">Quantified propositional calculi and fragments of bounded arithmetic.</a> <a class="label nowrap" href="/0696.03031">Zbl 0696.03031</a> <br><a href="/authors/krajicek.jan" title="Author Profile">Kraj铆膷ek, Jan</a>; <a href="/authors/pudlak.pavel" title="Author Profile">Pudl谩k, Pavel</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4139738">33</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0696.03004">Note on algebraic models for relevance logic.</a> <a class="label nowrap" href="/0696.03004">Zbl 0696.03004</a> <br><a href="/authors/font.josep-maria" title="Author Profile">Font, Josep M.</a>; <a href="/authors/rodriguez.gonzalo" title="Author Profile">Rodr铆guez, Gonzalo</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4139711">21</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0729.03032">Weak axioms of determinacy and subsystems of analysis. I: $\Delta ^ 0_ 2$ games.</a> <a class="label nowrap" href="/0729.03032">Zbl 0729.03032</a> <br><a href="/authors/tanaka.kazuyuki" title="Author Profile">Tanaka, Kazuyuki</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4204335">18</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0684.03024">An omniscience principle, the K枚nig lemma and the Hahn-Banach theorem.</a> <a class="label nowrap" href="/0684.03024">Zbl 0684.03024</a> <br><a href="/authors/ishihara.hajime" title="Author Profile">Ishihara, Hajime</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4120167">17</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0719.03005">A comparison between Lambek syntactic calculus and intuitionistic linear propositional logic.</a> <a class="label nowrap" href="/0719.03005">Zbl 0719.03005</a> <br><a href="/authors/abrusci.vito-michele" title="Author Profile">Abrusci, V. Michele</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4185578">17</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0810.03005">Non-commutative intuitionistic linear logic.</a> <a class="label nowrap" href="/0810.03005">Zbl 0810.03005</a> <br><a href="/authors/abrusci.vito-michele" title="Author Profile">Abrusci, V. Michele</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A9330">14</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0729.03008">Modal logics with $n$-ary connectives.</a> <a class="label nowrap" href="/0729.03008">Zbl 0729.03008</a> <br><a href="/authors/ghilardi.silvio" title="Author Profile">Ghilardi, S.</a>; <a href="/authors/meloni.g-c" title="Author Profile">Meloni, G. C.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4204313">10</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0723.03033">More on induction in the language with a satisfaction class.</a> <a class="label nowrap" href="/0723.03033">Zbl 0723.03033</a> <br><a href="/authors/kotlarski.henryk" title="Author Profile">Kotlarski, Henryk</a>; <a href="/authors/ratajczyk.zygmunt" title="Author Profile">Ratajczyk, Zygmunt</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4191620">6</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0692.03028">Effective extensions of partial orders.</a> <a class="label nowrap" href="/0692.03028">Zbl 0692.03028</a> <br><a href="/authors/roy.dev-kumar" title="Author Profile">Roy, Dev Kumar</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4132144">4</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0687.06009">${\mathcal F}$-multipliers and the localization of Hilbert algebras.</a> <a class="label nowrap" href="/0687.06009">Zbl 0687.06009</a> <br><a href="/authors/busneag.dumitru" title="Author Profile">Bu艧neag, Dumitru</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4125446">3</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0717.03019">Permutations and stratified formulae - a preservation theorem.</a> <a class="label nowrap" href="/0717.03019">Zbl 0717.03019</a> <br><a href="/authors/forster.thomas" title="Author Profile">Forster, Thomas</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4181321">3</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0712.03025">Quantifiers determined by partial orderings.</a> <a class="label nowrap" href="/0712.03025">Zbl 0712.03025</a> <br><a href="/authors/krynicki.michal" title="Author Profile">Krynicki, Micha艂</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4170883">2</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0687.03019">On a theorem of G眉nter Asser.</a> <a class="label nowrap" href="/0687.03019">Zbl 0687.03019</a> <br><a href="/authors/calude.cristian-s" title="Author Profile">Calude, Cristian</a>; <a href="/authors/kari.lila" title="Author Profile">S芒ntean, Lila</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4125383">2</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0687.03021">Jumps of nontrivial splittings of recursively enumerable sets.</a> <a class="label nowrap" href="/0687.03021">Zbl 0687.03021</a> <br><a href="/authors/ingrassia.michael-a" title="Author Profile">Ingrassia, Michael A.</a>; <a href="/authors/lempp.steffen" title="Author Profile">Lempp, Steffen</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4125385">2</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0691.03009">Many-valued modal logics: Uses and predicate calculus.</a> <a class="label nowrap" href="/0691.03009">Zbl 0691.03009</a> <br><a href="/authors/ostermann.pascal" title="Author Profile">Ostermann, Pascal</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4130347">2</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0691.03028">Some extensions of built-upness on systems of fundamental sequences.</a> <a class="label nowrap" href="/0691.03028">Zbl 0691.03028</a> <br><a href="/authors/kadota.noriya" title="Author Profile">Kadota, Noriya</a>; <a href="/authors/aoyama.kiwamu" title="Author Profile">Aoyama, Kiwamu</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4130366">2</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0691.03042">Proof theory and computer programming.</a> <a class="label nowrap" href="/0691.03042">Zbl 0691.03042</a> <br><a href="/authors/de-queiroz.ruy-jose-guerra-barretto" title="Author Profile">de Queiroz, Ruy J. G. B.</a>; <a href="/authors/maibaum.thomas-s-e" title="Author Profile">Maibaum, Thomas S. E.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4130380">2</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0691.03014">An extension of Ono’s completeness result.</a> <a class="label nowrap" href="/0691.03014">Zbl 0691.03014</a> <br><a href="/authors/suzuki.nobu-yuki" title="Author Profile">Suzuki, Nobu-Yuki</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4130352">2</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0697.03033">Much shorter proofs: A bimodal investigation.</a> <a class="label nowrap" href="/0697.03033">Zbl 0697.03033</a> <br><a href="/authors/carbone.alessandra" title="Author Profile">Carbone, Alessandra</a>; <a href="/authors/montagna.franco" title="Author Profile">Montagna, Franco</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4142029">2</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0711.03031">Some nonstandard methods applied to distributive lattices.</a> <a class="label nowrap" href="/0711.03031">Zbl 0711.03031</a> <br><a href="/authors/gehrke.mai" title="Author Profile">Gehrke, Mai</a>; <a href="/authors/insall.matt" title="Author Profile">Insall, Matt</a>; <a href="/authors/kaiser.klaus" title="Author Profile">Kaiser, Klaus</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4168680">2</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0696.03026">Stratified and positive comprehension seen as superclass rules over ordinary set theory.</a> <a class="label nowrap" href="/0696.03026">Zbl 0696.03026</a> <br><a href="/authors/hinnion.roland" title="Author Profile">Hinnion, Roland</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4139733">2</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0738.04001">The normal depth of filters on an infinite cardinal.</a> <a class="label nowrap" href="/0738.04001">Zbl 0738.04001</a> <br><a href="/authors/di-prisco.carlos-augusto" title="Author Profile">Di Prisco, C. A.</a>; <a href="/authors/?q=au%3AFuller%2C%2BM." title="Author Profile">Fuller, M.</a>; <a href="/authors/henle.james-m" title="Author Profile">Henle, J. M.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A9329">1</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0732.03037">On some categories of partial enumerated sets.</a> <a class="label nowrap" href="/0732.03037">Zbl 0732.03037</a> <br><a href="/authors/orlicki.andrzej" title="Author Profile">Orlicki, Andrzej</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4210131">1</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0728.11069">Algorithmic aspects of $Z[x_ 1,\cdot \cdot \cdot,x_ n]$ with applications to tiling problems.</a> <a class="label nowrap" href="/0728.11069">Zbl 0728.11069</a> <br><a href="/authors/clivio.alberto" title="Author Profile">Clivio, A.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4202414">1</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0669.03015">Fuzzy natural deduction.</a> <a class="label nowrap" href="/0669.03015">Zbl 0669.03015</a> <br><a href="/authors/gerla.giangiacomo" title="Author Profile">Gerla, Giangiacomo</a>; <a href="/authors/tortora.roberto" title="Author Profile">Tortora, Roberto</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4095434">1</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="pub_py more"> <td> <a class="black" href="/0671.03038">A note on the existence property for intuitionistic logic with function symbols.</a> <a class="label nowrap" href="/0671.03038">Zbl 0671.03038</a> <br><a href="/authors/doorman.l-m" title="Author Profile">Doorman, L. M.</a></td> <td> <div class="citation_count"> <a href="/?q=rf%3A4097369">1</a> </div> </td> <td> <div class="citation_year">1990</div> </td> </tr> <tr class="more"> <td colspan="3">...and 799 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 3,868 Authors</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=rj%3A764+ai%3Adowney.rodney-graham" title="Citing Publications by this Author">59</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%3A764+ai%3Astephan.frank" title="Citing Publications by this Author">37</a> </td> <td class="text"> <a href="/authors/stephan.frank" title="Author Profile"> Stephan, Frank </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A764+ai%3Asorbi.andrea" title="Citing Publications by this Author">34</a> </td> <td class="text"> <a href="/authors/sorbi.andrea" title="Author Profile"> Sorbi, Andrea </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A764+ai%3Adroste.manfred" title="Citing Publications by this Author">26</a> </td> <td class="text"> <a href="/authors/droste.manfred" title="Author Profile"> Droste, Manfred </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A764+ai%3Ashore.richard-a" title="Citing Publications by this Author">26</a> </td> <td class="text"> <a href="/authors/shore.richard-a" title="Author Profile"> Shore, Richard Arnold </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Agerla.giangiacomo" title="Citing Publications by this Author">24</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=rj%3A764+ai%3Ajockusch.carl-g-jun" title="Citing Publications by this Author">24</a> </td> <td class="text"> <a href="/authors/jockusch.carl-g-jun" title="Author Profile"> Jockusch, Carl G. jun. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Ajain.sanjay" title="Citing Publications by this Author">23</a> </td> <td class="text"> <a href="/authors/jain.sanjay" title="Author Profile"> Jain, Sanjay </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Anovak.vilem" title="Citing Publications by this Author">22</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%3A764+ai%3Avychodil.vilem" title="Citing Publications by this Author">21</a> </td> <td class="text"> <a href="/authors/vychodil.vilem" title="Author Profile"> Vychodil, Vil茅m </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Akamide.norihiro" title="Citing Publications by this Author">20</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%3A764+ai%3Alempp.steffen" title="Citing Publications by this Author">20</a> </td> <td class="text"> <a href="/authors/lempp.steffen" title="Author Profile"> Lempp, Steffen </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aboudabbous.youssef" title="Citing Publications by this Author">19</a> </td> <td class="text"> <a href="/authors/boudabbous.youssef" title="Author Profile"> Boudabbous, Youssef </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Abazhenov.n-a" title="Citing Publications by this Author">18</a> </td> <td class="text"> <a href="/authors/bazhenov.n-a" title="Author Profile"> Bazhenov, Nikola沫 Alekseevich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Abelohlavek.radim" title="Citing Publications by this Author">18</a> </td> <td class="text"> <a href="/authors/belohlavek.radim" title="Author Profile"> B臎lohl谩vek, Radim </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Afinkel.olivier" title="Citing Publications by this Author">18</a> </td> <td class="text"> <a href="/authors/finkel.olivier" title="Author Profile"> Finkel, Olivier </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Abridges.douglas-suth" title="Citing Publications by this Author">17</a> </td> <td class="text"> <a href="/authors/bridges.douglas-suth" title="Author Profile"> Bridges, Douglas Suth </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Akuznetsov.s-l" title="Citing Publications by this Author">17</a> </td> <td class="text"> <a href="/authors/kuznetsov.s-l" title="Author Profile"> Kuznetsov, Stepan L’vovich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Anies.andre-otfrid" title="Citing Publications by this Author">17</a> </td> <td class="text"> <a href="/authors/nies.andre-otfrid" title="Author Profile"> Nies, Andr茅 Otfrid </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Asoskova.mariya-ivanova" title="Citing Publications by this Author">17</a> </td> <td class="text"> <a href="/authors/soskova.mariya-ivanova" title="Author Profile"> Soskova, Mariya Ivanova </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Azakharyaschev.michael" title="Citing Publications by this Author">17</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%3A764+ai%3Abezhanishvili.guram" title="Citing Publications by this Author">16</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%3A764+ai%3Aesteva.francesc" title="Citing Publications by this Author">16</a> </td> <td class="text"> <a href="/authors/esteva.francesc" title="Author Profile"> Esteva, Francesc </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Agottwald.siegfried" title="Citing Publications by this Author">16</a> </td> <td class="text"> <a href="/authors/gottwald.siegfried" title="Author Profile"> Gottwald, Siegfried </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Ahajek.petr" title="Citing Publications by this Author">16</a> </td> <td class="text"> <a href="/authors/hajek.petr" title="Author Profile"> H谩jek, Petr </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aremmel.jeffrey-b" title="Citing Publications by this Author">16</a> </td> <td class="text"> <a href="/authors/remmel.jeffrey-b" title="Author Profile"> Remmel, Jeffrey Brian </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aterwijn.sebastiaan-a" title="Citing Publications by this Author">16</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%3A764+ai%3Awansing.heinrich-theodor" title="Citing Publications by this Author">16</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%3A764+ai%3Agreenberg.noam" title="Citing Publications by this Author">15</a> </td> <td class="text"> <a href="/authors/greenberg.noam" title="Author Profile"> Greenberg, Noam </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Amiller.joseph-s" title="Citing Publications by this Author">15</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%3A764+ai%3Atachtsis.eleftherios" title="Citing Publications by this Author">15</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%3A764+ai%3Acelani.sergio-arturo" title="Citing Publications by this Author">14</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%3A764+ai%3Agodo.lluis" title="Citing Publications by this Author">14</a> </td> <td class="text"> <a href="/authors/godo.lluis" title="Author Profile"> Godo, Llu铆s </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Amiller.russell-g" title="Citing Publications by this Author">14</a> </td> <td class="text"> <a href="/authors/miller.russell-g" title="Author Profile"> Miller, Russell G. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aslaman.theodore-a" title="Citing Publications by this Author">14</a> </td> <td class="text"> <a href="/authors/slaman.theodore-a" title="Author Profile"> Slaman, Theodore A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Axu.yang" title="Citing Publications by this Author">14</a> </td> <td class="text"> <a href="/authors/xu.yang" title="Author Profile"> Xu, Yang </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aandrews.uri" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/andrews.uri" title="Author Profile"> Andrews, Uri </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Abeklemishev.lev-d" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/beklemishev.lev-d" title="Author Profile"> Beklemishev, Lev D. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Afagin.ronald" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/fagin.ronald" title="Author Profile"> Fagin, Ronald </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aishihara.hajime" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/ishihara.hajime" title="Author Profile"> Ishihara, Hajime </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Alerman.manuel" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/lerman.manuel" title="Author Profile"> Lerman, Manuel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Amaksimova.larisa-l" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/maksimova.larisa-l" title="Author Profile"> Maksimova, Larisa L’vovna </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aspreen.dieter" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/spreen.dieter" title="Author Profile"> Spreen, Dieter </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Awang.guojun" title="Citing Publications by this Author">13</a> </td> <td class="text"> <a href="/authors/wang.guojun" title="Author Profile"> Wang, Guojun </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Abedregal.benjamin-rene-callejas" title="Citing Publications by this Author">12</a> </td> <td class="text"> <a href="/authors/bedregal.benjamin-rene-callejas" title="Author Profile"> Bedregal, Benjam铆n Ren茅 Callejas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Acalude.cristian-s" title="Citing Publications by this Author">12</a> </td> <td class="text"> <a href="/authors/calude.cristian-s" title="Author Profile"> Calude, Cristian S. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Acholak.peter-a" title="Citing Publications by this Author">12</a> </td> <td class="text"> <a href="/authors/cholak.peter-a" title="Author Profile"> Cholak, Peter A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Acooper.s-barry" title="Citing Publications by this Author">12</a> </td> <td class="text"> <a href="/authors/cooper.s-barry" title="Author Profile"> Cooper, Stuart Barry </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Adezani-ciancaglini.mariangiola" title="Citing Publications by this Author">12</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%3A764+ai%3Ahumberstone.lloyd" title="Citing Publications by this Author">12</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%3A764+ai%3Asoare.robert-i" title="Citing Publications by this Author">12</a> </td> <td class="text"> <a href="/authors/soare.robert-i" title="Author Profile"> Soare, Robert I. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aturunen.esko" title="Citing Publications by this Author">12</a> </td> <td class="text"> <a href="/authors/turunen.esko" title="Author Profile"> Turunen, Esko </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Adegtev.a-n" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/degtev.a-n" title="Author Profile"> D毛gtev, A. N. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Afaizrahmanov.marat-khaidarovich" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/faizrahmanov.marat-khaidarovich" title="Author Profile"> Fa沫zrahmanov, Marat Khaidarovich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Agastin.paul" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/gastin.paul" title="Author Profile"> Gastin, Paul </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Agradel.erich" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/gradel.erich" title="Author Profile"> Gr盲del, Erich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Ascedrov.andre" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/scedrov.andre" title="Author Profile"> 艩膷edrov, Andrej </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aselivanov.victor-l" title="Citing Publications by this Author">11</a> </td> <td class="text"> <a href="/authors/selivanov.victor-l" title="Author Profile"> Selivanov, Viktor L’vovich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Awolter.frank" title="Citing Publications by this Author">11</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%3A764+ai%3Abezhanishvili.nick" title="Citing Publications by this Author">10</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%3A764+ai%3Abrattka.vasco" title="Citing Publications by this Author">10</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%3A764+ai%3Abustince-sola.humberto" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/bustince-sola.humberto" title="Author Profile"> Bustince Sola, Humberto </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Acantini.andrea" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/cantini.andrea" title="Author Profile"> Cantini, Andrea </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aerne.marcel" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/erne.marcel" title="Author Profile"> Ern茅, Marcel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Afont.josep-maria" title="Citing Publications by this Author">10</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%3A764+ai%3Aganchev.hristo-a" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/ganchev.hristo-a" title="Author Profile"> Ganchev, Hristo A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Agoldblatt.robert-ian" title="Citing Publications by this Author">10</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%3A764+ai%3Ahoward.paul-e" title="Citing Publications by this Author">10</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=rj%3A764+ai%3Akuske.dietrich" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/kuske.dietrich" title="Author Profile"> Kuske, Dietrich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Alachlan.alistair-h" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/lachlan.alistair-h" title="Author Profile"> Lachlan, Alistair H. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Amakowsky.johann-andreas" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/makowsky.johann-andreas" title="Author Profile"> Makowsky, Johann-Andreas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Amints.grigori-efroimovich" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/mints.grigori-efroimovich" title="Author Profile"> Mints, Grigori沫 Efroimovich </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Amontagna.franco" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/montagna.franco" title="Author Profile"> Montagna, Franco </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Amundici.daniele" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/mundici.daniele" title="Author Profile"> Mundici, Daniele </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Amustafa.manat" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/mustafa.manat" title="Author Profile"> Mustafa, Manat </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Apouzet.maurice" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/pouzet.maurice" title="Author Profile"> Pouzet, Maurice </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Arathjen.michael" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/rathjen.michael" title="Author Profile"> Rathjen, Michael </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Avardi.moshe-y" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/vardi.moshe-y" title="Author Profile"> Vardi, Moshe Ya’akov </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aweihrauch.klaus" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/weihrauch.klaus" title="Author Profile"> Weihrauch, Klaus </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Awu.guohua" title="Citing Publications by this Author">10</a> </td> <td class="text"> <a href="/authors/wu.guohua" title="Author Profile"> Wu, Guohua </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aambos-spies.klaus" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/ambos-spies.klaus" title="Author Profile"> Ambos-Spies, Klaus </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aboussairi.abderrahim" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/boussairi.abderrahim" title="Author Profile"> Boussairi, Abderrahim </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Abuszkowski.wojciech" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/buszkowski.wojciech" title="Author Profile"> Buszkowski, Wojciech </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Acase.john" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/case.john" title="Author Profile"> Case, John </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Agehrke.mai" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/gehrke.mai" title="Author Profile"> Gehrke, Mai </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Ahalbach.volker" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/halbach.volker" title="Author Profile"> Halbach, Volker </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aharding.john" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/harding.john" title="Author Profile"> Harding, John </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aharrington.leo-a" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/harrington.leo-a" title="Author Profile"> Harrington, Leo A. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Akolaitis.phokion-g" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/kolaitis.phokion-g" title="Author Profile"> Kolaitis, Phokion G. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Amclaughlin.thomas-g" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/mclaughlin.thomas-g" title="Author Profile"> McLaughlin, Thomas G. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Amolkhasi.ali" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/molkhasi.ali" title="Author Profile"> Molkhasi, Ali </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Ang.kengmeng" title="Citing Publications by this Author">9</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%3A764+ai%3Anicolai.carlo" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/nicolai.carlo" title="Author Profile"> Nicolai, Carlo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aomanadze.roland-sh" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/omanadze.roland-sh" title="Author Profile"> Omanadze, Roland Sh. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Apour-el.marian-boykan" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/pour-el.marian-boykan" title="Author Profile"> Pour-El, Marian Boykan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Arautenberg.wolfgang" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/rautenberg.wolfgang" title="Author Profile"> Rautenberg, Wolfgang </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aschuster.peter-michael" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/schuster.peter-michael" title="Author Profile"> Schuster, Peter Michael </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Athomas.wolfgang" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/thomas.wolfgang" title="Author Profile"> Thomas, Wolfgang </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aying.mingsheng" title="Citing Publications by this Author">9</a> </td> <td class="text"> <a href="/authors/ying.mingsheng" title="Author Profile"> Ying, Mingsheng </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+ai%3Aarslanov.marat-m" title="Citing Publications by this Author">8</a> </td> <td class="text"> <a href="/authors/arslanov.marat-m" title="Author Profile"> Arslanov, Marat Mirzaevich </a> </td></tr> <tr class="more"> <td colspan="2">...and 3,768 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 336 Journals</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=rj%3A764+se%3A524" title="Citing Publications in this Journal">459</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%3A764+se%3A735" title="Citing Publications in this Journal">318</a> </td> <td class="text"> <a href="/serials/?q=se%3A735" title="Serial Profile"> Theoretical Computer Science </a> </td></tr><tr> <td class="number"> <a href="/?q=rj%3A764+se%3A968" title="Citing Publications in this Journal">317</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%3A764+se%3A722" title="Citing Publications in this Journal">272</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%3A764+se%3A428" title="Citing Publications in this Journal">145</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%3A764+se%3A516" title="Citing Publications in this Journal">106</a> </td> <td class="text"> <a href="/serials/?q=se%3A516" title="Serial Profile"> Journal of Philosophical Logic </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A1744" title="Citing Publications in this Journal">106</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%3A764+se%3A2008" title="Citing Publications in this Journal">105</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%3A764+se%3A297" title="Citing Publications in this Journal">85</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%3A764+se%3A744" title="Citing Publications in this Journal">75</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%3A764+se%3A1143" title="Citing Publications in this Journal">75</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%3A764+se%3A483" title="Citing Publications in this Journal">74</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%3A764+se%3A295" title="Citing Publications in this Journal">68</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%3A764+se%3A608" title="Citing Publications in this Journal">68</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%3A764+se%3A2109" title="Citing Publications in this Journal">67</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%3A764+se%3A6723" title="Citing Publications in this Journal">59</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%3A764+se%3A35" title="Citing Publications in this Journal">55</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%3A764+se%3A623" title="Citing Publications in this Journal">54</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%3A764+se%3A454" title="Citing Publications in this Journal">43</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%3A764+se%3A115" title="Citing Publications in this Journal">42</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%3A764+se%3A1899" title="Citing Publications in this Journal">42</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%3A764+se%3A709" title="Citing Publications in this Journal">41</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%3A764+se%3A1034" title="Citing Publications in this Journal">37</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%3A764+se%3A727" title="Citing Publications in this Journal">33</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%3A764+se%3A34" title="Citing Publications in this Journal">32</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%3A764+se%3A1181" title="Citing Publications in this Journal">32</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%3A764+se%3A1840" title="Citing Publications in this Journal">30</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%3A764+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%3A764+se%3A157" title="Citing Publications in this Journal">29</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%3A764+se%3A1381" title="Citing Publications in this Journal">27</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%3A764+se%3A5003" title="Citing Publications in this Journal">27</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%3A764+se%3A522" title="Citing Publications in this Journal">26</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%3A764+se%3A4911" title="Citing Publications in this Journal">23</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%3A764+se%3A69" title="Citing Publications in this Journal">22</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%3A764+se%3A2291" title="Citing Publications in this Journal">22</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%3A764+se%3A7745" title="Citing Publications in this Journal">21</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%3A764+se%3A290" title="Citing Publications in this Journal">20</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%3A764+se%3A402" title="Citing Publications in this Journal">20</a> </td> <td class="text"> <a href="/serials/?q=se%3A402" title="Serial Profile"> Czechoslovak Mathematical Journal </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A800" title="Citing Publications in this Journal">20</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%3A764+se%3A577" title="Citing Publications in this Journal">18</a> </td> <td class="text"> <a href="/serials/?q=se%3A577" title="Serial Profile"> Mathematical Systems Theory </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A1955" title="Citing Publications in this Journal">18</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%3A764+se%3A2620" title="Citing Publications in this Journal">18</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%3A764+se%3A3118" title="Citing Publications in this Journal">18</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%3A764+se%3A518" title="Citing Publications in this Journal">17</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%3A764+se%3A561" title="Citing Publications in this Journal">16</a> </td> <td class="text"> <a href="/serials/?q=se%3A561" title="Serial Profile"> Mathematische Nachrichten </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A1150" title="Citing Publications in this Journal">16</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%3A764+se%3A3397" title="Citing Publications in this Journal">16</a> </td> <td class="text"> <a href="/serials/?q=se%3A3397" title="Serial Profile"> Bulletin of the American Mathematical Society </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A113" title="Citing Publications in this Journal">15</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%3A764+se%3A541" title="Citing Publications in this Journal">15</a> </td> <td class="text"> <a href="/serials/?q=se%3A541" title="Serial Profile"> Kybernetika </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A554" title="Citing Publications in this Journal">15</a> </td> <td class="text"> <a href="/serials/?q=se%3A554" title="Serial Profile"> Mathematische Annalen </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A1382" title="Citing Publications in this Journal">15</a> </td> <td class="text"> <a href="/serials/?q=se%3A1382" title="Serial Profile"> International Journal of Foundations of Computer Science </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A1763" title="Citing Publications in this Journal">15</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%3A764+se%3A97" title="Citing Publications in this Journal">14</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%3A764+se%3A111" title="Citing Publications in this Journal">14</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%3A764+se%3A473" title="Citing Publications in this Journal">14</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%3A764+se%3A2122" title="Citing Publications in this Journal">13</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%3A764+se%3A2925" title="Citing Publications in this Journal">13</a> </td> <td class="text"> <a href="/serials/?q=se%3A2925" title="Serial Profile"> Comptes Rendus. Math茅matique. Acad茅mie des Sciences, Paris </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A336" title="Citing Publications in this Journal">12</a> </td> <td class="text"> <a href="/serials/?q=se%3A336" title="Serial Profile"> Archiv der Mathematik </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A778" title="Citing Publications in this Journal">12</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%3A764+se%3A2853" title="Citing Publications in this Journal">12</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%3A764+se%3A1072" title="Citing Publications in this Journal">11</a> </td> <td class="text"> <a href="/serials/?q=se%3A1072" title="Serial Profile"> Journal of Symbolic Computation </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A2673" title="Citing Publications in this Journal">11</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%3A764+se%3A3054" title="Citing Publications in this Journal">11</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%3A764+se%3A12" title="Citing Publications in this Journal">10</a> </td> <td class="text"> <a href="/serials/?q=se%3A12" title="Serial Profile"> Acta Informatica </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A575" title="Citing Publications in this Journal">10</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%3A764+se%3A939" title="Citing Publications in this Journal">10</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%3A764+se%3A1379" title="Citing Publications in this Journal">10</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%3A764+se%3A2558" title="Citing Publications in this Journal">10</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%3A764+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%3A764+se%3A62" title="Citing Publications in this Journal">9</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%3A764+se%3A68" title="Citing Publications in this Journal">9</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%3A764+se%3A579" title="Citing Publications in this Journal">9</a> </td> <td class="text"> <a href="/serials/?q=se%3A579" title="Serial Profile"> Mathematische Zeitschrift </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A1821" title="Citing Publications in this Journal">9</a> </td> <td class="text"> <a href="/serials/?q=se%3A1821" title="Serial Profile"> Russian Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A8501" title="Citing Publications in this Journal">9</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%3A764+se%3A642" title="Citing Publications in this Journal">8</a> </td> <td class="text"> <a href="/serials/?q=se%3A642" title="Serial Profile"> Publications of the Research Institute for Mathematical Sciences, Kyoto University </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A662" title="Citing Publications in this Journal">8</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%3A764+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%3A764+se%3A824" title="Citing Publications in this Journal">8</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%3A764+se%3A2076" title="Citing Publications in this Journal">8</a> </td> <td class="text"> <a href="/serials/?q=se%3A2076" title="Serial Profile"> Journal of Functional Programming </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A2826" title="Citing Publications in this Journal">8</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%3A764+se%3A6442" title="Citing Publications in this Journal">8</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%3A764+se%3A673" title="Citing Publications in this Journal">7</a> </td> <td class="text"> <a href="/serials/?q=se%3A673" title="Serial Profile"> Results in Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A739" title="Citing Publications in this Journal">7</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%3A764+se%3A1090" title="Citing Publications in this Journal">7</a> </td> <td class="text"> <a href="/serials/?q=se%3A1090" title="Serial Profile"> Journal of Complexity </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A2611" title="Citing Publications in this Journal">7</a> </td> <td class="text"> <a href="/serials/?q=se%3A2611" title="Serial Profile"> RAIRO. Theoretical Informatics and Applications </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A425" title="Citing Publications in this Journal">6</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%3A764+se%3A963" title="Citing Publications in this Journal">6</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%3A764+se%3A1809" title="Citing Publications in this Journal">6</a> </td> <td class="text"> <a href="/serials/?q=se%3A1809" title="Serial Profile"> Cybernetics and Systems Analysis </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A1875" title="Citing Publications in this Journal">6</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%3A764+se%3A3037" title="Citing Publications in this Journal">6</a> </td> <td class="text"> <a href="/serials/?q=se%3A3037" title="Serial Profile"> Journal of Intelligent and Fuzzy Systems </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+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%3A764+se%3A8811" title="Citing Publications in this Journal">6</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%3A764+se%3A51" title="Citing Publications in this Journal">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A51" title="Serial Profile"> Bulletin of the Australian Mathematical Society </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A493" title="Citing Publications in this Journal">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A493" title="Serial Profile"> Journal of Geometry </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A3012" title="Citing Publications in this Journal">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A3012" title="Serial Profile"> Central European Journal of Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A3222" title="Citing Publications in this Journal">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A3222" title="Serial Profile"> Iranian Journal of Fuzzy Systems </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A4210" title="Citing Publications in this Journal">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A4210" title="Serial Profile"> Proceedings of the Steklov Institute of Mathematics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A132" title="Citing Publications in this Journal">4</a> </td> <td class="text"> <a href="/serials/?q=se%3A132" title="Serial Profile"> Journal of Mathematical Analysis and Applications </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A134" title="Citing Publications in this Journal">4</a> </td> <td class="text"> <a href="/serials/?q=se%3A134" title="Serial Profile"> Journal of Mathematical Physics </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+se%3A201" title="Citing Publications in this Journal">4</a> </td> <td class="text"> <a href="/serials/?q=se%3A201" title="Serial Profile"> Russian Mathematical Surveys </a> </td></tr> <tr class="more"> <td colspan="2">...and 236 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 52 Fields</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=rj%3A764+cc%3A03" title="Citing Publications in this Field">3,683</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%3A764+cc%3A68" title="Citing Publications in this Field">1,285</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%3A764+cc%3A06" title="Citing Publications in this Field">466</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%3A764+cc%3A08" title="Citing Publications in this Field">163</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> <td class="number"> <a href="/?q=rj%3A764+cc%3A05" title="Citing Publications in this Field">139</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%3A764+cc%3A54" title="Citing Publications in this Field">130</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%3A764+cc%3A20" title="Citing Publications in this Field">123</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%3A764+cc%3A01" title="Citing Publications in this Field">103</a> </td> <td class="text"> <a href="/classification/?q=cc%3A01" title="Mathematics Subject Classification"> History and biography <span style="white-space: nowrap;">(01-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+cc%3A18" title="Citing Publications in this Field">97</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%3A764+cc%3A91" title="Citing Publications in this Field">82</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%3A764+cc%3A11" title="Citing Publications in this Field">64</a> </td> <td class="text"> <a href="/classification/?q=cc%3A11" title="Mathematics Subject Classification"> Number theory <span style="white-space: nowrap;">(11-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+cc%3A12" title="Citing Publications in this Field">44</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%3A764+cc%3A81" title="Citing Publications in this Field">33</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%3A764+cc%3A26" title="Citing Publications in this Field">32</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%3A764+cc%3A00" title="Citing Publications in this Field">29</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%3A764+cc%3A94" title="Citing Publications in this Field">29</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%3A764+cc%3A13" title="Citing Publications in this Field">28</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%3A764+cc%3A51" title="Citing Publications in this Field">28</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%3A764+cc%3A16" title="Citing Publications in this Field">27</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%3A764+cc%3A46" title="Citing Publications in this Field">25</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%3A764+cc%3A60" title="Citing Publications in this Field">21</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%3A764+cc%3A62" title="Citing Publications in this Field">20</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%3A764+cc%3A47" title="Citing Publications in this Field">19</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%3A764+cc%3A28" title="Citing Publications in this Field">17</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%3A764+cc%3A37" title="Citing Publications in this Field">15</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%3A764+cc%3A90" title="Citing Publications in this Field">15</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%3A764+cc%3A93" title="Citing Publications in this Field">15</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%3A764+cc%3A22" title="Citing Publications in this Field">13</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%3A764+cc%3A14" title="Citing Publications in this Field">10</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%3A764+cc%3A49" title="Citing Publications in this Field">10</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%3A764+cc%3A65" title="Citing Publications in this Field">10</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%3A764+cc%3A30" title="Citing Publications in this Field">9</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%3A764+cc%3A92" title="Citing Publications in this Field">8</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%3A764+cc%3A15" title="Citing 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=rj%3A764+cc%3A52" title="Citing Publications in this Field">7</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%3A764+cc%3A35" title="Citing Publications in this Field">4</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%3A764+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%3A764+cc%3A83" title="Citing Publications in this Field">4</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%3A764+cc%3A17" title="Citing Publications in this Field">2</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%3A764+cc%3A31" title="Citing Publications in this Field">2</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%3A764+cc%3A34" title="Citing Publications in this Field">2</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%3A764+cc%3A39" title="Citing Publications in this Field">2</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%3A764+cc%3A40" title="Citing Publications in this Field">2</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%3A764+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%3A764+cc%3A57" title="Citing Publications in this Field">2</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%3A764+cc%3A58" title="Citing Publications in this Field">2</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%3A764+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%3A764+cc%3A32" title="Citing Publications in this Field">1</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%3A764+cc%3A33" title="Citing Publications in this Field">1</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%3A764+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><tr class="more"> <td class="number"> <a href="/?q=rj%3A764+cc%3A82" title="Citing Publications in this Field">1</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%3A764+cc%3A85" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A85" title="Mathematics Subject Classification"> Astronomy and astrophysics <span style="white-space: nowrap;">(85-XX)</span> </a> </td></tr> </table> </div> <div class="diagram svg-diagram"> <h3>Citations by Year</h3> <div class="diagram ci-diagram" aria-label="citations by year"></div> <style> rect:hover { fill: steelblue; } .axis path, .axis line { fill: none; stroke: #000; shape-rendering: crispEdges; } .bar { fill: steelblue; } </style> <style> rect:hover { fill: steelblue; } .axis path, .axis line { fill: none; stroke: #000; shape-rendering: crispEdges; } .bar { fill: steelblue; } a:hover .bar, a:focus .bar { stroke: black; fill-opacity: 60%; } </style> <script> var margin = { top: 20, right: 0, bottom: 30, left: 50 }; var width = 930 - margin.left - margin.right; var height = 150 - margin.top - margin.bottom; var svg = d3.selectAll(".ci-diagram").append("svg") .attr("width", width + margin.left + margin.right) .attr("height", height + margin.top + margin.bottom) .append("g") .attr("transform", "translate(" + margin.left + "," + margin.top + ")"); var data = [{ year:1951, frequency:1 },{ year:1957, frequency:1 },{ year:1958, frequency:3 },{ year:1959, frequency:7 },{ year:1960, frequency:8 },{ year:1961, frequency:6 },{ year:1962, frequency:3 },{ year:1963, frequency:11 },{ year:1964, frequency:8 },{ year:1965, frequency:21 },{ year:1966, frequency:21 },{ year:1967, frequency:16 },{ year:1968, frequency:23 },{ year:1969, frequency:24 },{ year:1970, frequency:15 },{ year:1971, frequency:31 },{ year:1972, frequency:39 },{ year:1973, frequency:37 },{ year:1974, frequency:32 },{ year:1975, frequency:45 },{ year:1976, frequency:44 },{ year:1977, frequency:40 },{ year:1978, frequency:39 },{ year:1979, frequency:35 },{ year:1980, frequency:41 },{ year:1981, frequency:56 },{ year:1982, frequency:46 },{ year:1983, frequency:70 },{ year:1984, frequency:63 },{ year:1985, frequency:51 },{ year:1986, frequency:51 },{ year:1987, frequency:56 },{ year:1988, frequency:46 },{ year:1989, frequency:78 },{ year:1990, frequency:79 },{ year:1991, frequency:80 },{ year:1992, frequency:103 },{ year:1993, frequency:93 },{ year:1994, frequency:74 },{ year:1995, frequency:90 },{ year:1996, frequency:94 },{ year:1997, frequency:88 },{ year:1998, frequency:64 },{ year:1999, frequency:72 },{ year:2000, frequency:47 },{ year:2001, frequency:68 },{ year:2002, frequency:60 },{ year:2003, frequency:80 },{ year:2004, frequency:74 },{ year:2005, frequency:77 },{ year:2006, frequency:108 },{ year:2007, frequency:74 },{ year:2008, frequency:118 },{ year:2009, frequency:116 },{ year:2010, frequency:101 },{ year:2011, frequency:106 },{ year:2012, frequency:101 },{ year:2013, frequency:70 },{ year:2014, frequency:131 },{ year:2015, frequency:134 },{ year:2016, frequency:160 },{ year:2017, frequency:136 },{ year:2018, frequency:154 },{ year:2019, frequency:148 },{ year:2020, frequency:124 },{ year:2021, frequency:173 },{ year:2022, frequency:146 },{ year:2023, frequency:145 },{ year:2024, frequency:138 },{ year:2025, frequency:22 }]; 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%3A764+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

Zeitschrift f眉r Mathematische Logik und Grundlagen der Mathematik - Serial Profile - zbMATH Open