论文列表及评分结果
Pell Equations and Exponentiation in Fragments of Arithmetic.
电商所评分：10
The Bounded Injury Priority Method and the Learnability of Unions of Rectangles.
电商所评分：3
Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic.
电商所评分：3
Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems.
电商所评分：9
Rational Separability over a Global Field.
电商所评分：3
Applications of Cohomology to Set Theory II: Todorcevic Trees.
电商所评分：7
Polymorphic Extensions of Simple Type Structures - With an Application to Bar Recursive Minimization.
电商所评分：6
Projecting Sequential Algorithms on Strongly Stable Functions.
电商所评分：7
Stable Generic Structures.
电商所评分：9
Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II.
电商所评分：2
Transfinite Induction within Peano Arithmetic.
电商所评分：1
On Winning Ehrenfeucht Games and Monadic NP.
电商所评分：2
McNaughton Games and Extracting Strategies for Concurrent Programs.
电商所评分：4
Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems.
电商所评分：6
Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma.
电商所评分：5
Linear Logic Automata.
电商所评分：7
Was Sierpinski Right? III: Can Continuum-cc. Times c.c.c. be Continuum-c.c.?
电商所评分：1
On Variants of o-Minimality.
电商所评分：2
WKL0 and Stone's Separation Theorem for Convex Sets.
电商所评分：6
An Extended Lachlan Splitting Theorem.
电商所评分：3
Saturated Filters at Successors of Singulars, Weak Reflection and Yet Another Weak Club Principle.
电商所评分：6
A Study of Singular Points and Supports of Measures in Reverse Mathematics.
电商所评分：9
Polynomial Games and Determinacy.
电商所评分：10
Nonbounding and Slaman Triples.
电商所评分：1
Blowing Up the Power of a Singular Cardinal.
电商所评分：6
Partial Orderings with the Weak Freese-Nation Property.
电商所评分：5
Stephen Cole Kleene - a Reminiscence.
电商所评分：5
A Classical View of the Intuitionistic Continuum.
电商所评分：1
On the Lattices of NP-Subspaces of a Polynomial Time Vector Space over a Finite Field.
电商所评分：1
Effective Forcing versus Proper Forcing.
电商所评分：8