论文列表及评分结果
Categoricity results for L∞κ.
电商所评分：4
The syntax of nonstandard analysis.
电商所评分：8
Diophantine equations in fragments of arithmetic.
电商所评分：9
A graph which embeds all small graphs on any large set of vertices.
电商所评分：10
The notion of independence in categories of algebraic structures, part I: Basic properties.
电商所评分：1
Proof-theoretical analysis: weak systems of functions and classes.
电商所评分：4
Dimensional Order Property and Pairs of Models.
电商所评分：6
Minimal Coding.
电商所评分：10
Intervals and Sublattices of the r.e. Weak Truth Table Degrees, Part I: Density.
电商所评分：9
Countable Valued Fields in Weak Subsystems of Second-Order Arithmetic.
电商所评分：6
Conceptual Completeness for First-Order Intuitionistic Logic: An Application of Categorical Logic.
电商所评分：1
More on Brouwer's Refutations.
电商所评分：9
Filter Spaces: Toward a Unified Theory of Large Cardinals and Embedding Axioms.
电商所评分：8
Nondeterministic Bounded Query Reducibilities.
电商所评分：6
Completely Mitotic r.e. Degrees.
电商所评分：2
On the Number of Steps in Proofs.
电商所评分：4
Infinite Combinatorics and Definability.
电商所评分：1
Generic Copies of Countable Structures.
电商所评分：4
Delta12-Sets of Reals.
电商所评分：8
Retracts of Numerations.
电商所评分：6
Index Sets Related to Prompt Simplicity.
电商所评分：8
Monotone Inductive Definitions in a Constructive Theory of Functions and Classes.
电商所评分：8
Dominoes and the Complexity of Subclasses of Logical Theories.
电商所评分：8
Sequential Evaluation Strategies for Parallel-Or and Related Reduction Systems.
电商所评分：4
Primes and Their Residue Rings in Models of Open Induction.
电商所评分：5
A Type-Free System Extending (ZFC).
电商所评分：1
On the Complexity of Finding the Chromatic Number of a Recursive Graph I: The Bounded Case.
电商所评分：3
Some Principles Related to Chang's Conjecture.
电商所评分：9
Intervals and Sublattices of the r.e. Weak Truth Table Degrees, Part II: Nonbounding.
电商所评分：6
Varieties of Complex Algebras.
电商所评分：3