Seminars: F. N. Pakhomov, On the decidability of elementary theories of some ordinal notation systems based on the logic GLP

Seminars

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
February 24, 2015 18:30–20:05, Moscow, Steklov Mathematical Institute

On the decidability of elementary theories of some ordinal notation systems based on the logic GLP

F. N. Pakhomov

Number of views:
This page:	179