论文列表及评分结果
Definability Hierarchies of Generalized Quantifiers.
电商所评分：10
Henkin and Function Quantifiers.
电商所评分：6
A Categorical Approach to the Theory of Computation.
电商所评分：9
Pairs of Recursive Structures.
电商所评分：5
The Primal Framework I.
电商所评分：10
Minimal Collapsing Extensions of Models of ZFC.
电商所评分：6
A Diamond Example of an Ordinal Graph with No Infinite Paths.
电商所评分：7
Weak Comparability of Well Orderings and Reverse Mathematics.
电商所评分：7
Martin's Axiom and Ordinal Graphs: Large Independent Sets or Infinite Paths.
电商所评分：3
Categoricity of Theories in Lk omega, with k a Compact Ordinal.
电商所评分：3
Jumping with Random Reals.
电商所评分：7
Minimal Degrees Recursive in 1-Generic Degrees.
电商所评分：4
The Degree of a Sigman Cut.
电商所评分：9
Constructions by Transfinitely Many Workers.
电商所评分：1
Exponentiation and Second-Order Bounded Arithmetic.
电商所评分：9
Extension of Gurevich-Harrington's Restricted Memory Determinacy Theorem: A Criterion for the Winning Player and an Explicit Class of Winning Strategies.
电商所评分：2
Corrigendum: Correction to "Undecidability of L(Finfty) and Other Lattices of r.e. Substructures".
电商所评分：10
The Monadic Second-Order Logic of Graphs IV: Definability Properties of Equational Graphs.
电商所评分：4
A Hierarchy of Ramsey Cardinals.
电商所评分：1
An Extension of Borel Determinacy.
电商所评分：10
Some Applications of Positive Formulas in Descriptive Set Theory and Logic.
电商所评分：8
Topological Models of Epistemic Set Theory.
电商所评分：10
Omega-Categoricity, Relative Categoricity and Coordinatisation.
电商所评分：4
Counterexamples to a Conjecture on Relative Categoricity.
电商所评分：1
Inductive Full Satisfaction Classes.
电商所评分：1
A Theorem on Barr-Exact Categories, with an Infinitary Generalization.
电商所评分：4
The Notion of Independence in Categories of Algebraic Structures, Part III: Equational Classes.
电商所评分：3
Parametrization over Inductive Relations of a Bounded Number of Variables.
电商所评分：6
Domain Interpretations of Martin-Löf's Partial Type Theory.
电商所评分：8
Boolean Powers of Abelian Groups.
电商所评分：10