Tag: Algebra and Logic

NOVA Math > NOVA Math >

Sets, Truth, and Recursion

2015, Unifying the Philosophy of Truth, Kahle,R

Read More

The maximum multiplicity and the two largest multiplicities of eigenvalues in a Hermitian matrix whose graph is a tree

2015, Special Matrices, Fernandes,R

Read More

Syntax versus Semantics

2015, CoRR, Kahle,R;Keller,W

Read More

From exceptional collections to motivic decompositions via noncommutative motives

2015, JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, Marcolli,M;Tabuada,G

Read More

Exponentiable motivic measures

2015, JOURNAL OF THE RAMANUJAN MATHEMATICAL SOCIETY, Ramachandran,N;Tabuada,G

Read More

A countable family of finitely presented infinite congruence-free monoids

2015, ACTA SCIENTIARUM MATHEMATICARUM, Al Kharousi,F;Cain,AJ;Maltcev,V;Umar,A

Read More

Gentzen’s centenary: The quest for consistency

2015, Gentzen's Centenary: The Quest for Consistency, Kahle,R;Rathjen,M

Read More

Gentzen’s consistency proof in context

2015, Gentzen's Centenary: The Quest for Consistency, Kahle,R

Read More

Minimum H-Decompositions of Graphs and Its Ramsey Version: A Survey

2015, Dynamics, Games and Science, Sousa,T

Read More

Relations between the Chow motive and the noncommutative motive of a smooth projective variety

2015, JOURNAL OF PURE AND APPLIED ALGEBRA, Bernardara,M;Tabuada,C

Read More