LOGIC, PARTIAL ORDERS AND TOPOLOGY

Detalhes bibliográficos
Autor(a) principal: Mariano, Hugo
Data de Publicação: 2016
Outros Autores: Miraglia, Francisco
Tipo de documento: Artigo
Idioma: por
Título da fonte: Manuscrito (Online)
Texto Completo: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643895
Resumo: 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.
id UNICAMP-17_e8b9c289ac332ebd8a59b8b334e3e6a1
oai_identifier_str oai:ojs.periodicos.sbu.unicamp.br:article/8643895
network_acronym_str UNICAMP-17
network_name_str Manuscrito (Online)
repository_id_str
spelling LOGIC, PARTIAL ORDERS AND TOPOLOGYKripke structures. Partial orders. Topological ultrafilters. Generalized ultraproductsWe 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.Universidade Estadual de Campinas2016-03-04info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643895Manuscrito: Revista Internacional de Filosofia; v. 28 n. 2 (2005): Jul./Dec.; 449-545Manuscrito: International Journal of Philosophy; Vol. 28 No. 2 (2005): Jul./Dec.; 449-545Manuscrito: Revista Internacional de Filosofía; Vol. 28 Núm. 2 (2005): Jul./Dec.; 449-5452317-630Xreponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPporhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643895/11364Copyright (c) 2005 Manuscritoinfo:eu-repo/semantics/openAccessMariano, HugoMiraglia, Francisco2016-03-08T11:27:17Zoai:ojs.periodicos.sbu.unicamp.br:article/8643895Revistahttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscritoPUBhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/oaimwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br2317-630X0100-6045opendoar:2016-03-08T11:27:17Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv LOGIC, PARTIAL ORDERS AND TOPOLOGY
title LOGIC, PARTIAL ORDERS AND TOPOLOGY
spellingShingle LOGIC, PARTIAL ORDERS AND TOPOLOGY
Mariano, Hugo
Kripke structures. Partial orders. Topological ultrafilters. Generalized ultraproducts
title_short LOGIC, PARTIAL ORDERS AND TOPOLOGY
title_full LOGIC, PARTIAL ORDERS AND TOPOLOGY
title_fullStr LOGIC, PARTIAL ORDERS AND TOPOLOGY
title_full_unstemmed LOGIC, PARTIAL ORDERS AND TOPOLOGY
title_sort LOGIC, PARTIAL ORDERS AND TOPOLOGY
author Mariano, Hugo
author_facet Mariano, Hugo
Miraglia, Francisco
author_role author
author2 Miraglia, Francisco
author2_role author
dc.contributor.author.fl_str_mv Mariano, Hugo
Miraglia, Francisco
dc.subject.por.fl_str_mv Kripke structures. Partial orders. Topological ultrafilters. Generalized ultraproducts
topic Kripke structures. Partial orders. Topological ultrafilters. Generalized ultraproducts
description 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.
publishDate 2016
dc.date.none.fl_str_mv 2016-03-04
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643895
url https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643895
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643895/11364
dc.rights.driver.fl_str_mv Copyright (c) 2005 Manuscrito
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2005 Manuscrito
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Estadual de Campinas
publisher.none.fl_str_mv Universidade Estadual de Campinas
dc.source.none.fl_str_mv Manuscrito: Revista Internacional de Filosofia; v. 28 n. 2 (2005): Jul./Dec.; 449-545
Manuscrito: International Journal of Philosophy; Vol. 28 No. 2 (2005): Jul./Dec.; 449-545
Manuscrito: Revista Internacional de Filosofía; Vol. 28 Núm. 2 (2005): Jul./Dec.; 449-545
2317-630X
reponame:Manuscrito (Online)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Manuscrito (Online)
collection Manuscrito (Online)
repository.name.fl_str_mv Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv mwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br
_version_ 1800216566130802688

Registros relacionados