论文列表及评分结果
A Transfer Theorem in Constructive p-adic Algebra.
电商所评分:8
The Universality Spectrum of Stable Unsuperstable Theories.
电商所评分:2
Extended use of IST.
电商所评分:6
Tabular Degrees in alpha-Recursion Theory.
电商所评分:2
Determinacy and the Sharp Functions on the Reals (Corrected Version).
电商所评分:1
On Linfty k-free Boolean Algebras.
电商所评分:7
Woodin Cardinals and Presaturated Ideals.
电商所评分:5
Sufficiency Conditions for Theories with Recursive Models.
电商所评分:1
Complexity of Resolution Proofs and Function Introduction.
电商所评分:2
Moderate Families in Boolean Algebras.
电商所评分:7
On the Adequacy of Representing Higher Order Intuitionistic Logic as a Pure Type System.
电商所评分:6
Complete Topoi Representing Models of Set Theory.
电商所评分:8
Tautologies and Positive Solvability of Linear Homogeneous Systems.
电商所评分:1
The Indestructability of the Order of the Indescribable Cardinals.
电商所评分:3
Mints Type Deductive Calculi for Logic Programming.
电商所评分:2
On the Idea(l) of Logical Closure.
电商所评分:8
Myhill's Work in Recursion Theory.
电商所评分:3
Bounded Arithmetic for NC, ALogTIME, L and NL.
电商所评分:2
How Complicated is the Set of Stable Models of a Recursive Logic Program?
电商所评分:9
Eight Problems about Nerode Semirings (Recursive Ultrapowers).
电商所评分:8
Cancellation Laws for Polynomial-Time p-Isolated Sets.
电商所评分:5
Polynomial-Time Analogues of Isolatedness.
电商所评分:10
A Game Semantics for Linear Logic.
电商所评分:6
On co-Simple Isols and Their Intersection Types.
电商所评分:7
Decision Problems for Propositional Linear Logic.
电商所评分:6
Polynomial-Time Abelian Groups.
电商所评分:8
Completeness Results for Intuitionistic and Modal Logic in a Categorical Setting.
电商所评分:1
Countable Thin Pi01 Classes.
电商所评分:2
The Intuitionistic Alternative Set Theory.
电商所评分:8
Subsystems of True Arithmetic and Hierarchies of Functions.
电商所评分:2