This website requires javascript to properly function. Consider activating javascript to get access to all site functionality.
AI ALIGNMENT FORUM
AF
Login
MikkW
Posts
Sorted by New
0
MikkW's Shortform
5y
0
Wikitag Contributions
Psychotropics
5y
(
+33
/
-33
)
Psychotropics
5y
(
+5
/
-4
)
Psychotropics
5y
(
+95
/
-24
)
Psychotropics
5y
(
+24
/
-28
)
Psychotropics
5y
(+47)
Psychotropics
5y
(+421)
Comments
Sorted by
Newest
Biextensional Equivalence
MikkW
4y
1
0
≅
in as equivalence relation
I presume this is supposed to be "is an"?
Reply
I presume this is supposed to be "is an"?