论文列表及评分结果
Reverse Mathematics and Homeomorphic Embeddings.
电商所评分：8
Uncountable Degree Spectra.
电商所评分：9
Borel Quasi-Orderings in Subsystems of Second-Order Arithmetic.
电商所评分：10
Systems of Combinatory Logic Related to Quine's 'New Foundations'.
电商所评分：5
A Decidable Ehrenfeucht Theory with Exactly Two Hyperarithmetic Models.
电商所评分：2
The Structure of Models of Decidable Monadic Theories of Graphs.
电商所评分：6
Arithmetizing Uniform NC.
电商所评分：5
Relative Elimination of Quantifiers for Henselian Valued Fields.
电商所评分：6
The Undecidability of k-Provability.
电商所评分：5
Domain Theory in Logical Form.
电商所评分：7
Verification of Concurrent Programs: The Automata-Theoretic Framework.
电商所评分：7
Kripke-Style Models for Typed lambda Calculus.
电商所评分：4
Uniform Proofs as a Foundation for Logic Programming.
电商所评分：8
Inductive Types and Type Constraints in the Second-Order lambda Calculus.
电商所评分：6
The Primal Framework II: Smoothness.
电商所评分：8
Combinatorial Principles in Elementary Number Theory.
电商所评分：9
Some Effects of Ash-Nerode and Other Decidability Conditions on Degree Spectra.
电商所评分：3
Automorphisms of Recursively Saturated Models of Arithmetic.
电商所评分：6
Closed Measure Zero Sets.
电商所评分：1
Existential Instantiation and Normalization in Sequent Natural Deduction.
电商所评分：7
Decidability Problems in Languages with Henkin Quantifiers.
电商所评分：2
An Intuitionistic Theory of Types with Assumptions of High-Arity Variables.
电商所评分：10
An Infinitary Ramsey Property.
电商所评分：1
Quantifier Elimination for Modules with Scalar Variables.
电商所评分：5
Generalizations of Enumeration Reducibility Using Recursive Infinitary Propositional Sentences.
电商所评分：10
Combinatorial Properties of Hechler Forcing.
电商所评分：6
On the Computational Complexity of Integral Equations.
电商所评分：1
2-Sequent Calculus: A Proof Theory of Modalities.
电商所评分：7
Symmetric Submodels of a Cohen Generic Extension.
电商所评分：9
Determinacy and Extended Sharp Functions on the Reals, Part II: Obtaining Sharps from Determinacy.
电商所评分：3