论文列表及评分结果
Undimensional Theories are Superstable.
电商所评分：8
Extended Bar Induction in Applicative Theories.
电商所评分：9
Non-Bounding Constructions.
电商所评分：9
Equational Theory of Positive Numbers with Exponentiation is Not Finitely Axiomatizable.
电商所评分：10
Rationality of p-adic Poincaré Series: Uniformity in p.
电商所评分：3
On Restricted Forms of Enumeration Reducibility.
电商所评分：3
Real Numbers, Continued Fractions and Complexity Classes.
电商所评分：5
When Is Arithmetic Possible?
电商所评分：5
Projective Subsets of Separable Metric Spaces.
电商所评分：1
Problems of Substitution and Admissibility in the Modal System Grz and in Intuitionistic Propositional Calculus.
电商所评分：8
Shelah's pcf Theory and Its Applications.
电商所评分：7
The Borel Conjecture.
电商所评分：9
Constructive Modal Logics I.
电商所评分：6
Lattice Nonembeddings and Initial Segments of the Recursively Enumerable Degrees.
电商所评分：9
Ramsey Ultrafilters and the Reaping Number - Con(r
电商所评分：10
Sub-Arithmetical Ultrapowers: A Survey.
电商所评分：2
Labelling Systems and r.e. Structures.
电商所评分：7
Post Complete and 0-Axiomatizable Modal Logics.
电商所评分：1
A New Model for Intuitionistic Analysis.
电商所评分：2
Fixed Point Theory in Weak Second-Order Arithmetic.
电商所评分：8
Algorithms for Sentences over Integral Domains.
电商所评分：5
Diophantine Induction.
电商所评分：8
Some Highly Undecidable Lattices.
电商所评分：3
Weakly Minimal Formulas: A Global Approach.
电商所评分：4
A Uniform Method for Proving Lower Bounds on the Computational Complexity of Logical Theories.
电商所评分：9
Partition Properties and Well-Ordered Sequences.
电商所评分：1
Finite Type Structures within Combinatory Algebras.
电商所评分：7
The d.r.e. Degrees are Not Dense.
电商所评分：2
Locally Finite Weakly Minimal Theories.
电商所评分：10
Large Cardinals and Iteration Trees of Height omega.
电商所评分：4