03F40 Gödel numberings and issues of incompleteness

03F45 Provability logics and related algebras (e.g., diagonalizable algebras) [See also <a href="#code:03B45">03B45</a>, <a href="#code:03G25">03G25</a>, <a href="#code:06E25">06E25</a>]

03F50 Metamathematics of constructive systems

03F52 Linear logic and other substructural logics [See also <a href="#code:03B47">03B47</a>]

03F65 Other constructive mathematics [See also <a href="#code:03D45">03D45</a>]

03F99 None of the above, but in this section

03G05 Boolean algebras [See also <a href="#code:06Exx">06Exx</a>]

03G10 Lattices and related structures [See also <a href="#code:06Bxx">06Bxx</a>]

03G12 Quantum logic [See also <a href="#code:06C15">06C15</a>, <a href="#code:81P10">81P10</a>]

03G15 Cylindric and polyadic algebras; relation algebras

03G20 Łukasiewicz and Post algebras [See also <a href="#code:06D25">06D25</a>, <a href="#code:06D30">06D30</a>]

03G25 Other algebras related to logic [See also <a href="#code:03F45">03F45</a>, <a href="#code:06D20">06D20</a>, <a href="#code:06E25">06E25</a>, <a href="#code:06F35">06F35</a>]

03G30 Categorical logic, topoi [See also <a href="#code:18B25">18B25</a>, <a href="#code:18C05">18C05</a>, <a href="#code:18C10">18C10</a>]

03G99 None of the above, but in this section

03Hxx Nonstandard models [See also <a href="#code:03C62">03C62</a>]

03H10 Other applications of nonstandard models (economics, physics, etc.)

03H15 Nonstandard models of arithmetic [See also <a href="#code:11U10">11U10</a>, <a href="#code:12L15">12L15</a>, <a href="#code:13L05">13L05</a>]

03H99 None of the above, but in this section

05-XX Combinatorics {For finite fields, see <a href="#code:11Txx">11Txx</a>}

05-00 General reference works (handbooks, dictionaries, bibliographies, etc.)

05-01 Instructional exposition (textbooks, tutorial papers, etc.)

05-02 Research exposition (monographs, survey articles)

05-03 Historical (must also be assigned at least one classification number from Section 01)

05-04 Explicit machine computation and programs (not the theory of computation or programming)