论文列表及评分结果
Automorphisms of substructure lattices in recursive algebra.
电商所评分：9
Magidor-like and radin-like forcing.
电商所评分：1
A sequent calculus for relation algebras.
电商所评分：7
First-order theories of abstract dependence relations.
电商所评分：3
Fundamentals of forking.
电商所评分：3
Countably decomposable admissible sets.
电商所评分：4
Saturation and simple extensions of models of peano arithmetic.
电商所评分：10
Decidability and the number of countable models.
电商所评分：10
On some non-classical extensions of second-order intuitionistic propositional calculus.
电商所评分：7
Cancellation laws for surjective cardinals.
电商所评分：8
Model theory for L∞ω1.
电商所评分：5
Existentially closed structures in the power of the continuum.
电商所评分：2
Model theory of modules.
电商所评分：6
On the consistency of some partition theorems for continuous colorings, and the structure of aleph1-dense real order types.
电商所评分：3
Effective topological spaces II: A hierarchy.
电商所评分：6
A nonconservativity result on global choice.
电商所评分：3
Ultrafilters and types on models of arithmetic.
电商所评分：3
Recursive linear orders with recursive successivities.
电商所评分：7
Tautologies with a unique craig interpolant, uniform vs. nonuniform complexity.
电商所评分：6
The real-algebraic structure of Scott's model of intuitionistic analysis.
电商所评分：10
Large sets in intuitionistic set theory.
电商所评分：10
A constructive consistency proof of a fragment of set theory.
电商所评分：1
Sheaf models for choice sequences.
电商所评分：4
A note on r-maximal subspaces of V∞.
电商所评分：5
More game-theoretic properties of boolean algebras.
电商所评分：4
Some properties of κ-complete ideals defined in terms of infinite games.
电商所评分：3
Stationary logic of ordinals.
电商所评分：4
Recursive automorphisms of recursive linear orderings.
电商所评分：10
On universal graphs without instances of CH.
电商所评分：8
Characterizing weak compactness.
电商所评分：7