论文列表及评分结果
Complementing below recursively enumerable degrees.
电商所评分：2
Implication and analysis in classical frege structures.
电商所评分：7
Extraspecial p-groups.
电商所评分：9
Strong coding.
电商所评分：2
A guide to "strong coding".
电商所评分：1
Models of arithmetic and categories with finiteness conditions.
电商所评分：10
Choice and well-ordering.
电商所评分：7
Lindenbaum algebras of intuitionistic theories and free categories.
电商所评分：3
Decidability and definability with circumscription.
电商所评分：2
The undecidability of the lattice of R.E. closed subsets of an effective topological space.
电商所评分：4
On countable locally described structures.
电商所评分：10
Representations of the real numbers and of the open subsets of the set of real numbers.
电商所评分：1
On the scheme of induction for bounded arithmetic formulas.
电商所评分：3
Maximality in modal logic.
电商所评分：2
Measures and forking.
电商所评分：1
Simplified Gap-2 morasses.
电商所评分：8
An axiomatic approach to self-referential truth.
电商所评分：6
On Gödel incompleteness and finite combinatorics.
电商所评分：6
Combinatorial problems on trees: Partitions, δ-systems and large free subtrees.
电商所评分：10
An application of tarskis principle to absolute Galois groups of function fields.
电商所评分：4
Remarks on superatomic boolean algebras.
电商所评分：10
An independence result for (II11-CA)+BI.
电商所评分：8
Ordinal notations based on a hierarchy of inaccessible cardinals.
电商所评分：8
A cut elimination theorem for stationary logic.
电商所评分：6
Globalization of intui tionistic set theory.
电商所评分：7
There may be simple Paleph1 and Paleph2-points and the Rudin-Keisler ordering may be downward directed.
电商所评分：6
Maximal theories.
电商所评分：6
Some higher-gap examples in combinatorial set theory.
电商所评分：5
Some coloring properties for uncountable cardinals.
电商所评分：4
Cardinality logics, part I: inclusions between languages based on 'exactly'.
电商所评分：5