:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Fanlo, Arturo Rodriguez, Segel, Ori
Format:	Preprint
Published:	2024
Subjects:	Logic 03C95, 03B60
Online Access:	https://arxiv.org/abs/2404.16971
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

Positive indiscernibles
by: Kamsma, Mark
Published: (2023)

Multiplicative logic in arithmetic
by: Zhuravlov, Volodymyr
Published: (2024)

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

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

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

Interpolation in model theory
by: Väänänen, Jouko
Published: (2025)

Domination, fibrations and splitting
by: Eagles, Christine, et al.
Published: (2025)

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

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

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

On piecewise hyperdefinable groups
by: Fanlo, Arturo Rodriguez
Published: (2020)

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

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

Logic families
by: Andréka, H., et al.
Published: (2023)

Hierarchies of direct powers, ultrapowers and cumulative powers
by: Yago, Pedro Teixeira
Published: (2026)

Cartagena Logic
by: Kivimäki, Siiri, et al.
Published: (2021)

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

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

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

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

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

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

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

On Some Infinitary Logics
by: Vaananen, Jouko, et al.
Published: (2024)

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

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

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

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

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

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

E-ideals in exponential polynomial ring
by: D'Aquino, P., et al.
Published: (2022)

Preservation of NATP
by: Ahn, JinHoo, et al.
Published: (2022)

Decidability of the theory of modules over Prüfer domains with infinite residue fields
by: Gregory, Lorna, et al.
Published: (2017)