Image de couverture de livre

Retractors in local positive logic

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fanlo, Arturo Rodriguez, Segel, Ori
Format:	Preprint
Publié:	2024
Sujets:	Logic 03C95, 03B60
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Completeness in local positive logic
par: Fanlo, Arturo Rodriguez, et autres
Publié: (2024)

The amalgamation property and Urysohn structures in continuous logic
par: Gao, Su, et autres
Publié: (2023)

Abstract Model Structures and Compactness Theorems
par: Roy, Sayantan, et autres
Publié: (2025)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
par: Olkhovikov, Grigory K., et autres
Publié: (2022)

Model theory of class-sized logics
par: Osinski, Jonathan, et autres
Publié: (2026)

Generalized Explosion Principles: A Semantic Perspective
par: Basu, Sankha S., et autres
Publié: (2025)

Inner models from extended logics and the Delta-operation
par: Väänänen, Jouko, et autres
Publié: (2025)

Multiplicative logic in arithmetic
par: Zhuravlov, Volodymyr
Publié: (2024)

Positive indiscernibles
par: Kamsma, Mark
Publié: (2023)

A note on transfer maps and the Morley product in NIP theories
par: Gannon, Kyle
Publié: (2024)

Interpolation in model theory
par: Väänänen, Jouko
Publié: (2025)

Domination, fibrations and splitting
par: Eagles, Christine, et autres
Publié: (2025)

Imaginaries, products and the adele ring
par: Derakhshan, Jamshid, et autres
Publié: (2023)

Equivalence of finite non-deterministic logical matrices is undecidable
par: Caleiro, Carlos, et autres
Publié: (2024)

Some NIP-like phenomena in NTP$_{2}$
par: Kaplan, Itay, et autres
Publié: (2017)

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

Model-theoretic characterizations of large cardinals (Re)${}^2$visited
par: Boney, Will, et autres
Publié: (2025)

Compactness in Team Semantics
par: Puljujärvi, Joni, et autres
Publié: (2022)

Hierarchies of direct powers, ultrapowers and cumulative powers
par: Yago, Pedro Teixeira
Publié: (2026)

Cartagena Logic
par: Kivimäki, Siiri, et autres
Publié: (2021)

Expressibility and inexpressibility in propositional team logics
par: Häggblom, Matilda, et autres
Publié: (2025)

Possible and impossible conditionals for team logics
par: Barbero, Fausto, et autres
Publié: (2026)

Axiomatizing modal inclusion logic and its variants
par: Anttila, Aleksi, et autres
Publié: (2023)

Logic families
par: Andréka, H., et autres
Publié: (2023)

Avoiding logical strength in real analysis
par: Freund, Anton, et autres
Publié: (2026)

Automorphisms of the Rado meet-tree
par: Kaplan, Itay, et autres
Publié: (2023)

On Some Infinitary Logics
par: Vaananen, Jouko, et autres
Publié: (2024)

A Note on Los's Theorem for Kripke-Joyal Semantics
par: Aiguier, Marc, et autres
Publié: (2024)

Density of compressible types and some consequences
par: Bays, Martin, et autres
Publié: (2021)

A characterization of Continuous Logic by using quantale-valued logics
par: Reyes, David, et autres
Publié: (2021)

Newelski's Conjecture for $o$-Minimal and $p$-Adic Groups
par: Yao, Ningyuan, et autres
Publié: (2026)

On the expressive power of inquisitive epistemic logic
par: Ciardelli, Ivano, et autres
Publié: (2023)

On piecewise hyperdefinable groups
par: Fanlo, Arturo Rodriguez
Publié: (2020)

Two strong undefinability results in inquisitive and team semantics
par: Barbero, Fausto
Publié: (2024)

On stable Kim-forking and rosy theories
par: Miguel-Gómez, Alberto
Publié: (2025)

Rank and Independence of Imaginaries in Proper Pairs of ACF
par: Zhu, Zixuan
Publié: (2026)

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

E-ideals in exponential polynomial ring
par: D'Aquino, P., et autres
Publié: (2022)

Preservation of NATP
par: Ahn, JinHoo, et autres
Publié: (2022)

Generic multiplicative endomorphism of a field
par: d'Elbée, Christian
Publié: (2022)