scholarly journals Formalization of the Fundamental Group in Untyped Set Theory Using Auto2

2017 ◽  
pp. 514-530 ◽  
Author(s):  
Bohua Zhan
Keyword(s):  
Fundamental Group ◽  
Set Theory

scholarly journals A Rigid Hyperfinite Type II1 Factor

2020 ◽  
Author(s):  
Ilijas Farah ◽  
Ilan Hirshberg
Keyword(s):  
Fundamental Group ◽  
Set Theory ◽  
Axiom Of Choice ◽  
Density Character ◽  
Outer Automorphisms ◽  
The Axiom Of Choice

Abstract We show that it is relatively consistent with Zermelo-Fraenkel set theory with the axiom of choice that there exists a hyperfinite type $\textrm{II}_1$-factor of density character $\aleph _1$ that is not isomorphic to its opposite, does not have any outer automorphisms, and has trivial fundamental group.

A Course on Set Theory

2009 ◽  
Author(s):  
Ernest Schimmerling
Keyword(s):  
Set Theory

Set Theory

2016 ◽  
Author(s):  
Daniel W. Cunningham
Keyword(s):  
Set Theory
Sign in / Sign up

Export Citation Format

Share Document