
Omitting uncountable types and the strength of -valued logics
Caicedo, Xavier, Iovino, José N.Volume:
165
Langue:
english
Journal:
Annals of Pure and Applied Logic
DOI:
10.1016/j.apal.2014.01.005
Date:
June, 2014
Fichier:
PDF, 488 KB
english, 2014