Classification Search Result

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>Classification Search Result - zbMATH Open</title> <meta name="viewport" content="width=device-width, minimum-scale=0.1, maximum-scale=5.0"> <meta name="robots" content="noarchive, noindex"> <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="/classification/?q=cc%3A03"> <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"> <a href="/serials/">Serials</a> </li> <li class="tab-software"> <a href="/software/">Software</a> </li> <li class="tab-classification active"> <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"> <form class="form-inline" name="classification" method="GET" action="/classification/"> <div class="classification one-line" style="display: block;"> <div id="search-row" class="input-group box"> <span> <div id="search-field"> <input class="query form-control" type="text" name="q" value="cc:03" aria-label="Search for classification" placeholder="Search for classification" 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">cc:</span><span>  </span>code</a></li> <li><a href="#"><span class="token item">ct:</span><span>  </span>title</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="/classification/?q=Geometry">Geometry</a></span> <span class="search-explanation" role="cell" role="cell">Search for the term <em>Geometry</em> in <strong>any</strong> field. Queries are <strong>case - independent</strong>.</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>cc</strong> </span> <span class="search-explanation" role="cell" role="cell"> MSC code (use first two, first three or all five MSC digits; MSC2020 only) </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>ct</strong> </span> <span class="search-explanation" role="cell" role="cell"> Text from the description </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> </div> <div id="body"> <div id="main"> <div class="messages"> </div> <div id="classification"> <div class="content-main"> <div class="content-result"> <div class="head"> <h2>Mathematics Subject Classification – MSC2020</h2> </div> <div class="item level0"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03">03-XX</a></div> <div class="text"> <a href="/classification/?q=cc%3A03">Mathematical logic and foundations</a> <a target="_blank" href="/atom/cc/03"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03"><i class="glyphicon glyphicon-share-alt"></i> 132009</a> </div> </article> </div> <div class="item level1"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03-00">03-00</a></div> <div class="text"> <a href="/classification/?q=cc%3A03-00">General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations</a> <a target="_blank" href="/atom/cc/03-00"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03-00" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03-00"><i class="glyphicon glyphicon-share-alt"></i> 103</a> </div> </article> </div> <div class="item level1"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03-01">03-01</a></div> <div class="text"> <a href="/classification/?q=cc%3A03-01">Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations</a> <a target="_blank" href="/atom/cc/03-01"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03-01" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03-01"><i class="glyphicon glyphicon-share-alt"></i> 2025</a> </div> </article> </div> <div class="item level1"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03-02">03-02</a></div> <div class="text"> <a href="/classification/?q=cc%3A03-02">Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations</a> <a target="_blank" href="/atom/cc/03-02"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03-02" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03-02"><i class="glyphicon glyphicon-share-alt"></i> 2822</a> </div> </article> </div> <div class="item level1"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03-03">03-03</a></div> <div class="text"> <a href="/classification/?q=cc%3A03-03">History of mathematical logic and foundations</a> [Consider also classification numbers from Section <a href="/classification/?q=cc%3A01%2A">01-XX</a>] <a target="_blank" href="/atom/cc/03-03"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03-03" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03-03"><i class="glyphicon glyphicon-share-alt"></i> 4850</a> </div> </article> </div> <div class="item level1"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03-04">03-04</a></div> <div class="text"> <a href="/classification/?q=cc%3A03-04">Software, source code, etc. for problems pertaining to mathematical logic and foundations</a> <a target="_blank" href="/atom/cc/03-04"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03-04" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03-04"><i class="glyphicon glyphicon-share-alt"></i> 186</a> </div> </article> </div> <div class="item level1"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03-06">03-06</a></div> <div class="text"> <a href="/classification/?q=cc%3A03-06">Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations</a> <a target="_blank" href="/atom/cc/03-06"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03-06" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03-06"><i class="glyphicon glyphicon-share-alt"></i> 2765</a> </div> </article> </div> <div class="item level1"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03-08">03-08</a></div> <div class="text"> <a href="/classification/?q=cc%3A03-08">Computational methods for problems pertaining to mathematical logic and foundations</a> <a target="_blank" href="/atom/cc/03-08"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03-08" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03-08"><i class="glyphicon glyphicon-share-alt"></i> 3</a> </div> </article> </div> <div class="item level1"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03-11">03-11</a></div> <div class="text"> <a href="/classification/?q=cc%3A03-11">Research data for problems pertaining to mathematical logic and foundations</a> <a target="_blank" href="/atom/cc/03-11"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03-11" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03-11"><i class="glyphicon glyphicon-share-alt"></i> 0</a> </div> </article> </div> <div class="item level1"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03A">03Axx</a></div> <div class="text"> <a href="/classification/?q=cc%3A03A">Philosophical aspects of logic and foundations</a> <a target="_blank" href="/atom/cc/03A"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03A" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03A"><i class="glyphicon glyphicon-share-alt"></i> 14747</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03A05">03A05</a></div> <div class="text"> <a href="/classification/?q=cc%3A03A05">Philosophical and critical aspects of logic and foundations</a> {For philosophy of mathematics, see also <a href="/classification/?q=cc%3A00A30">00A30</a>} <a target="_blank" href="/atom/cc/03A05"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03A05" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03A05"><i class="glyphicon glyphicon-share-alt"></i> 13844</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03A10">03A10</a></div> <div class="text"> <a href="/classification/?q=cc%3A03A10">Logic in the philosophy of science</a> <a target="_blank" href="/atom/cc/03A10"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03A10" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03A10"><i class="glyphicon glyphicon-share-alt"></i> 1127</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03A99">03A99</a></div> <div class="text"> <a href="/classification/?q=cc%3A03A99">None of the above, but in this section</a> <a target="_blank" href="/atom/cc/03A99"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03A99" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03A99"><i class="glyphicon glyphicon-share-alt"></i> 27</a> </div> </article> </div> <div class="item level1"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B">03Bxx</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B">General logic</a> <a target="_blank" href="/atom/cc/03B"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B"><i class="glyphicon glyphicon-share-alt"></i> 52212</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B05">03B05</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B05">Classical propositional logic</a> <a target="_blank" href="/atom/cc/03B05"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B05" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B05"><i class="glyphicon glyphicon-share-alt"></i> 2044</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B10">03B10</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B10">Classical first-order logic</a> <a target="_blank" href="/atom/cc/03B10"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B10" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B10"><i class="glyphicon glyphicon-share-alt"></i> 2067</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B16">03B16</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B16">Higher-order logic</a> <a target="_blank" href="/atom/cc/03B16"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B16" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B16"><i class="glyphicon glyphicon-share-alt"></i> 232</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B20">03B20</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B20">Subsystems of classical logic (including intuitionistic logic)</a> <a target="_blank" href="/atom/cc/03B20"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B20" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B20"><i class="glyphicon glyphicon-share-alt"></i> 2275</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B22">03B22</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B22">Abstract deductive systems</a> <a target="_blank" href="/atom/cc/03B22"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B22" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B22"><i class="glyphicon glyphicon-share-alt"></i> 625</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B25">03B25</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B25">Decidability of theories and sets of sentences</a> [See also <a href="/classification/?q=cc%3A11U05">11U05</a>, <a href="/classification/?q=cc%3A12L05">12L05</a>, <a href="/classification/?q=cc%3A20F10">20F10</a>] <a target="_blank" href="/atom/cc/03B25"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B25" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B25"><i class="glyphicon glyphicon-share-alt"></i> 4308</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B30">03B30</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B30">Foundations of classical theories (including reverse mathematics)</a> [See also <a href="/classification/?q=cc%3A03F35">03F35</a>] <a target="_blank" href="/atom/cc/03B30"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B30" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B30"><i class="glyphicon glyphicon-share-alt"></i> 1495</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B35">03B35</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B35">Mechanization of proofs and logical operations</a> [See also <a href="/classification/?q=cc%3A68V15">68V15</a>] <a target="_blank" href="/atom/cc/03B35"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B35" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B35"><i class="glyphicon glyphicon-share-alt"></i> 4398</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B38">03B38</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B38">Type theory</a> <a target="_blank" href="/atom/cc/03B38"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B38" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B38"><i class="glyphicon glyphicon-share-alt"></i> 431</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B40">03B40</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B40">Combinatory logic and lambda calculus</a> [See also <a href="/classification/?q=cc%3A68N18">68N18</a>] <a target="_blank" href="/atom/cc/03B40"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B40" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B40"><i class="glyphicon glyphicon-share-alt"></i> 3755</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B42">03B42</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B42">Logics of knowledge and belief (including belief change)</a> <a target="_blank" href="/atom/cc/03B42"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B42" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B42"><i class="glyphicon glyphicon-share-alt"></i> 3130</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B44">03B44</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B44">Temporal logic</a> <a target="_blank" href="/atom/cc/03B44"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B44" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B44"><i class="glyphicon glyphicon-share-alt"></i> 2911</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B45">03B45</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B45">Modal logic (including the logic of norms)</a> {For knowledge and belief, see <a href="/classification/?q=cc%3A03B42">03B42</a>; for temporal logic, see <a href="/classification/?q=cc%3A03B44">03B44</a>; for provability logic, see also <a href="/classification/?q=cc%3A03F45">03F45</a>} <a target="_blank" href="/atom/cc/03B45"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B45" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B45"><i class="glyphicon glyphicon-share-alt"></i> 9165</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B47">03B47</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B47">Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)</a> {For proof-theoretic aspects, see <a href="/classification/?q=cc%3A03F52">03F52</a>} <a target="_blank" href="/atom/cc/03B47"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B47" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B47"><i class="glyphicon glyphicon-share-alt"></i> 1729</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B48">03B48</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B48">Probability and inductive logic</a> [See also <a href="/classification/?q=cc%3A60A05">60A05</a>] <a target="_blank" href="/atom/cc/03B48"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B48" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B48"><i class="glyphicon glyphicon-share-alt"></i> 1552</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B50">03B50</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B50">Many-valued logic</a> <a target="_blank" href="/atom/cc/03B50"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B50" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B50"><i class="glyphicon glyphicon-share-alt"></i> 4164</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B52">03B52</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B52">Fuzzy logic; logic of vagueness</a> [See also <a href="/classification/?q=cc%3A68T27">68T27</a>, <a href="/classification/?q=cc%3A68T37">68T37</a>, <a href="/classification/?q=cc%3A94D05">94D05</a>] <a target="_blank" href="/atom/cc/03B52"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B52" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B52"><i class="glyphicon glyphicon-share-alt"></i> 4135</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B53">03B53</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B53">Paraconsistent logics</a> <a target="_blank" href="/atom/cc/03B53"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B53" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B53"><i class="glyphicon glyphicon-share-alt"></i> 1475</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B55">03B55</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B55">Intermediate logics</a> <a target="_blank" href="/atom/cc/03B55"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B55" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B55"><i class="glyphicon glyphicon-share-alt"></i> 1010</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B60">03B60</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B60">Other nonclassical logic</a> <a target="_blank" href="/atom/cc/03B60"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B60" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B60"><i class="glyphicon glyphicon-share-alt"></i> 3139</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B62">03B62</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B62">Combined logics</a> <a target="_blank" href="/atom/cc/03B62"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B62" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B62"><i class="glyphicon glyphicon-share-alt"></i> 183</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B65">03B65</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B65">Logic of natural languages</a> [See also <a href="/classification/?q=cc%3A68T50">68T50</a>, <a href="/classification/?q=cc%3A91F20">91F20</a>] <a target="_blank" href="/atom/cc/03B65"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B65" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B65"><i class="glyphicon glyphicon-share-alt"></i> 2409</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B70">03B70</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B70">Logic in computer science</a> [See also <a href="/classification/?q=cc%3A68%2A">68-XX</a>] <a target="_blank" href="/atom/cc/03B70"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B70" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B70"><i class="glyphicon glyphicon-share-alt"></i> 7232</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B80">03B80</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B80">Other applications of logic</a> <a target="_blank" href="/atom/cc/03B80"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B80" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B80"><i class="glyphicon glyphicon-share-alt"></i> 634</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03B99">03B99</a></div> <div class="text"> <a href="/classification/?q=cc%3A03B99">None of the above, but in this section</a> <a target="_blank" href="/atom/cc/03B99"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03B99" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03B99"><i class="glyphicon glyphicon-share-alt"></i> 1450</a> </div> </article> </div> <div class="item level1"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C">03Cxx</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C">Model theory</a> <a target="_blank" href="/atom/cc/03C"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C"><i class="glyphicon glyphicon-share-alt"></i> 17427</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C05">03C05</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C05">Equational classes, universal algebra in model theory</a> [See also <a href="/classification/?q=cc%3A08A%2A">08Axx</a>, <a href="/classification/?q=cc%3A08B%2A">08Bxx</a>, <a href="/classification/?q=cc%3A18C05">18C05</a>] <a target="_blank" href="/atom/cc/03C05"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C05" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C05"><i class="glyphicon glyphicon-share-alt"></i> 1073</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C07">03C07</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C07">Basic properties of first-order languages and structures</a> <a target="_blank" href="/atom/cc/03C07"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C07" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C07"><i class="glyphicon glyphicon-share-alt"></i> 666</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C10">03C10</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C10">Quantifier elimination, model completeness, and related topics</a> <a target="_blank" href="/atom/cc/03C10"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C10" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C10"><i class="glyphicon glyphicon-share-alt"></i> 1122</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C13">03C13</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C13">Model theory of finite structures</a> [See also <a href="/classification/?q=cc%3A68Q15">68Q15</a>, <a href="/classification/?q=cc%3A68Q19">68Q19</a>] <a target="_blank" href="/atom/cc/03C13"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C13" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C13"><i class="glyphicon glyphicon-share-alt"></i> 1121</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C15">03C15</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C15">Model theory of denumerable and separable structures</a> <a target="_blank" href="/atom/cc/03C15"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C15" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C15"><i class="glyphicon glyphicon-share-alt"></i> 686</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C20">03C20</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C20">Ultraproducts and related constructions</a> <a target="_blank" href="/atom/cc/03C20"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C20" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C20"><i class="glyphicon glyphicon-share-alt"></i> 742</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C25">03C25</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C25">Model-theoretic forcing</a> <a target="_blank" href="/atom/cc/03C25"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C25" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C25"><i class="glyphicon glyphicon-share-alt"></i> 222</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C30">03C30</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C30">Other model constructions</a> <a target="_blank" href="/atom/cc/03C30"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C30" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C30"><i class="glyphicon glyphicon-share-alt"></i> 408</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C35">03C35</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C35">Categoricity and completeness of theories</a> <a target="_blank" href="/atom/cc/03C35"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C35" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C35"><i class="glyphicon glyphicon-share-alt"></i> 1290</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C40">03C40</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C40">Interpolation, preservation, definability</a> <a target="_blank" href="/atom/cc/03C40"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C40" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C40"><i class="glyphicon glyphicon-share-alt"></i> 954</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C45">03C45</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C45">Classification theory, stability, and related concepts in model theory</a> [See also <a href="/classification/?q=cc%3A03C48">03C48</a>] <a target="_blank" href="/atom/cc/03C45"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C45" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C45"><i class="glyphicon glyphicon-share-alt"></i> 2306</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C48">03C48</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C48">Abstract elementary classes and related topics</a> [See also <a href="/classification/?q=cc%3A03C45">03C45</a>] <a target="_blank" href="/atom/cc/03C48"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C48" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C48"><i class="glyphicon glyphicon-share-alt"></i> 181</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C50">03C50</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C50">Models with special properties (saturated, rigid, etc.)</a> <a target="_blank" href="/atom/cc/03C50"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C50" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C50"><i class="glyphicon glyphicon-share-alt"></i> 761</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C52">03C52</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C52">Properties of classes of models</a> <a target="_blank" href="/atom/cc/03C52"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C52" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C52"><i class="glyphicon glyphicon-share-alt"></i> 492</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C55">03C55</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C55">Set-theoretic model theory</a> <a target="_blank" href="/atom/cc/03C55"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C55" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C55"><i class="glyphicon glyphicon-share-alt"></i> 373</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C57">03C57</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C57">Computable structure theory, computable model theory</a> [See also <a href="/classification/?q=cc%3A03D45">03D45</a>] <a target="_blank" href="/atom/cc/03C57"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C57" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C57"><i class="glyphicon glyphicon-share-alt"></i> 1168</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C60">03C60</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C60">Model-theoretic algebra</a> [See also <a href="/classification/?q=cc%3A08C10">08C10</a>, <a href="/classification/?q=cc%3A12L%2A">12Lxx</a>, <a href="/classification/?q=cc%3A13L05">13L05</a>] <a target="_blank" href="/atom/cc/03C60"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C60" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C60"><i class="glyphicon glyphicon-share-alt"></i> 3602</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C62">03C62</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C62">Models of arithmetic and set theory</a> [See also <a href="/classification/?q=cc%3A03H%2A">03Hxx</a>] <a target="_blank" href="/atom/cc/03C62"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C62" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C62"><i class="glyphicon glyphicon-share-alt"></i> 845</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C64">03C64</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C64">Model theory of ordered structures; o-minimality</a> <a target="_blank" href="/atom/cc/03C64"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C64" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C64"><i class="glyphicon glyphicon-share-alt"></i> 1181</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C65">03C65</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C65">Models of other mathematical theories</a> <a target="_blank" href="/atom/cc/03C65"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C65" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C65"><i class="glyphicon glyphicon-share-alt"></i> 585</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C66">03C66</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C66">Continuous model theory, model theory of metric structures</a> <a target="_blank" href="/atom/cc/03C66"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C66" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C66"><i class="glyphicon glyphicon-share-alt"></i> 108</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C68">03C68</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C68">Other classical first-order model theory</a> <a target="_blank" href="/atom/cc/03C68"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C68" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C68"><i class="glyphicon glyphicon-share-alt"></i> 673</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C70">03C70</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C70">Logic on admissible sets</a> <a target="_blank" href="/atom/cc/03C70"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C70" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C70"><i class="glyphicon glyphicon-share-alt"></i> 145</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C75">03C75</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C75">Other infinitary logic</a> <a target="_blank" href="/atom/cc/03C75"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C75" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C75"><i class="glyphicon glyphicon-share-alt"></i> 704</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C80">03C80</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C80">Logic with extra quantifiers and operators</a> [See also <a href="/classification/?q=cc%3A03B42">03B42</a>, <a href="/classification/?q=cc%3A03B44">03B44</a>, <a href="/classification/?q=cc%3A03B45">03B45</a>, <a href="/classification/?q=cc%3A03B48">03B48</a>] <a target="_blank" href="/atom/cc/03C80"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C80" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C80"><i class="glyphicon glyphicon-share-alt"></i> 900</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C85">03C85</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C85">Second- and higher-order model theory</a> <a target="_blank" href="/atom/cc/03C85"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C85" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C85"><i class="glyphicon glyphicon-share-alt"></i> 273</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C90">03C90</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C90">Nonclassical models (Boolean-valued, sheaf, etc.)</a> <a target="_blank" href="/atom/cc/03C90"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C90" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C90"><i class="glyphicon glyphicon-share-alt"></i> 498</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C95">03C95</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C95">Abstract model theory</a> <a target="_blank" href="/atom/cc/03C95"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C95" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C95"><i class="glyphicon glyphicon-share-alt"></i> 371</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C98">03C98</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C98">Applications of model theory</a> [See also <a href="/classification/?q=cc%3A03C60">03C60</a>] <a target="_blank" href="/atom/cc/03C98"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C98" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C98"><i class="glyphicon glyphicon-share-alt"></i> 510</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03C99">03C99</a></div> <div class="text"> <a href="/classification/?q=cc%3A03C99">None of the above, but in this section</a> <a target="_blank" href="/atom/cc/03C99"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03C99" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03C99"><i class="glyphicon glyphicon-share-alt"></i> 804</a> </div> </article> </div> <div class="item level1"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D">03Dxx</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D">Computability and recursion theory</a> <a target="_blank" href="/atom/cc/03D"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D"><i class="glyphicon glyphicon-share-alt"></i> 16926</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D03">03D03</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D03">Thue and Post systems, etc.</a> <a target="_blank" href="/atom/cc/03D03"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D03" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D03"><i class="glyphicon glyphicon-share-alt"></i> 385</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D05">03D05</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D05">Automata and formal grammars in connection with logical questions</a> [See also <a href="/classification/?q=cc%3A68Q45">68Q45</a>, <a href="/classification/?q=cc%3A68Q70">68Q70</a>, <a href="/classification/?q=cc%3A68R15">68R15</a>] <a target="_blank" href="/atom/cc/03D05"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D05" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D05"><i class="glyphicon glyphicon-share-alt"></i> 2365</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D10">03D10</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D10">Turing machines and related notions</a> [See also <a href="/classification/?q=cc%3A68Q04">68Q04</a>] <a target="_blank" href="/atom/cc/03D10"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D10" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D10"><i class="glyphicon glyphicon-share-alt"></i> 1561</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D15">03D15</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D15">Complexity of computation (including implicit computational complexity)</a> [See also <a href="/classification/?q=cc%3A68Q15">68Q15</a>, <a href="/classification/?q=cc%3A68Q17">68Q17</a>] <a target="_blank" href="/atom/cc/03D15"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D15" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D15"><i class="glyphicon glyphicon-share-alt"></i> 3104</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D20">03D20</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D20">Recursive functions and relations, subrecursive hierarchies</a> <a target="_blank" href="/atom/cc/03D20"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D20" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D20"><i class="glyphicon glyphicon-share-alt"></i> 1882</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D25">03D25</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D25">Recursively (computably) enumerable sets and degrees</a> <a target="_blank" href="/atom/cc/03D25"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D25" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D25"><i class="glyphicon glyphicon-share-alt"></i> 1913</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D28">03D28</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D28">Other Turing degree structures</a> <a target="_blank" href="/atom/cc/03D28"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D28" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D28"><i class="glyphicon glyphicon-share-alt"></i> 458</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D30">03D30</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D30">Other degrees and reducibilities in computability and recursion theory</a> <a target="_blank" href="/atom/cc/03D30"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D30" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D30"><i class="glyphicon glyphicon-share-alt"></i> 1679</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D32">03D32</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D32">Algorithmic randomness and dimension</a> [See also <a href="/classification/?q=cc%3A68Q30">68Q30</a>] <a target="_blank" href="/atom/cc/03D32"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D32" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D32"><i class="glyphicon glyphicon-share-alt"></i> 537</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D35">03D35</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D35">Undecidability and degrees of sets of sentences</a> <a target="_blank" href="/atom/cc/03D35"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D35" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D35"><i class="glyphicon glyphicon-share-alt"></i> 959</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D40">03D40</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D40">Word problems, etc. in computability and recursion theory</a> [See also <a href="/classification/?q=cc%3A06B25">06B25</a>, <a href="/classification/?q=cc%3A08A50">08A50</a>, <a href="/classification/?q=cc%3A20F10">20F10</a>, <a href="/classification/?q=cc%3A68R15">68R15</a>] <a target="_blank" href="/atom/cc/03D40"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D40" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D40"><i class="glyphicon glyphicon-share-alt"></i> 654</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D45">03D45</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D45">Theory of numerations, effectively presented structures</a> [See also <a href="/classification/?q=cc%3A03C57">03C57</a>] {For intuitionistic and similar approaches, see <a href="/classification/?q=cc%3A03F55">03F55</a>} <a target="_blank" href="/atom/cc/03D45"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D45" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D45"><i class="glyphicon glyphicon-share-alt"></i> 1787</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D50">03D50</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D50">Recursive equivalence types of sets and structures, isols</a> <a target="_blank" href="/atom/cc/03D50"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D50" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D50"><i class="glyphicon glyphicon-share-alt"></i> 229</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D55">03D55</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D55">Hierarchies of computability and definability</a> <a target="_blank" href="/atom/cc/03D55"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D55" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D55"><i class="glyphicon glyphicon-share-alt"></i> 725</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D60">03D60</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D60">Computability and recursion theory on ordinals, admissible sets, etc.</a> <a target="_blank" href="/atom/cc/03D60"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D60" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D60"><i class="glyphicon glyphicon-share-alt"></i> 1116</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D65">03D65</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D65">Higher-type and set recursion theory</a> <a target="_blank" href="/atom/cc/03D65"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D65" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D65"><i class="glyphicon glyphicon-share-alt"></i> 508</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D70">03D70</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D70">Inductive definability</a> <a target="_blank" href="/atom/cc/03D70"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D70" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D70"><i class="glyphicon glyphicon-share-alt"></i> 173</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D75">03D75</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D75">Abstract and axiomatic computability and recursion theory</a> <a target="_blank" href="/atom/cc/03D75"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D75" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D75"><i class="glyphicon glyphicon-share-alt"></i> 387</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D78">03D78</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D78">Computation over the reals, computable analysis</a> {For constructive aspects, see <a href="/classification/?q=cc%3A03F60">03F60</a>} <a target="_blank" href="/atom/cc/03D78"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D78" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D78"><i class="glyphicon glyphicon-share-alt"></i> 633</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D80">03D80</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D80">Applications of computability and recursion theory</a> <a target="_blank" href="/atom/cc/03D80"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D80" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D80"><i class="glyphicon glyphicon-share-alt"></i> 913</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03D99">03D99</a></div> <div class="text"> <a href="/classification/?q=cc%3A03D99">None of the above, but in this section</a> <a target="_blank" href="/atom/cc/03D99"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03D99" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03D99"><i class="glyphicon glyphicon-share-alt"></i> 549</a> </div> </article> </div> <div class="item level1"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E">03Exx</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E">Set theory</a> <a target="_blank" href="/atom/cc/03E"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E"><i class="glyphicon glyphicon-share-alt"></i> 29897</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E02">03E02</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E02">Partition relations</a> <a target="_blank" href="/atom/cc/03E02"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E02" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E02"><i class="glyphicon glyphicon-share-alt"></i> 418</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E04">03E04</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E04">Ordered sets and their cofinalities; pcf theory</a> <a target="_blank" href="/atom/cc/03E04"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E04" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E04"><i class="glyphicon glyphicon-share-alt"></i> 297</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E05">03E05</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E05">Other combinatorial set theory</a> <a target="_blank" href="/atom/cc/03E05"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E05" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E05"><i class="glyphicon glyphicon-share-alt"></i> 3136</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E10">03E10</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E10">Ordinal and cardinal numbers</a> <a target="_blank" href="/atom/cc/03E10"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E10" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E10"><i class="glyphicon glyphicon-share-alt"></i> 1136</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E15">03E15</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E15">Descriptive set theory</a> [See also <a href="/classification/?q=cc%3A28A05">28A05</a>, <a href="/classification/?q=cc%3A54H05">54H05</a>] <a target="_blank" href="/atom/cc/03E15"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E15" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E15"><i class="glyphicon glyphicon-share-alt"></i> 3561</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E17">03E17</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E17">Cardinal characteristics of the continuum</a> <a target="_blank" href="/atom/cc/03E17"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E17" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E17"><i class="glyphicon glyphicon-share-alt"></i> 714</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E20">03E20</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E20">Other classical set theory (including functions, relations, and set algebra)</a> <a target="_blank" href="/atom/cc/03E20"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E20" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E20"><i class="glyphicon glyphicon-share-alt"></i> 1558</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E25">03E25</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E25">Axiom of choice and related propositions</a> <a target="_blank" href="/atom/cc/03E25"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E25" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E25"><i class="glyphicon glyphicon-share-alt"></i> 1461</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E30">03E30</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E30">Axiomatics of classical set theory and its fragments</a> <a target="_blank" href="/atom/cc/03E30"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E30" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E30"><i class="glyphicon glyphicon-share-alt"></i> 903</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E35">03E35</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E35">Consistency and independence results</a> <a target="_blank" href="/atom/cc/03E35"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E35" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E35"><i class="glyphicon glyphicon-share-alt"></i> 4606</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E40">03E40</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E40">Other aspects of forcing and Boolean-valued models</a> <a target="_blank" href="/atom/cc/03E40"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E40" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E40"><i class="glyphicon glyphicon-share-alt"></i> 1029</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E45">03E45</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E45">Inner models, including constructibility, ordinal definability, and core models</a> <a target="_blank" href="/atom/cc/03E45"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E45" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E45"><i class="glyphicon glyphicon-share-alt"></i> 1068</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E47">03E47</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E47">Other notions of set-theoretic definability</a> <a target="_blank" href="/atom/cc/03E47"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E47" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E47"><i class="glyphicon glyphicon-share-alt"></i> 93</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E50">03E50</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E50">Continuum hypothesis and Martin’s axiom</a> [See also <a href="/classification/?q=cc%3A03E57">03E57</a>] <a target="_blank" href="/atom/cc/03E50"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E50" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E50"><i class="glyphicon glyphicon-share-alt"></i> 1570</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E55">03E55</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E55">Large cardinals</a> <a target="_blank" href="/atom/cc/03E55"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E55" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E55"><i class="glyphicon glyphicon-share-alt"></i> 2658</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E57">03E57</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E57">Generic absoluteness and forcing axioms</a> [See also <a href="/classification/?q=cc%3A03E50">03E50</a>] <a target="_blank" href="/atom/cc/03E57"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E57" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E57"><i class="glyphicon glyphicon-share-alt"></i> 181</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E60">03E60</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E60">Determinacy principles</a> <a target="_blank" href="/atom/cc/03E60"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E60" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E60"><i class="glyphicon glyphicon-share-alt"></i> 654</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E65">03E65</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E65">Other set-theoretic hypotheses and axioms</a> <a target="_blank" href="/atom/cc/03E65"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E65" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E65"><i class="glyphicon glyphicon-share-alt"></i> 484</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E70">03E70</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E70">Nonclassical and second-order set theories</a> <a target="_blank" href="/atom/cc/03E70"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E70" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E70"><i class="glyphicon glyphicon-share-alt"></i> 1397</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E72">03E72</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E72">Theory of fuzzy sets, etc.</a> <a target="_blank" href="/atom/cc/03E72"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E72" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E72"><i class="glyphicon glyphicon-share-alt"></i> 11674</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E75">03E75</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E75">Applications of set theory</a> <a target="_blank" href="/atom/cc/03E75"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E75" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E75"><i class="glyphicon glyphicon-share-alt"></i> 848</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03E99">03E99</a></div> <div class="text"> <a href="/classification/?q=cc%3A03E99">None of the above, but in this section</a> <a target="_blank" href="/atom/cc/03E99"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03E99" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03E99"><i class="glyphicon glyphicon-share-alt"></i> 699</a> </div> </article> </div> <div class="item level1"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03F">03Fxx</a></div> <div class="text"> <a href="/classification/?q=cc%3A03F">Proof theory and constructive mathematics</a> <a target="_blank" href="/atom/cc/03F"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03F" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03F"><i class="glyphicon glyphicon-share-alt"></i> 13421</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03F03">03F03</a></div> <div class="text"> <a href="/classification/?q=cc%3A03F03">Proof theory in general (including proof-theoretic semantics)</a> <a target="_blank" href="/atom/cc/03F03"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03F03" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03F03"><i class="glyphicon glyphicon-share-alt"></i> 1213</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03F05">03F05</a></div> <div class="text"> <a href="/classification/?q=cc%3A03F05">Cut-elimination and normal-form theorems</a> <a target="_blank" href="/atom/cc/03F05"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03F05" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03F05"><i class="glyphicon glyphicon-share-alt"></i> 2142</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03F07">03F07</a></div> <div class="text"> <a href="/classification/?q=cc%3A03F07">Structure of proofs</a> <a target="_blank" href="/atom/cc/03F07"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03F07" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03F07"><i class="glyphicon glyphicon-share-alt"></i> 837</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03F10">03F10</a></div> <div class="text"> <a href="/classification/?q=cc%3A03F10">Functionals in proof theory</a> <a target="_blank" href="/atom/cc/03F10"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03F10" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03F10"><i class="glyphicon glyphicon-share-alt"></i> 316</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03F15">03F15</a></div> <div class="text"> <a href="/classification/?q=cc%3A03F15">Recursive ordinals and ordinal notations</a> <a target="_blank" href="/atom/cc/03F15"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03F15" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03F15"><i class="glyphicon glyphicon-share-alt"></i> 541</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03F20">03F20</a></div> <div class="text"> <a href="/classification/?q=cc%3A03F20">Complexity of proofs</a> <a target="_blank" href="/atom/cc/03F20"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03F20" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03F20"><i class="glyphicon glyphicon-share-alt"></i> 1270</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03F25">03F25</a></div> <div class="text"> <a href="/classification/?q=cc%3A03F25">Relative consistency and interpretations</a> <a target="_blank" href="/atom/cc/03F25"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03F25" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03F25"><i class="glyphicon glyphicon-share-alt"></i> 504</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03F30">03F30</a></div> <div class="text"> <a href="/classification/?q=cc%3A03F30">First-order arithmetic and fragments</a> <a target="_blank" href="/atom/cc/03F30"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03F30" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03F30"><i class="glyphicon glyphicon-share-alt"></i> 2127</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03F35">03F35</a></div> <div class="text"> <a href="/classification/?q=cc%3A03F35">Second- and higher-order arithmetic and fragments</a> [See also <a href="/classification/?q=cc%3A03B30">03B30</a>] <a target="_blank" href="/atom/cc/03F35"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03F35" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03F35"><i class="glyphicon glyphicon-share-alt"></i> 1338</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03F40">03F40</a></div> <div class="text"> <a href="/classification/?q=cc%3A03F40">G枚del numberings and issues of incompleteness</a> <a target="_blank" href="/atom/cc/03F40"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03F40" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03F40"><i class="glyphicon glyphicon-share-alt"></i> 435</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03F45">03F45</a></div> <div class="text"> <a href="/classification/?q=cc%3A03F45">Provability logics and related algebras (e.g., diagonalizable algebras)</a> [See also <a href="/classification/?q=cc%3A03B45">03B45</a>, <a href="/classification/?q=cc%3A03G25">03G25</a>, <a href="/classification/?q=cc%3A06E25">06E25</a>] <a target="_blank" href="/atom/cc/03F45"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03F45" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03F45"><i class="glyphicon glyphicon-share-alt"></i> 380</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03F50">03F50</a></div> <div class="text"> <a href="/classification/?q=cc%3A03F50">Metamathematics of constructive systems</a> <a target="_blank" href="/atom/cc/03F50"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03F50" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03F50"><i class="glyphicon glyphicon-share-alt"></i> 862</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03F52">03F52</a></div> <div class="text"> <a href="/classification/?q=cc%3A03F52">Proof-theoretic aspects of linear logic and other substructural logics</a> [See also <a href="/classification/?q=cc%3A03B47">03B47</a>] <a target="_blank" href="/atom/cc/03F52"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03F52" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03F52"><i class="glyphicon glyphicon-share-alt"></i> 1085</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03F55">03F55</a></div> <div class="text"> <a href="/classification/?q=cc%3A03F55">Intuitionistic mathematics</a> <a target="_blank" href="/atom/cc/03F55"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03F55" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03F55"><i class="glyphicon glyphicon-share-alt"></i> 1156</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03F60">03F60</a></div> <div class="text"> <a href="/classification/?q=cc%3A03F60">Constructive and recursive analysis</a> [See also <a href="/classification/?q=cc%3A03B30">03B30</a>, <a href="/classification/?q=cc%3A03D45">03D45</a>, <a href="/classification/?q=cc%3A03D78">03D78</a>, <a href="/classification/?q=cc%3A26E40">26E40</a>, <a href="/classification/?q=cc%3A46S30">46S30</a>, <a href="/classification/?q=cc%3A47S30">47S30</a>] <a target="_blank" href="/atom/cc/03F60"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03F60" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03F60"><i class="glyphicon glyphicon-share-alt"></i> 1250</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03F65">03F65</a></div> <div class="text"> <a href="/classification/?q=cc%3A03F65">Other constructive mathematics</a> [See also <a href="/classification/?q=cc%3A03D45">03D45</a>] <a target="_blank" href="/atom/cc/03F65"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03F65" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03F65"><i class="glyphicon glyphicon-share-alt"></i> 996</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03F99">03F99</a></div> <div class="text"> <a href="/classification/?q=cc%3A03F99">None of the above, but in this section</a> <a target="_blank" href="/atom/cc/03F99"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03F99" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03F99"><i class="glyphicon glyphicon-share-alt"></i> 803</a> </div> </article> </div> <div class="item level1"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03G">03Gxx</a></div> <div class="text"> <a href="/classification/?q=cc%3A03G">Algebraic logic</a> <a target="_blank" href="/atom/cc/03G"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03G" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03G"><i class="glyphicon glyphicon-share-alt"></i> 11801</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03G05">03G05</a></div> <div class="text"> <a href="/classification/?q=cc%3A03G05">Logical aspects of Boolean algebras</a> [See also <a href="/classification/?q=cc%3A06E%2A">06Exx</a>] <a target="_blank" href="/atom/cc/03G05"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03G05" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03G05"><i class="glyphicon glyphicon-share-alt"></i> 1268</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03G10">03G10</a></div> <div class="text"> <a href="/classification/?q=cc%3A03G10">Logical aspects of lattices and related structures</a> [See also <a href="/classification/?q=cc%3A06B%2A">06Bxx</a>] <a target="_blank" href="/atom/cc/03G10"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03G10" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03G10"><i class="glyphicon glyphicon-share-alt"></i> 1299</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03G12">03G12</a></div> <div class="text"> <a href="/classification/?q=cc%3A03G12">Quantum logic</a> [See also <a href="/classification/?q=cc%3A06C15">06C15</a>, <a href="/classification/?q=cc%3A81P10">81P10</a>] <a target="_blank" href="/atom/cc/03G12"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03G12" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03G12"><i class="glyphicon glyphicon-share-alt"></i> 1793</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03G15">03G15</a></div> <div class="text"> <a href="/classification/?q=cc%3A03G15">Cylindric and polyadic algebras; relation algebras</a> <a target="_blank" href="/atom/cc/03G15"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03G15" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03G15"><i class="glyphicon glyphicon-share-alt"></i> 1035</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03G20">03G20</a></div> <div class="text"> <a href="/classification/?q=cc%3A03G20">Logical aspects of 艁ukasiewicz and Post algebras</a> [See also <a href="/classification/?q=cc%3A06D25">06D25</a>, <a href="/classification/?q=cc%3A06D30">06D30</a>] <a target="_blank" href="/atom/cc/03G20"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03G20" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03G20"><i class="glyphicon glyphicon-share-alt"></i> 390</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03G25">03G25</a></div> <div class="text"> <a href="/classification/?q=cc%3A03G25">Other algebras related to logic</a> [See also <a href="/classification/?q=cc%3A03F45">03F45</a>, <a href="/classification/?q=cc%3A06D20">06D20</a>, <a href="/classification/?q=cc%3A06E25">06E25</a>, <a href="/classification/?q=cc%3A06F35">06F35</a>] <a target="_blank" href="/atom/cc/03G25"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03G25" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03G25"><i class="glyphicon glyphicon-share-alt"></i> 4156</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03G27">03G27</a></div> <div class="text"> <a href="/classification/?q=cc%3A03G27">Abstract algebraic logic</a> <a target="_blank" href="/atom/cc/03G27"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03G27" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03G27"><i class="glyphicon glyphicon-share-alt"></i> 208</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03G30">03G30</a></div> <div class="text"> <a href="/classification/?q=cc%3A03G30">Categorical logic, topoi</a> [See also <a href="/classification/?q=cc%3A18B25">18B25</a>, <a href="/classification/?q=cc%3A18C05">18C05</a>, <a href="/classification/?q=cc%3A18C10">18C10</a>] <a target="_blank" href="/atom/cc/03G30"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03G30" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03G30"><i class="glyphicon glyphicon-share-alt"></i> 2058</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03G99">03G99</a></div> <div class="text"> <a href="/classification/?q=cc%3A03G99">None of the above, but in this section</a> <a target="_blank" href="/atom/cc/03G99"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03G99" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03G99"><i class="glyphicon glyphicon-share-alt"></i> 268</a> </div> </article> </div> <div class="item level1"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03H">03Hxx</a></div> <div class="text"> <a href="/classification/?q=cc%3A03H">Nonstandard models</a> [See also <a href="/classification/?q=cc%3A03C62">03C62</a>] <a target="_blank" href="/atom/cc/03H"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03H" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03H"><i class="glyphicon glyphicon-share-alt"></i> 2406</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03H05">03H05</a></div> <div class="text"> <a href="/classification/?q=cc%3A03H05">Nonstandard models in mathematics</a> [See also <a href="/classification/?q=cc%3A26E35">26E35</a>, <a href="/classification/?q=cc%3A28E05">28E05</a>, <a href="/classification/?q=cc%3A30G06">30G06</a>, <a href="/classification/?q=cc%3A46S20">46S20</a>, <a href="/classification/?q=cc%3A47S20">47S20</a>, <a href="/classification/?q=cc%3A54J05">54J05</a>] <a target="_blank" href="/atom/cc/03H05"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03H05" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03H05"><i class="glyphicon glyphicon-share-alt"></i> 1168</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03H10">03H10</a></div> <div class="text"> <a href="/classification/?q=cc%3A03H10">Other applications of nonstandard models (economics, physics, etc.)</a> <a target="_blank" href="/atom/cc/03H10"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03H10" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03H10"><i class="glyphicon glyphicon-share-alt"></i> 213</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03H15">03H15</a></div> <div class="text"> <a href="/classification/?q=cc%3A03H15">Nonstandard models of arithmetic</a> [See also <a href="/classification/?q=cc%3A11U10">11U10</a>, <a href="/classification/?q=cc%3A12L15">12L15</a>, <a href="/classification/?q=cc%3A13L05">13L05</a>] <a target="_blank" href="/atom/cc/03H15"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03H15" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03H15"><i class="glyphicon glyphicon-share-alt"></i> 667</a> </div> </article> </div> <div class="item level2"> <article> <div class="code"><a class="mono" href="/classification/?q=cc%3A03H99">03H99</a></div> <div class="text"> <a href="/classification/?q=cc%3A03H99">None of the above, but in this section</a> <a target="_blank" href="/atom/cc/03H99"><img class="feed-icon" alt="Recent zbMATH articles in MSC 03H99" src="/static/feed-icon-12x12.png"></a> <a class="zbmath" title="Documents in zbMATH" href="/?q=cc%3A03H99"><i class="glyphicon glyphicon-share-alt"></i> 405</a> </div> </article> </div> </div> <div class="content-filter"> <div > <div class="overview"> <h4>Overview</h4> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A00">00</a> </div> <div class="half"> <a href="/classification/?q=cc%3A00">General and overarching topics; collections</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A01">01</a> </div> <div class="half"> <a href="/classification/?q=cc%3A01">History and biography</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A03">03</a> </div> <div class="half"> <a href="/classification/?q=cc%3A03">Mathematical logic and foundations</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A05">05</a> </div> <div class="half"> <a href="/classification/?q=cc%3A05">Combinatorics</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A06">06</a> </div> <div class="half"> <a href="/classification/?q=cc%3A06">Order, lattices, ordered algebraic structures</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A08">08</a> </div> <div class="half"> <a href="/classification/?q=cc%3A08">General algebraic systems</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A11">11</a> </div> <div class="half"> <a href="/classification/?q=cc%3A11">Number theory</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A12">12</a> </div> <div class="half"> <a href="/classification/?q=cc%3A12">Field theory and polynomials</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A13">13</a> </div> <div class="half"> <a href="/classification/?q=cc%3A13">Commutative algebra</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A14">14</a> </div> <div class="half"> <a href="/classification/?q=cc%3A14">Algebraic geometry</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A15">15</a> </div> <div class="half"> <a href="/classification/?q=cc%3A15">Linear and multilinear algebra; matrix theory</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A16">16</a> </div> <div class="half"> <a href="/classification/?q=cc%3A16">Associative rings and algebras</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A17">17</a> </div> <div class="half"> <a href="/classification/?q=cc%3A17">Nonassociative rings and algebras</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A18">18</a> </div> <div class="half"> <a href="/classification/?q=cc%3A18">Category theory; homological algebra</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A19">19</a> </div> <div class="half"> <a href="/classification/?q=cc%3A19">$K$-theory</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A20">20</a> </div> <div class="half"> <a href="/classification/?q=cc%3A20">Group theory and generalizations</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A22">22</a> </div> <div class="half"> <a href="/classification/?q=cc%3A22">Topological groups, Lie groups</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A26">26</a> </div> <div class="half"> <a href="/classification/?q=cc%3A26">Real functions</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A28">28</a> </div> <div class="half"> <a href="/classification/?q=cc%3A28">Measure and integration</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A30">30</a> </div> <div class="half"> <a href="/classification/?q=cc%3A30">Functions of a complex variable</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A31">31</a> </div> <div class="half"> <a href="/classification/?q=cc%3A31">Potential theory</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A32">32</a> </div> <div class="half"> <a href="/classification/?q=cc%3A32">Several complex variables and analytic spaces</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A33">33</a> </div> <div class="half"> <a href="/classification/?q=cc%3A33">Special functions</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A34">34</a> </div> <div class="half"> <a href="/classification/?q=cc%3A34">Ordinary differential equations</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A35">35</a> </div> <div class="half"> <a href="/classification/?q=cc%3A35">Partial differential equations</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A37">37</a> </div> <div class="half"> <a href="/classification/?q=cc%3A37">Dynamical systems and ergodic theory</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A39">39</a> </div> <div class="half"> <a href="/classification/?q=cc%3A39">Difference and functional equations</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A40">40</a> </div> <div class="half"> <a href="/classification/?q=cc%3A40">Sequences, series, summability</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A41">41</a> </div> <div class="half"> <a href="/classification/?q=cc%3A41">Approximations and expansions</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A42">42</a> </div> <div class="half"> <a href="/classification/?q=cc%3A42">Harmonic analysis on Euclidean spaces</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A43">43</a> </div> <div class="half"> <a href="/classification/?q=cc%3A43">Abstract harmonic analysis</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A44">44</a> </div> <div class="half"> <a href="/classification/?q=cc%3A44">Integral transforms, operational calculus</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A45">45</a> </div> <div class="half"> <a href="/classification/?q=cc%3A45">Integral equations</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A46">46</a> </div> <div class="half"> <a href="/classification/?q=cc%3A46">Functional analysis</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A47">47</a> </div> <div class="half"> <a href="/classification/?q=cc%3A47">Operator theory</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A49">49</a> </div> <div class="half"> <a href="/classification/?q=cc%3A49">Calculus of variations and optimal control; optimization</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A51">51</a> </div> <div class="half"> <a href="/classification/?q=cc%3A51">Geometry</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A52">52</a> </div> <div class="half"> <a href="/classification/?q=cc%3A52">Convex and discrete geometry</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A53">53</a> </div> <div class="half"> <a href="/classification/?q=cc%3A53">Differential geometry</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A54">54</a> </div> <div class="half"> <a href="/classification/?q=cc%3A54">General topology</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A55">55</a> </div> <div class="half"> <a href="/classification/?q=cc%3A55">Algebraic topology</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A57">57</a> </div> <div class="half"> <a href="/classification/?q=cc%3A57">Manifolds and cell complexes</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A58">58</a> </div> <div class="half"> <a href="/classification/?q=cc%3A58">Global analysis, analysis on manifolds</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A60">60</a> </div> <div class="half"> <a href="/classification/?q=cc%3A60">Probability theory and stochastic processes</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A62">62</a> </div> <div class="half"> <a href="/classification/?q=cc%3A62">Statistics</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A65">65</a> </div> <div class="half"> <a href="/classification/?q=cc%3A65">Numerical analysis</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A68">68</a> </div> <div class="half"> <a href="/classification/?q=cc%3A68">Computer science</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A70">70</a> </div> <div class="half"> <a href="/classification/?q=cc%3A70">Mechanics of particles and systems</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A74">74</a> </div> <div class="half"> <a href="/classification/?q=cc%3A74">Mechanics of deformable solids</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A76">76</a> </div> <div class="half"> <a href="/classification/?q=cc%3A76">Fluid mechanics</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A78">78</a> </div> <div class="half"> <a href="/classification/?q=cc%3A78">Optics, electromagnetic theory</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A80">80</a> </div> <div class="half"> <a href="/classification/?q=cc%3A80">Classical thermodynamics, heat transfer</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A81">81</a> </div> <div class="half"> <a href="/classification/?q=cc%3A81">Quantum theory</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A82">82</a> </div> <div class="half"> <a href="/classification/?q=cc%3A82">Statistical mechanics, structure of matter</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A83">83</a> </div> <div class="half"> <a href="/classification/?q=cc%3A83">Relativity and gravitational theory</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A85">85</a> </div> <div class="half"> <a href="/classification/?q=cc%3A85">Astronomy and astrophysics</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A86">86</a> </div> <div class="half"> <a href="/classification/?q=cc%3A86">Geophysics</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A90">90</a> </div> <div class="half"> <a href="/classification/?q=cc%3A90">Operations research, mathematical programming</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A91">91</a> </div> <div class="half"> <a href="/classification/?q=cc%3A91">Game theory, economics, finance, and other social and behavioral sciences</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A92">92</a> </div> <div class="half"> <a href="/classification/?q=cc%3A92">Biology and other natural sciences</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A93">93</a> </div> <div class="half"> <a href="/classification/?q=cc%3A93">Systems theory; control</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A94">94</a> </div> <div class="half"> <a href="/classification/?q=cc%3A94">Information and communication theory, circuits</a> </div> </article> </div> <div class="item"> <article> <div class="code"> <a class="mono" href="/classification/?q=cc%3A97">97</a> </div> <div class="half"> <a href="/classification/?q=cc%3A97">Mathematics education</a> </div> </article> </div></div> </div> <div class="content-clear"></div> </div> </div> <div class="clearfix"></div> </div> </div> <div id="foot"><div class="copyright"> © 2024 <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

Classification Search Result - zbMATH Open