Decidability of theories of hierarchies of functions consistent with addition

More works in this specialty

1. Rank functions of matrices over semirings

   Shitov, Yaroslav Nikolaevich · 2012 · Candidate of Sciences · Lomonosov Moscow State University

   • 01.01.06 Mathematical logic, algebra and number theory
2. On classes of categorial dependency grammars

   Karlov, Boris Nikolaevich · 2012 · Candidate of Sciences · P.G. Demidov Yaroslavl State University

   • 01.01.06 Mathematical logic, algebra and number theory
3. Moduli scheme of stable sheaves of rank 2 with small Chern classes on a three-dimensional quadric

   Uvarov, Artem Dmitriyevich · 2012 · Candidate of Sciences · P.G. Demidov Yaroslavl State University

   • 01.01.06 Mathematical logic, algebra and number theory
4. Moduli of stable sheaves of rank two with Chern classes c1 = -1, c2 = 2, c3 = 0 on projective space

   Zavodchikov, Mikhail Aleksandrovich · 2012 · Candidate of Sciences · P.G. Demidov Yaroslavl State University

   • 01.01.06 Mathematical logic, algebra and number theory
5. Invariants of certain subspaces of adele groups

   Budylin, Roman Yakovlevich · 2012 · Candidate of Sciences · Lomonosov Moscow State University

   • 01.01.06 Mathematical logic, algebra and number theory

All works in this specialty