:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Fanlo, Arturo Rodriguez, Segel, Ori
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic 03C95, 03B60
Accesso online:	https://arxiv.org/abs/2401.03260
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Model theory of class-sized logics
di: Osinski, Jonathan, et al.
Pubblicazione: (2026)

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

Abstract Model Structures and Compactness Theorems
di: Roy, Sayantan, et al.
Pubblicazione: (2025)

Generalized Explosion Principles: A Semantic Perspective
di: Basu, Sankha S., et al.
Pubblicazione: (2025)

Inner models from extended logics and the Delta-operation
di: Väänänen, Jouko, et al.
Pubblicazione: (2025)

Positive indiscernibles
di: Kamsma, Mark
Pubblicazione: (2023)

Multiplicative logic in arithmetic
di: Zhuravlov, Volodymyr
Pubblicazione: (2024)

Automorphisms of the Rado meet-tree
di: Kaplan, Itay, et al.
Pubblicazione: (2023)

Equivalence of finite non-deterministic logical matrices is undecidable
di: Caleiro, Carlos, et al.
Pubblicazione: (2024)

A note on transfer maps and the Morley product in NIP theories
di: Gannon, Kyle
Pubblicazione: (2024)

Interpolation in model theory
di: Väänänen, Jouko
Pubblicazione: (2025)

Domination, fibrations and splitting
di: Eagles, Christine, et al.
Pubblicazione: (2025)

Imaginaries, products and the adele ring
di: Derakhshan, Jamshid, et al.
Pubblicazione: (2023)

Some NIP-like phenomena in NTP$_{2}$
di: Kaplan, Itay, et al.
Pubblicazione: (2017)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
di: Coniglio, Marcelo E.
Pubblicazione: (2023)

On piecewise hyperdefinable groups
di: Fanlo, Arturo Rodriguez
Pubblicazione: (2020)

Model-theoretic characterizations of large cardinals (Re)${}^2$visited
di: Boney, Will, et al.
Pubblicazione: (2025)

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

Logic families
di: Andréka, H., et al.
Pubblicazione: (2023)

Hierarchies of direct powers, ultrapowers and cumulative powers
di: Yago, Pedro Teixeira
Pubblicazione: (2026)

Cartagena Logic
di: Kivimäki, Siiri, et al.
Pubblicazione: (2021)

Avoiding logical strength in real analysis
di: Freund, Anton, et al.
Pubblicazione: (2026)

A Note on Los's Theorem for Kripke-Joyal Semantics
di: Aiguier, Marc, et al.
Pubblicazione: (2024)

A characterization of Continuous Logic by using quantale-valued logics
di: Reyes, David, et al.
Pubblicazione: (2021)

Expressibility and inexpressibility in propositional team logics
di: Häggblom, Matilda, et al.
Pubblicazione: (2025)

Possible and impossible conditionals for team logics
di: Barbero, Fausto, et al.
Pubblicazione: (2026)

Newelski's Conjecture for $o$-Minimal and $p$-Adic Groups
di: Yao, Ningyuan, et al.
Pubblicazione: (2026)

Axiomatizing modal inclusion logic and its variants
di: Anttila, Aleksi, et al.
Pubblicazione: (2023)

On Some Infinitary Logics
di: Vaananen, Jouko, et al.
Pubblicazione: (2024)

Density of compressible types and some consequences
di: Bays, Martin, et al.
Pubblicazione: (2021)

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

A Completeness Theorem for Topological Doctrines
di: Ghilardi, Silvio, et al.
Pubblicazione: (2025)

Quite Complete Real Closed fields
di: Shelah, Saharon
Pubblicazione: (2001)

Epstein Semantics: Characterization, Interpolation, Undefinability, and (In)Completeness
di: Krawczyk, Krzysztof A.
Pubblicazione: (2024)

Two strong undefinability results in inquisitive and team semantics
di: Barbero, Fausto
Pubblicazione: (2024)

On stable Kim-forking and rosy theories
di: Miguel-Gómez, Alberto
Pubblicazione: (2025)

Rank and Independence of Imaginaries in Proper Pairs of ACF
di: Zhu, Zixuan
Pubblicazione: (2026)

Fields of dp-Rank 2 and their W_2-Topologies: The Characteristic 2 Case
di: Moreno, Paulo Andrés Soto
Pubblicazione: (2025)