论文列表及评分结果
Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
电商所评分：7
Members of countable π10 classes.
电商所评分：1
1-Generic degrees and minimal degrees in higher recursion theory, II.
电商所评分：3
Incorporating equality into logic programming via surface deduction.
电商所评分：1
Recursive categoricity and recursive stability.
电商所评分：4
Structural interactions of the recursively enumerable T- and W-degrees.
电商所评分：9
Paris-Harrington principles, reflection principles and transfinite induction up to ε0.
电商所评分：1
Generic objects in recursion theory II: Operations on recursive approximation spaces.
电商所评分：9
Factorization of polynomials and Σ10 induction.
电商所评分：10
Global intuitionistic analysis.
电商所评分：3
Trivial pursuit: Remarks on the main gap.
电商所评分：5
Set existence axioms for general (not necessarily countable) stability theory.
电商所评分：4
Structures coordinatized by indiscernible sets.
电商所评分：4
Discrete o-minimal structures.
电商所评分：7
Existence of many L∞, λ-equivalent, non- isomorphic models of T of power λ.
电商所评分：2
K-continuous lattices and comprehension principles for frege structures.
电商所评分：10
Effective topological spaces III: Forcing and definability.
电商所评分：3
Compactness in constructive analysis revisited.
电商所评分：4
Recursively rigid Boolean algebras.
电商所评分：3
The expressive power of Malitz quantifiers for linear orderings.
电商所评分：9
On some extensions of the projective hierarchy.
电商所评分：9
Lattices of c-degrees.
电商所评分：4
A theorem and some consistency results in partition calculus.
电商所评分：5
Uncountable groups have many nonconjugate subgroups.
电商所评分：10
Nonconvergence, undecidability, and intractability in asymptotic problems.
电商所评分：5
Menas' conjecture and generic ultrapowers.
电商所评分：6
On varieties of cylindric algebras with applications to logic.
电商所评分：5
On the number of strongly alephε-saturated models of power λ.
电商所评分：4
The model N = ∪ {L[A]: A countable set of ordinals}.
电商所评分：5
Categoricity in hyperarithmetical degrees.
电商所评分：1