6 citations · 11 across the 11 of their papers we have counts for
11 papers
Kripke-like models of Set Theory in Modal Residuated Logic
Jose Moncayo, Pedro H. Zambrano
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 th…
Constructible sets in lattice-valued models: A negative result
Jose Moncayo, Pedro H. Zambrano
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 construct…
A characterization of Continuous Logic by using quantale-valued logics
David Reyes, Pedro H. Zambrano
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 as…
A natural semantics for the pullback of fiber bundles of structures
Leonardo A. Cano G, Pedro H. Zambrano
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…
Tameness in generalized metric structures
Michael Lieberman, Jiri Rosicky, Pedro Zambrano
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 pro…
Around the set-theoretical consistency of d-tameness of Metric Abstract Elementary Classes
Will Boney, Pedro Zambrano
In this paper, we prove that if is a almost strongly compact cardinal, then any MAEC with Löwenheim-Skolem number below is -d-tame.
Towards a proof of the Shelah Presentation Theorem in Metric Abstract Elementary Classes
Pedro Zambrano
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…
A global approach to AECs
Hugo Luiz Mariano, Andrés Villaveces, Pedro Hernan Zambrano
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 , for a fir…
Around Independence and Domination in Metric Abstract Elementary Classes, under Uniqueness of Limit Models
Andrés Villaveces, Pedro Zambrano
We study notions of independence appropriate for a stability theory of metric abstract elementary classes (for short, MAECs). We build on previous notions used in the discrete case…
Limit Models in Metric Abstract Elementary Classes: the Categorical case
Andrés Villaveces, Pedro Zambrano
We study versions of limit models adapted to the context of *metric abstract elementary classes*. Under categoricity and superstability-like assumptions, we generalize some theorem…
A stability transfer theorem in d-tame Metric Abstract Elementary Classes
Pedro Zambrano
In this paper, we study a stability transfer theorem in d-tame Metric Abstract Elementary classes, in a similar way as in [BaKuVa], but using superstability-like assumptions which…