论文列表及评分结果
Positive Definite Functions over Regular f-Rings and Representations as Sums of Squares.
电商所评分：7
Independent Axiomatizability of Sets of Sentences.
电商所评分：5
First-Order Definability on Finite Structures.
电商所评分：5
On the Complexity of Finding the Chromatic Number of a Recursive Graph II: The Unbounded Case.
电商所评分：8
Towers in omegaomega and omega omega.
电商所评分：4
On the Existence of Regular Types.
电商所评分：8
The Recursively Enumerable Degrees have Infinitely Many One-Types.
电商所评分：6
Hyperhypersimple Sets and Delta2 Systems.
电商所评分：7
Completeness Proofs for Propositional Logic with Polynomial-Time Connectives.
电商所评分：6
Transfer Theorems for pi-Monads.
电商所评分：8
Some Combinatorial Principles Equivalent to Restrictions of Transfinite Induction up to Gamma0.
电商所评分：4
Complexity-Theoretic Algebra II: Boolean Algebras.
电商所评分：3
Injecting Inconsistencies into Models of PA.
电商所评分：2
Inductive Rings and Fields.
电商所评分：3
The Machinery of Consistency Proofs.
电商所评分：6
Classification of Degree Classes Associated with r.e. Subspaces.
电商所评分：2
Forcing with Filters and Complete Combinatorics.
电商所评分：1
Maslov's Inverse Method and Decidable Classes.
电商所评分：10
Semisimple Stable and Superstable Groups.
电商所评分：4
Elementary Pairs of Models.
电商所评分：2
Almost Orthogonal Regular Types.
电商所评分：8
A Dichotomy Theorem for Regular Types.
电商所评分：4
Groups with Identities.
电商所评分：4
Dimension of Definable Sets, Algebraic Boundedness and Henselian Fields.
电商所评分：7
Applications of Fodor's Lemma to Vaught's Conjecture.
电商所评分：2
Nonstandard Definability.
电商所评分：10
Chang's Model and Covering Properties.
电商所评分：1
The Galvin-Prikry Theorem and Set Existence Axioms.
电商所评分：6
RRC-Fields with Small Absolute Galois Groups.
电商所评分：8
The Negation of the Singular Cardinal Hypothesis from o(k) = k++.
电商所评分：1