论文列表及评分结果
Upper bounds for the arithmetical degrees.
电商所评分：2
Remarks in abstract model theory.
电商所评分：10
Regularity properties of definable sets of reals.
电商所评分：10
Set recursion and Πhalf-logic.
电商所评分：3
Non-closure of the image model and absence of fixed points.
电商所评分：3
More on the weak diamond.
电商所评分：4
Addendum to "countable algebra and set existence axioms".
电商所评分：2
aleph0-Categorical, aleph0-stable structures.
电商所评分：8
Probability logic with conditional expectation.
电商所评分：5
The model-theoretic structure of abelian group rings.
电商所评分：9
Monadic logic and löwenheim numbers.
电商所评分：10
Narrow boolean algebras.
电商所评分：2
Finite QE rings in characteristic p2.
电商所评分：8
Fragments of arithmetic.
电商所评分：4
Reduction of higher type levels by means of an ordinal analysis of finite terms.
电商所评分：7
Effective topological spaces I: a definability theory.
电商所评分：3
Lower bound results on lengths of second-order formulas.
电商所评分：4
Recursive properties of euclidean domains.
电商所评分：9
Reflection and forcing in E-recursion theory.
电商所评分：3
P-points and Q-points over a measurable cardinal.
电商所评分：5
Intersections of algebraically closed fields.
电商所评分：8
On elementary properties of free lie algebras.
电商所评分：6
Undecidability of some elementary theories over pac fields.
电商所评分：2
Intuitionistically provable recursive well-orderings.
电商所评分：3
Approximation to measurable functions and its relation to probabilistic computation.
电商所评分：7
Diagonalization of continuous matrices as a representation of intuitionistic reals.
电商所评分：5
Souslin trees and successors of singular cardinals.
电商所评分：6
Perfect measurable spaces.
电商所评分：5
Degrees which do not bound minimal degrees.
电商所评分：6
More on real algebra in scott's model.
电商所评分：4