Mathematical Sciences Classification System
13Lxx - Applications of logic to commutative algebra 
[See also  03Cxx,  03Hxx]
                    - 
                            13L05
 - 
                            13L99None of the above, but in this section