论文列表及评分结果

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

点击查看评分详情!