511 citations
- Institute for Advanced StudyUS34 papers
- University of California, Santa CruzUS6 papers
- California Institute of TechnologyUS4 papers
- Princeton UniversityUS4 papers
- Hebrew University of JerusalemIL3 papers
- Hospital Israelita Albert EinsteinBR3 papers
- University of California San DiegoUS3 papers
- University of ChicagoUS3 papers
- University of Rome Tor VergataIT3 papers
- Center for Theoretical PhysicsPL2 papers
- Czech Academy of Sciences, Institute of MathematicsCZ2 papers
- Institute of Mathematics and InformaticsBG2 papers
Showing 2012Show all
3 papers · 1 filter
math.GR2012
Finiteness Properties and Profinite Completions
Alexander Lubotzky
In this note we show that various (geometric/homological) finiteness properties are not profinite properties. For example for every $1 \le k, \ell \le \bbn$, there exist two finite…
math.LO2012
Combinatorial realizability models of type theory
Pieter Hofstra, Michael A. Warren
We introduce a new model construction for Martin-Löf intensional type theory, which is sound and complete for the 1-truncated version of the theory. The model formally combines the…
hep-th2012★ 81 cited
On Shape Dependence and RG Flow of Entanglement Entropy
Igor R. Klebanov, Tatsuma Nishioka, Silviu S. Pufu +1
We use a mix of field theoretic and holographic techniques to elucidate various properties of quantum entanglement entropy. In (3+1)-dimensional conformal field theory we study the…