论文列表及评分结果
An Omitting Types Theorem for Saturated Structures.
电商所评分：9
Triviality, NDOP and Stable Varieties.
电商所评分：6
A New Strongly Minimal Set.
电商所评分：10
On the Undecidability of Some Classes of Abelian-by-Finite Groups.
电商所评分：3
Unidimensional Modules: Uniqueness of Maximal Non-Modular Submodels.
电商所评分：6
Remarks on Elementary Duality.
电商所评分：1
Cut Elimination for the Unified Logic.
电商所评分：4
Rudimentary Kripke Models for the Intuitionistic Propositional Calculus.
电商所评分：7
Periodic Points and Subsystems of Second-Order Arithmetic.
电商所评分：2
A Normal Form for Logical Derivations Implying One for Arithmetic Derivations.
电商所评分：10
The Possible Turing Degree of the Nonzero Member in a Two Element Degree Spectrum.
电商所评分：3
Degrees of Convex Dependence in Recursively Enumerable Vector Spaces.
电商所评分：4
Proof-Theoretic Investigations on Kruskal's Theorem.
电商所评分：1
A Contribution to the End-Extension Problem and the Pi1 Conservativeness Problem.
电商所评分：2
A Sharpened Version of McAloon's Theorem on Initial Segments of Models of I Delta0.
电商所评分：5
Hilbert's Tenth Problem for Weak Theories of Arithmetic.
电商所评分：10
On the Provability Logic of Bounded Arithmetic.
电商所评分：4
The Analytical Completeness of Dzhaparidze's Polymodal Logics.
电商所评分：9
A Generalized Notion of Weak Interpretability and the Corresponding Modal Logic.
电商所评分：2
A Note on the Diagonalizable Algebras of PA and ZF.
电商所评分：1
On Sigma1 and Pi1 Sentences and Degrees of Interpretability.
电商所评分：1
Undecidability and 1-Types in the Recursively Enumerable Degrees.
电商所评分：1
Incomparable Prime Ideals of Recursively Enumerable Degrees.
电商所评分：10
On p-Reducibility of Numerations.
电商所评分：6
On Relative Randomness.
电商所评分：2
Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics.
电商所评分：9
The Provability Logic for sigma1-Interpolability.
电商所评分：9
Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin's Proof for Chebycheff Approximation.
电商所评分：9
Lattice Nonembeddings and Intervals of the Recursively Enumerable Degrees.
电商所评分：6
Zilber's Conjecture for Some o-Minimal Structures over the Reals.
电商所评分：4