Text this: Teoría intuicionista de modelos sobre órdenes parciales