Buchumschlag

A characterization of Continuous Logic by using quantale-valued logics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Reyes, David, Zambrano, Pedro H.
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Logic 3C90, 03B60, 03C65, 03C20, 03C50, 06F07, 18B35, 03C66
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The amalgamation property and Urysohn structures in continuous logic
von: Gao, Su, et al.
Veröffentlicht: (2023)

Affine logic with the integration operator
von: Bagheri, Seyed-Mohammad
Veröffentlicht: (2026)

On the expressive power of inquisitive epistemic logic
von: Ciardelli, Ivano, et al.
Veröffentlicht: (2023)

Definably amenable groups in Continuous logic
von: Carmona, Juan Felipe, et al.
Veröffentlicht: (2022)

Compactness in Team Semantics
von: Puljujärvi, Joni, et al.
Veröffentlicht: (2022)

Elements of affine model theory
von: Bagheri, Seyed-Mohammad
Veröffentlicht: (2024)

Forcing with random variables in bounded arithmetics and set theory
von: Honzik, Radek
Veröffentlicht: (2026)

Definable Functions to Quotients in Ordered Abelian Groups
von: Wells, Harper
Veröffentlicht: (2026)

A minimalist two-level foundation for constructive mathematics
von: Maietti, Maria Emilia
Veröffentlicht: (2008)

Herbrand's Theorem: a short statement and a model-theoretic proof
von: Badano, Mariana
Veröffentlicht: (2025)

Stable reducts of elementary extensions of Presburger arithmetic
von: Alouf, Eran, et al.
Veröffentlicht: (2024)

Coordinate recognition: General theory, Groups, and other surprises
von: Farah, I., et al.
Veröffentlicht: (2025)

The modal theory of the category of sets
von: Wołoszyn, Wojciech Aleksander
Veröffentlicht: (2026)

Distality in Ordered Abelian Groups
von: Okura, Koki
Veröffentlicht: (2026)

On a new theory of models for formal mathematical systems
von: Kunik, Matthias
Veröffentlicht: (2026)

On the downward Löwenheim-Skolem Theorem for elementary submodels
von: Kunik, Matthias
Veröffentlicht: (2024)

Corona Rigidity
von: Farah, Ilijas, et al.
Veröffentlicht: (2022)

Ehrenfeucht-Fraïssé Games for Continuous First-Order Logic
von: Hirvonen, Åsa, et al.
Veröffentlicht: (2024)

The elementary theory of free Steiner triple systems
von: Barbina, Silvia, et al.
Veröffentlicht: (2024)

Notions of rank and independence in countably categorical theories
von: Koponen, Vera
Veröffentlicht: (2025)

Reverse mathematics of a uniform Kruskal-Friedman theorem
von: Freund, Anton
Veröffentlicht: (2021)

NSOP$_1$-like independence in AECats
von: Kamsma, Mark
Veröffentlicht: (2021)

Saturation of reduced products
von: De Bondt, Ben, et al.
Veröffentlicht: (2024)

Adding an Implication to Logics of Perfect Paradefinite Algebras
von: Greati, Vitor, et al.
Veröffentlicht: (2023)

Retractors in local positive logic
von: Fanlo, Arturo Rodriguez, et al.
Veröffentlicht: (2024)

Completeness in local positive logic
von: Fanlo, Arturo Rodriguez, et al.
Veröffentlicht: (2024)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
von: Buriola, Gabriele, et al.
Veröffentlicht: (2025)

The uniform Kruskal theorem over RCA$_0$
von: Uftring, Patrick
Veröffentlicht: (2025)

General real-valued theories with the Schröder-Bernstein property are stable
von: Berenstein, Alexander, et al.
Veröffentlicht: (2025)

Generic groups and the weak amalgamation property
von: Ivanov, Aleksander, et al.
Veröffentlicht: (2024)

The Monadic Grzegorczyk Logic
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

Transfer principles for forking and dividing in expansions of pure short exact sequences of Abelian groups
von: Hossain, Akash
Veröffentlicht: (2024)

Pseudofiniteness in Hrushovski Constructions
von: Valizadeh, Ali N., et al.
Veröffentlicht: (2018)

Kripke-like models of Set Theory in Modal Residuated Logic
von: Moncayo, Jose, et al.
Veröffentlicht: (2024)

Local stability in structures with a standard sort
von: Barbina, Silvia, et al.
Veröffentlicht: (2025)

The Amalgamation Property for automorphisms of ordered abelian groups
von: Dobrowolski, Jan, et al.
Veröffentlicht: (2022)

Decidability of the theory of modules over Prüfer domains with dense value groups
von: Gregory, Lorna, et al.
Veröffentlicht: (2019)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
von: Olkhovikov, Grigory K., et al.
Veröffentlicht: (2022)

On logical parameterizations and functional representability in local set theories
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2021)

Locally $\aleph_0$-categorical theories and locally Roelcke precompact groups
von: Yaacov, Itaï Ben, et al.
Veröffentlicht: (2026)