TY - JOUR AU - Mariano, Hugo AU - Miraglia, Francisco PY - 2016/03/04 Y2 - 2024/03/29 TI - LOGIC, PARTIAL ORDERS AND TOPOLOGY JF - Manuscrito: Revista Internacional de Filosofia JA - Manuscrito - Rev. Int. Fil. VL - 28 IS - 2 SE - Artigos DO - UR - https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643895 SP - 449-545 AB - We give a version of L´os’ ultraproduct result for forcing in Kripke structures in a first-order language with equality and discuss ultrafilters in a topology naturally associated to a partial order. The presentation also includes background material so as to make the exposition accessible to those whose main interest is Computer Science, Artificial Intelligence and/or Philosophy. ER -