Image de couverture de livre

Strong Rigidity and Elementary Embeddings

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Mohammd, Marwan Salam
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Reinhardt Cardinals and Eventually Dominating Functions
par: Mohammd, Marwan Salam
Publié: (2025)

Berkeley Cardinals and Vopěnka's Principle
par: Mohammd, Marwan Salam
Publié: (2024)

Strong Faithfulness for ELH Ontology Embeddings
par: Lacerda, Victor, et autres
Publié: (2023)

An $\ell^2$ Obstruction for Elementary Embeddings of Hyperbolic Groups
par: MacMahon, Connor
Publié: (2026)

Hanf Locality and Invariant Elementary Definability
par: Lindell, Steven, et autres
Publié: (2025)

Definable Coherent Ultrapowers and Elementary Extensions
par: Boney, Will
Publié: (2016)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

Cofinality quantifiers in Abstract Elementary Classes and beyond
par: Boney, Will
Publié: (2022)

Elementary extensions of almost o-minimal structures
par: Berraho, Mourad, et autres
Publié: (2026)

Limit Models in Strictly Stable Abstract Elementary Classes
par: Boney, Will, et autres
Publié: (2015)

Strong negation in the theory of computable functionals TCF
par: Köpp, Nils, et autres
Publié: (2022)

Morita Rigidity for Kleene Algebras
par: Serafin, Luke
Publié: (2025)

$Σ_1$-Stationary logic as an $\aleph_1$-Abstract Elementary Class
par: Boney, Will
Publié: (2024)

Universal Horn Sentences and the Joint Embedding Property
par: Bodirsky, Manuel, et autres
Publié: (2021)

Rigid many-one degrees contain infinite antichains of $1$-degrees
par: Cintioli, Patrizio
Publié: (2026)

Effective Versions of Strong Measure Zero
par: Rayman, Matthew
Publié: (2025)

Strong Projective Witnesses
par: Fischer, Vera, et autres
Publié: (2026)

Embedded Finite Models Beyond Restricted Quantifier Collapse
par: Benedikt, Michael, et autres
Publié: (2023)

Elementary first-order model checking for sparse graphs
par: Gajarský, Jakub, et autres
Publié: (2024)

Strong quasi-MV* algebras and their logics
par: Cai, Lei, et autres
Publié: (2025)

On Modal Companions of Logics with Strong Negation
par: Anishchenko, Dmitry M.
Publié: (2025)

Strongly Minimal Relics of T-convex Fields
par: Castle, Benjamin, et autres
Publié: (2024)

A Module-theoretic Introduction to Abstract Elementary Classes
par: Boney, Will
Publié: (2025)

On the Intermediate Models of Strongly Compact Prikry Forcing
par: Benhamou, Tom, et autres
Publié: (2026)

Strong completeness for the predicate logic of the continuous t-norms
par: Castaño, Diego, et autres
Publié: (2024)

Strong Completeness of Provability Logic for Uncountable Languages
par: Golshani, Mohammad, et autres
Publié: (2026)

The Rezk Completion for Elementary Topoi
par: Wullaert, Kobe, et autres
Publié: (2026)

Embedding stable groups into algebraic groups
par: Bartnick, Charlotte
Publié: (2025)

Strongly minimal group relics of algebraically closed valued fields
par: Onshuus, Alf, et autres
Publié: (2024)

Strong Measure Zero Sets on $2^κ$ for $κ$ Inaccessible
par: Chapman, Nick Steven, et autres
Publié: (2019)

Effective Disjunction and Effective Interpolation in Suffciently Strong Proof Systems
par: Maxa, Martin
Publié: (2026)

Strong standard completeness theorems for S5-modal Lukasiewicz logics
par: Castaño, Diego, et autres
Publié: (2024)

Stably Embedded Pairs of Ordered Abelian Groups
par: Hils, Martin, et autres
Publié: (2023)

Strong partition relations below the power set: consistency, was Sierpinski right, II?
par: Shelah, Saharon
Publié: (1991)

Arithmetical Complexity and Absoluteness of Rigidity Phenomena for Ulam Sequences
par: Gilson, Frank
Publié: (2025)

Formalizing CHSH Rigidity in Lean 4
par: Zhao, Tianrun, et autres
Publié: (2026)

Elementary equivalence and diffeomorphism groups of smooth manifolds
par: Kim, Sang-hyun, et autres
Publié: (2025)

Elementary $\infty$-toposes from type theory
par: Apol, Daniël, et autres
Publié: (2025)

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)
par: Artale, Alessandro, et autres
Publié: (2024)

The Logical Embedding of Universal Frame Logic: A Sequent Calculus and Classical Interpretation
par: Kevin Fathi
Publié: (2025)