All public logs

Combined display of all available logs of PKC. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 02:05, 27 January 2023 Benkoo2 talk contribs created page Transcript/Arkor - The formal theory of theories (Created page with "=SPEAKER A= So the next speaker is ######### ##### and he knows about the formal theory of theories. Please go on. =SPEAKER B= Thank you very much. I'd like to start just by thanking the organizers of the conference for arranging it, especially during these very difficult circumstances. I'd like to thank them also for giving me the opportunity to speak today. So I'm going to start directly with the motivation to recall that an algebraic theory is an identical objector...")