Zoekresultaten
Resultaat 1 - 3 (van 3)
Nick Bezhanishvili | Ian Hodkinson All normal extensions of S5-squared are finitely axiomatizable
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Ian Hodkinson | Yde Venema Canonical varieties with no canonical axiomatisation
Non-fictie
Engels | 25 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Robert Goldblatt | Ian Hodkinson | Yde Venema Erds graphs resolve Fine's canonicity problem
Non-fictie
Engels | 23 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek