Definability of ordinals in (intuitionistic) Kripke semantics
Kripke definable ordinals / Minari, Pierluigi. - STAMPA. - Atti degli Incontri di Logica Matematica, Vol. 2. Siena:(1985), pp. 185-188. (Intervento presentato al convegno Incontri di Logica Matematica tenutosi a Siena).
Kripke definable ordinals
MINARI, PIERLUIGI
1985
Abstract
Definability of ordinals in (intuitionistic) Kripke semanticsFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.