论文列表及评分结果
Polynomial-Time versus Recursive Models.
电商所评分：1
Determinacy and the Sharp Functions on the Reals.
电商所评分：10
Every Borel Function is Monotone Borel.
电商所评分：5
A Unification-Theoretic Method for Investigating the k-Provability Problem.
电商所评分：6
The Strength of the Failure of the Singular Cardinal Hypothesis.
电商所评分：4
Schanuel's Conjecture and Free Exponential Rings.
电商所评分：10
About Prikry Generic Extensions.
电商所评分：1
lambda-Definability on Free Algebras.
电商所评分：2
What's So Special About Kruskal's Theorem and the Ordinal Gamma0? A Survey of Some Results in Proof Theory.
电商所评分：8
A More Direct Proof of a Result of Shelah.
电商所评分：2
On-Dimensional Groups over an o-Minimal Structure.
电商所评分：7
Groups of Dimension Two and Three Over o-Minimal Structures.
电商所评分：6
A Slow Growing Analogue to Buchholz' Proof.
电商所评分：1
Model Completeness Results for Elliptic and Abelian Functions.
电商所评分：7
General Iteration and Unary Functions.
电商所评分：9
Iterated Extended Ultrapowers and Supercompactness without Choice.
电商所评分：3
Constructing Strongly Equivalent Nonisomorphic Models for Unstable Theories.
电商所评分：9
Generalizing Classical and Effective Model Theory in Theories of Operations and Classes.
电商所评分：6
Propositional Consistency Proofs.
电商所评分：10
Constructive Compact Operators on a Hilbert Space.
电商所评分：3
Degrees of Orderings Not Isomorphic to Recursive Linear Orderings.
电商所评分：4
Regressive Partition Relations, n-Subtle Cardinals, and Borel Diagonalization.
电商所评分：10
Boundedness Theorems for Dilators and Ptykes.
电商所评分：6
A Strong Boundedness Theorem for Dilators.
电商所评分：2
From Discrete to Continuous Time.
电商所评分：3
Bounded Arithmetic and the Polynomial Hierarchy.
电商所评分：5
The Density of Infima in the Recursively Enumerable Degrees.
电商所评分：7
Weak Axioms of Determinacy and Subsystems of Analysis II (Sigma02 Games).
电商所评分：9
Nonstandard Arithmetic of Hilbert Subsets.
电商所评分：3
On the Size of Closed Unbounded Sets.
电商所评分：10