论文列表及评分结果
Totally transcendental theories of modules: decomposition of models and types.
电商所评分：2
Some descriptive set theory and core models.
电商所评分：4
Intrinsically gs;0alpha; relations.
电商所评分：4
A unification algorithm for second-order monadic terms.
电商所评分：7
On the Mitchell and Rudin-Kiesler orderings of ultrafilters.
电商所评分：4
On church's formal theory of functions and functionals: The λ-calculus: connections to higher type recursion theory, proof theory, category theory.
电商所评分：9
A small complete category.
电商所评分：10
Strong conceptual completeness for first-order logic.
电商所评分：5
On the computational complexity of the theory of Abelian groups.
电商所评分：3
Topology and duality in modal logic.
电商所评分：1
Index sets in the arithmetical Hierarchy.
电商所评分：5
On the programs-as-formulas interpretation of parallel programs in peano arithmetic.
电商所评分：2
Normal functors, power series and λ-calculus.
电商所评分：5
Some applications of short core models.
电商所评分：8
Selective ultrafilters and homogeneity.
电商所评分：6
φ11-complete families of elementary sequences.
电商所评分：6
Recursion theorems and effective domains.
电商所评分：2
Another extension of Van de Wiele's theorem.
电商所评分：1
Primitive iteration and unary functions.
电商所评分：6
Admissibility spectra and minimality.
电商所评分：8
A non-inversion theorem for the jump operator.
电商所评分：2
The disjunction and existence properties for axiomatic systems of truth.
电商所评分：6
Homogeneous finite rings in characteristic 2n.
电商所评分：5
A transfer theorem in constructive real algebra.
电商所评分：4
Number of strongly alephɛ-saturated models - an addition.
电商所评分：6
Substructures and uniform elimination for p-adic fields.
电商所评分：7
Applications of iterated perfect set forcing.
电商所评分：5
The notion of independence in categories of algebraic structures, part II: S-minimal extensions.
电商所评分：6
Bounded arithmetic and truth definition.
电商所评分：3
Countable ultraproducts without CH.
电商所评分：7