论文列表及评分结果
Suslin's Hypothesis Does Not Imply Stationary Antichains.
电商所评分：4
Models with Second Order Properties V: A General Principle.
电商所评分：7
Total Sets and Objects in Domain Theory.
电商所评分：10
Fixed Points in Peano Arithmetic with Ordinals.
电商所评分：7
Weakly Semirecursive Sets and r.e. Orderings.
电商所评分：6
Linearizing Intuitionistic Implication.
电商所评分：10
Loeb Extensions and Ultrapowers of Measures on Fragments.
电商所评分：10
Functional Interpretations of Feasibly Constructive Arithmetic.
电商所评分：8
Every Recursive Boolean Algebra is Isomorphic to One with Incomplete Atoms.
电商所评分：3
Some Effectively Infinite Classes of Enumerations.
电商所评分：7
Projective Geometries of Algebraically Closed Fields of Characteristic Zero.
电商所评分：8
Game Sentences and Ultrapowers.
电商所评分：8
The Joint Embedding Property in Normal Open Induction.
电商所评分：6
Intuitionistic Validity in T-Normal Kripke Structures.
电商所评分：7
Friedberg Splittings of Recursively Enumerable Sets.
电商所评分：4
On the Unity of Logic.
电商所评分：9
More on Simple Forcing Notions and Forcings with Ideals.
电商所评分：4
A Construction of Boolean Algebras from First-Order Structures.
电商所评分：2
Generic Degrees are Complemented.
电商所评分：9
A Decision Algorithm for Linear Sentences on a PFM.
电商所评分：6
The Continuity of Cupping to 0'.
电商所评分：4
A Simple Type Theory with Partial Functions and Subtypes.
电商所评分：10
Large Ideals on Small Cardinals.
电商所评分：8
Full Intuitionistic Linear Logic (extended abstract).
电商所评分：8
Peano Arithmetic as Axiomatization of the Time Frame in Logics of Programs and in Dynamic Logics.
电商所评分：9
On Measurable Cardinals Violating the Continuum Hypothesis.
电商所评分：7
Recursive Properties of Relations on Models.
电商所评分：9
Borel Partitions of Infinite Subtrees of a Perfect Tree.
电商所评分：5
Infinitesimal Approach of Almost-Automorphic Functions.
电商所评分：6
On the Automorphism Groups of Finite Covers.
电商所评分：3