论文列表及评分结果
A Completeness Theorem for Open Maps.
电商所评分：9
Axiomatizing Higher-Order Kleene Realizability.
电商所评分：2
On Bimodal Logics of Provability.
电商所评分：3
A Rank one Cohesive Set.
电商所评分：9
Rings of Monoids Elementarily Equivalent to Polynomial Rings.
电商所评分：4
Proof Theory of Reflection.
电商所评分：4
Reverse Mathematics and Ordinal Exponentiation.
电商所评分：7
On the Weak Distributivity Game.
电商所评分：3
A Pi12 Singleton Incompatible with 0#.
电商所评分：1
Third Order Matching is Decidable.
电商所评分：8
Zero-One Laws for Modal Logic.
电商所评分：5
The Complexity of Horn Fragments of Linear Logic.
电商所评分：9
Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata.
电商所评分：2
A Constructive Logic Behind the Catch and Throw Mechanism.
电商所评分：2
Combinatorial Properties of Classical Forcing Notions.
电商所评分：2
More on the Cut and Choose Game.
电商所评分：4
Cardinal Invariants Above the Continuum.
电商所评分：4
A Strong Normalization Result for Classical Logic.
电商所评分：7
The Axioms of Constructive Geometry.
电商所评分：3
Strongly Minimal Fusions of Vector Spaces.
电商所评分：2
Iterated Local Reflection Versus Iterated Consistency.
电商所评分：9
Observations about Scott and Karp Trees.
电商所评分：1
Choice Principles in Hyperuniverses.
电商所评分：9
Definable Sets in Generic Complex Tori.
电商所评分：10
Pi12 Wadge Degrees.
电商所评分：3
Classifying Totally Categorical Groups (and Others).
电商所评分：6
Arity and Alternation in Second-Order Logic.
电商所评分：10
Linear Logic for Nets with Bounded Resources.
电商所评分：1
Topological Reasoning and the Logic of Knowledge.
电商所评分：3
Linear Läuchli Semantics.
电商所评分：2