论文列表及评分结果
ω1-constructible universe and measurable cardinals.
电商所评分：2
Superstable groups.
电商所评分：9
Superstable groups; a partial answer to conjectures of Cherlin and Zil'ber.
电商所评分：7
Quasi finitely axiomatizable totally categorical theories.
电商所评分：6
Locally modular theories of finite rank.
电商所评分：9
Superstable groups of finite rank without pseudoplanes.
电商所评分：6
Henkin quantifiers and complete problems.
电商所评分：1
Undecidability of L(F∞) and other lattices of r.e. substructures.
电商所评分：9
Integrating classical and intuitionistic type theory.
电商所评分：3
Epistemic and intuitionistic formal systems.
电商所评分：5
Forking, normalization and canonical bases.
电商所评分：7
Quantifier elimination in discriminator varieties.
电商所评分：8
Embedding sheaf models for set theory into boolean-valued permutation models with an interior operator.
电商所评分：7
Preface.
电商所评分：2
Stability of recursive structures in arithmetical degrees.
电商所评分：9
Recursion theory and ordered groups.
电商所评分：8
Realizability and recursive set theory.
电商所评分：3
Graph colorings and recursively bounded Π10-classes.
电商所评分：2
A new system of proof-theoretic ordinal functions.
电商所评分：10
Generalised algebraic theories and contextual categories.
电商所评分：3
Isols and burnside's lemma.
电商所评分：4
Fixed-point extensions of first-order logic.
电商所评分：9
Adjointness in recursion.
电商所评分：4
On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis.
电商所评分：2
Sound, totally sound, and unsound recursive equivalence types.
电商所评分：6
Representable cylindric algebras.
电商所评分：3
A completeness proof for adapted probability logic.
电商所评分：8
Hyperfinite models of adapted probability logic.
电商所评分：2
The limits of E-recursive enumerability.
电商所评分：4
Preface.
电商所评分：2