Buchumschlag

Strong Rigidity and Elementary Embeddings

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Mohammd, Marwan Salam
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Reinhardt Cardinals and Eventually Dominating Functions
von: Mohammd, Marwan Salam
Veröffentlicht: (2025)

Berkeley Cardinals and Vopěnka's Principle
von: Mohammd, Marwan Salam
Veröffentlicht: (2024)

Strong Faithfulness for ELH Ontology Embeddings
von: Lacerda, Victor, et al.
Veröffentlicht: (2023)

An $\ell^2$ Obstruction for Elementary Embeddings of Hyperbolic Groups
von: MacMahon, Connor
Veröffentlicht: (2026)

Hanf Locality and Invariant Elementary Definability
von: Lindell, Steven, et al.
Veröffentlicht: (2025)

Definable Coherent Ultrapowers and Elementary Extensions
von: Boney, Will
Veröffentlicht: (2016)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Cofinality quantifiers in Abstract Elementary Classes and beyond
von: Boney, Will
Veröffentlicht: (2022)

Elementary extensions of almost o-minimal structures
von: Berraho, Mourad, et al.
Veröffentlicht: (2026)

Limit Models in Strictly Stable Abstract Elementary Classes
von: Boney, Will, et al.
Veröffentlicht: (2015)

Strong negation in the theory of computable functionals TCF
von: Köpp, Nils, et al.
Veröffentlicht: (2022)

Morita Rigidity for Kleene Algebras
von: Serafin, Luke
Veröffentlicht: (2025)

$Σ_1$-Stationary logic as an $\aleph_1$-Abstract Elementary Class
von: Boney, Will
Veröffentlicht: (2024)

Universal Horn Sentences and the Joint Embedding Property
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2021)

Rigid many-one degrees contain infinite antichains of $1$-degrees
von: Cintioli, Patrizio
Veröffentlicht: (2026)

Effective Versions of Strong Measure Zero
von: Rayman, Matthew
Veröffentlicht: (2025)

Strong Projective Witnesses
von: Fischer, Vera, et al.
Veröffentlicht: (2026)

Embedded Finite Models Beyond Restricted Quantifier Collapse
von: Benedikt, Michael, et al.
Veröffentlicht: (2023)

Elementary first-order model checking for sparse graphs
von: Gajarský, Jakub, et al.
Veröffentlicht: (2024)

Strong quasi-MV* algebras and their logics
von: Cai, Lei, et al.
Veröffentlicht: (2025)

On Modal Companions of Logics with Strong Negation
von: Anishchenko, Dmitry M.
Veröffentlicht: (2025)

Strongly Minimal Relics of T-convex Fields
von: Castle, Benjamin, et al.
Veröffentlicht: (2024)

A Module-theoretic Introduction to Abstract Elementary Classes
von: Boney, Will
Veröffentlicht: (2025)

On the Intermediate Models of Strongly Compact Prikry Forcing
von: Benhamou, Tom, et al.
Veröffentlicht: (2026)

Strong completeness for the predicate logic of the continuous t-norms
von: Castaño, Diego, et al.
Veröffentlicht: (2024)

Strong Completeness of Provability Logic for Uncountable Languages
von: Golshani, Mohammad, et al.
Veröffentlicht: (2026)

The Rezk Completion for Elementary Topoi
von: Wullaert, Kobe, et al.
Veröffentlicht: (2026)

Embedding stable groups into algebraic groups
von: Bartnick, Charlotte
Veröffentlicht: (2025)

Strongly minimal group relics of algebraically closed valued fields
von: Onshuus, Alf, et al.
Veröffentlicht: (2024)

Strong Measure Zero Sets on $2^κ$ for $κ$ Inaccessible
von: Chapman, Nick Steven, et al.
Veröffentlicht: (2019)

Effective Disjunction and Effective Interpolation in Suffciently Strong Proof Systems
von: Maxa, Martin
Veröffentlicht: (2026)

Strong standard completeness theorems for S5-modal Lukasiewicz logics
von: Castaño, Diego, et al.
Veröffentlicht: (2024)

Stably Embedded Pairs of Ordered Abelian Groups
von: Hils, Martin, et al.
Veröffentlicht: (2023)

Strong partition relations below the power set: consistency, was Sierpinski right, II?
von: Shelah, Saharon
Veröffentlicht: (1991)

Arithmetical Complexity and Absoluteness of Rigidity Phenomena for Ulam Sequences
von: Gilson, Frank
Veröffentlicht: (2025)

Formalizing CHSH Rigidity in Lean 4
von: Zhao, Tianrun, et al.
Veröffentlicht: (2026)

Elementary equivalence and diffeomorphism groups of smooth manifolds
von: Kim, Sang-hyun, et al.
Veröffentlicht: (2025)

Elementary $\infty$-toposes from type theory
von: Apol, Daniël, et al.
Veröffentlicht: (2025)

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)
von: Artale, Alessandro, et al.
Veröffentlicht: (2024)

The Logical Embedding of Universal Frame Logic: A Sequent Calculus and Classical Interpretation
von: Kevin Fathi
Veröffentlicht: (2025)