Zobrazeno 1 - 10
of 166
pro vyhledávání: '"Zambrano, Pedro"'
Autor:
Moncayo, Jose, Zambrano, Pedro H.
We generalize Fitting's work on Intuitionistic Kripke models of Set Theory using Ono and Komori's Residuated Kripke models. Based on these models, we provide a generalization of the von Neumann hierarchy in the context of Modal Residuated Logic and p
Externí odkaz:
http://arxiv.org/abs/2405.04641
Autor:
Moncayo, Jose, Zambrano, Pedro H.
We investigate different set-theoretic constructions in Residuated Logic based on Fitting's work on Intuitionistic Set Theory. We start by stating some results concerning constructible sets within valued models of Set Theory. We present two distinct
Externí odkaz:
http://arxiv.org/abs/2306.01734
Autor:
Villarreal-Granda, Paula, Recio-Platero, Amada, Martín-Bayo, Yara, Durantez-Fernández, Carlos, Cárdaba-García, Rosa M., Pérez-Pérez, Lucía, Madrigal, Miguel, Muñoz-del Caz, Alba, Bahillo Ruiz, Esther, Jiménez-Navascués, Lourdes, Prieto Zambrano, Pedro, Velasco-Gonzalez, Veronica
Publikováno v:
In Transplantation Proceedings November 2024 56(9):2006-2011
Autor:
Reyes, David, Zambrano, Pedro H.
In this paper, we propose a generalization of Continuous Logic ([BBHU08]) where the distances take values in suitable co-quantales (in the way as it was proposed in [Fla97]). By assuming suitable conditions (e.g., being co-divisible, co-Girard and a
Externí odkaz:
http://arxiv.org/abs/2102.06067
We remark that forcing on fiber bundles of structures of first order languages is not a compatible semantics with the pullback (of fiber bundles) and we describe a semantics which behaves well with respect to it. This new semantics uses parallel tran
Externí odkaz:
http://arxiv.org/abs/1811.11271
We broaden the framework of metric abstract elementary classes (mAECs) in several essential ways, chiefly by allowing the metric to take values in a well-behaved quantale. As a proof of concept we show that the result of Boney and Zambrano on (metric
Externí odkaz:
http://arxiv.org/abs/1810.02317
Autor:
Boney, Will, Zambrano, Pedro
In this paper, we prove that if $\kappa$ is a almost strongly compact cardinal, then any MAEC with L\"owenheim-Skolem number below $\kappa$ is $<\kappa$-d-tame.
Externí odkaz:
http://arxiv.org/abs/1508.05529
Autor:
Zambrano, Pedro
In my PhD thesis a version of Shelah's Presentation Theorem in the setting of Metric Abstract Elementary Classes was proved, where we claimed that the new function symbols are not necessarily uniformly continuous. In this paper we provide a proof the
Externí odkaz:
http://arxiv.org/abs/1504.05310
In this work we present some general categorial ideas on Abstract Elementary Classes (AECs) %\cite{She}, inspired by the totality of AECs of the form $(Mod(T), \preceq)$, for a first-order theory T: (i) we define a natural notion of (funtorial) morph
Externí odkaz:
http://arxiv.org/abs/1405.4488