论文列表及评分结果
On the Elimination of Imaginaries from Certain Valued Fields.
电商所评分：9
A Delta22 Well-Order of the Reals and Incompactness of L(QMM).
电商所评分：4
Compactness and Normality in Abstract Logics.
电商所评分：3
Systems of Combinatory Logic Related to Predicative and 'Mildly Impredicative' Fragments of Quine's 'New Foundations'.
电商所评分：10
Stability among r.e. Quotient Algebras.
电商所评分：1
Riesz Representation Theorem, Borel Measures and Subsystems of Second-Order Arithmetic.
电商所评分：7
Infima in the d.r.e. Degrees.
电商所评分：10
Gurevich-Harrington's Games Defined by Finite Automata.
电商所评分：10
Semimorasses and Nonreflection at Singular Cardinals.
电商所评分：8
A Model for Intuitionistic Non-Standard Arithmetic.
电商所评分：9
Natural Deduction for Intuitionistic Linear Logic.
电商所评分：1
A Course on Bimodal Provability Logic.
电商所评分：9
An Algebraic Theory of Normal Forms.
电商所评分：1
Elementary Descent Recursion and Proof Theory.
电商所评分：5
Power Set Recursion.
电商所评分：4
Separations of Theories in Weak Bounded Arithmetic.
电商所评分：3
Filters and Large Cardinals.
电商所评分：4
Model Theory of Modules Over a Serial Ring.
电商所评分：2
Descent and Duality.
电商所评分：5
Applications of Cohomology to Set Theory I: Hausdorff Gaps.
电商所评分：7
Projectively Well-Ordered Inner Models.
电商所评分：2
Enumerators of lambda Terms are Reducing Constructively.
电商所评分：9
The Real Core Model and It Scales.
电商所评分：7
The Structure of Amorphous Sets.
电商所评分：9
Generalized Quantifiers and Pebble Games on Finite Structures.
电商所评分：2
Characterizations of Realizable Space Complexities.
电商所评分：3
Regularity Properties for Dominating Projective Sets.
电商所评分：8
On Grzegorczyk Induction.
电商所评分：3
A Constructive Approach to Nonstandard Analysis.
电商所评分：7
Large Cardinals and Definable Counterexamples to the Continuum Hypothesis.
电商所评分：8