scholarly journals A compactness theorem for the fractional Yamabe problem, Part I: The nonumbilic conformal infinity

Author(s):  
Seunghyeok Kim ◽  
Monica Musso ◽  
Juncheng Wei
2009 ◽  
Vol 81 (1) ◽  
pp. 143-196 ◽  
Author(s):  
M.A. Khuri ◽  
F.C. Marques ◽  
R.M. Schoen

1999 ◽  
Vol 64 (4) ◽  
pp. 1407-1425
Author(s):  
Claes Strannegård

AbstractWe investigate the modal logic of interpretability over Peano arithmetic. Our main result is a compactness theorem that extends the arithmetical completeness theorem for the interpretability logic ILMω. This extension concerns recursively enumerable sets of formulas of interpretability logic (rather than single formulas). As corollaries we obtain a uniform arithmetical completeness theorem for the interpretability logic ILM and a partial answer to a question of Orey from 1961. After some simplifications, we also obtain Shavrukov's embedding theorem for Magari algebras (a.k.a. diagonalizable algebras).


2021 ◽  
Vol 29 (2) ◽  
pp. 363-407
Author(s):  
Shengbing Deng ◽  
Seunghyeok Kim ◽  
Angela Pistoia

2018 ◽  
Vol 56 ◽  
pp. 187-201 ◽  
Author(s):  
Matthew Gursky ◽  
Jeffrey Streets

Sign in / Sign up

Export Citation Format

Share Document