Cover Image

A characterization of Continuous Logic by using quantale-valued logics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Reyes, David, Zambrano, Pedro H.
Format:	Preprint
Published:	2021
Subjects:	Logic 3C90, 03B60, 03C65, 03C20, 03C50, 06F07, 18B35, 03C66
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The amalgamation property and Urysohn structures in continuous logic
by: Gao, Su, et al.
Published: (2023)

Affine logic with the integration operator
by: Bagheri, Seyed-Mohammad
Published: (2026)

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)

Definably amenable groups in Continuous logic
by: Carmona, Juan Felipe, et al.
Published: (2022)

Compactness in Team Semantics
by: Puljujärvi, Joni, et al.
Published: (2022)

Elements of affine model theory
by: Bagheri, Seyed-Mohammad
Published: (2024)

Forcing with random variables in bounded arithmetics and set theory
by: Honzik, Radek
Published: (2026)

Definable Functions to Quotients in Ordered Abelian Groups
by: Wells, Harper
Published: (2026)

A minimalist two-level foundation for constructive mathematics
by: Maietti, Maria Emilia
Published: (2008)

Herbrand's Theorem: a short statement and a model-theoretic proof
by: Badano, Mariana
Published: (2025)

Stable reducts of elementary extensions of Presburger arithmetic
by: Alouf, Eran, et al.
Published: (2024)

Coordinate recognition: General theory, Groups, and other surprises
by: Farah, I., et al.
Published: (2025)

The modal theory of the category of sets
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Distality in Ordered Abelian Groups
by: Okura, Koki
Published: (2026)

On a new theory of models for formal mathematical systems
by: Kunik, Matthias
Published: (2026)

On the downward Löwenheim-Skolem Theorem for elementary submodels
by: Kunik, Matthias
Published: (2024)

Corona Rigidity
by: Farah, Ilijas, et al.
Published: (2022)

Ehrenfeucht-Fraïssé Games for Continuous First-Order Logic
by: Hirvonen, Åsa, et al.
Published: (2024)

The elementary theory of free Steiner triple systems
by: Barbina, Silvia, et al.
Published: (2024)

Notions of rank and independence in countably categorical theories
by: Koponen, Vera
Published: (2025)

Reverse mathematics of a uniform Kruskal-Friedman theorem
by: Freund, Anton
Published: (2021)

NSOP$_1$-like independence in AECats
by: Kamsma, Mark
Published: (2021)

Saturation of reduced products
by: De Bondt, Ben, et al.
Published: (2024)

Adding an Implication to Logics of Perfect Paradefinite Algebras
by: Greati, Vitor, et al.
Published: (2023)

Retractors in local positive logic
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)

Completeness in local positive logic
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)

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

The uniform Kruskal theorem over RCA$_0$
by: Uftring, Patrick
Published: (2025)

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

Generic groups and the weak amalgamation property
by: Ivanov, Aleksander, et al.
Published: (2024)

The Monadic Grzegorczyk Logic
by: Bezhanishvili, Guram, et al.
Published: (2024)

Transfer principles for forking and dividing in expansions of pure short exact sequences of Abelian groups
by: Hossain, Akash
Published: (2024)

Pseudofiniteness in Hrushovski Constructions
by: Valizadeh, Ali N., et al.
Published: (2018)

Kripke-like models of Set Theory in Modal Residuated Logic
by: Moncayo, Jose, et al.
Published: (2024)

Local stability in structures with a standard sort
by: Barbina, Silvia, et al.
Published: (2025)

The Amalgamation Property for automorphisms of ordered abelian groups
by: Dobrowolski, Jan, et al.
Published: (2022)

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

Craig interpolation theorem fails in bi-intuitionistic predicate logic
by: Olkhovikov, Grigory K., et al.
Published: (2022)

On logical parameterizations and functional representability in local set theories
by: Hernández, Enrique Ruiz, et al.
Published: (2021)

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