Cover Image

Definable Coherent Ultrapowers and Elementary Extensions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Boney, Will
Format:	Preprint
Published:	2016
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Cofinality quantifiers in Abstract Elementary Classes and beyond
by: Boney, Will
Published: (2022)

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

A Module-theoretic Introduction to Abstract Elementary Classes
by: Boney, Will
Published: (2025)

Limit Models in Strictly Stable Abstract Elementary Classes
by: Boney, Will, et al.
Published: (2015)

On Ultrapowers and Cohesive Ultrafilters
by: Benhamou, Tom
Published: (2024)

Ultrapowers of spectral subspaces
by: Ando, Hiroshi, et al.
Published: (2026)

Erdős-Rado Classes
by: Boney, Will
Published: (2018)

The Galvin property under the Ultrapower Axiom
by: Benhamou, Tom, et al.
Published: (2023)

Ultrapowers of determinacy models as iteration trees on HOD
by: Goldberg, Gabriel, et al.
Published: (2026)

Hanf Locality and Invariant Elementary Definability
by: Lindell, Steven, et al.
Published: (2025)

Limit models in strictly stable abstract elementary classes
by: Will Boney, et al.
Published: (2024)

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

T-Convexity, Tame Extensions and Definability of Hausdorff Limits in O-minimal Structures with Generic Derivations
by: Wang, Xiaoduo
Published: (2025)

Semantic Properties of Computations Defined by Elementary Inference Systems
by: Lucas, Salvador
Published: (2025)

Strong Rigidity and Elementary Embeddings
by: Mohammd, Marwan Salam
Published: (2025)

Naturality and Definability III
by: Asgharzadeh, Mohsen, et al.
Published: (2023)

Definable sets in Skolem arithmetic
by: Kamiński, Łukasz
Published: (2025)

Definability in affine continuous logic
by: Bagheri, Seyed-Mohammad
Published: (2024)

Elementary extensions of almost o-minimal structures
by: Berraho, Mourad, et al.
Published: (2026)

Dynamic Probability Logics: Axiomatization & Definability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

On $Σ_1$-Definable Closed Unbounded Sets
by: Ben-Neria, Omer, et al.
Published: (2023)

Definability and Scott rank in separable Metric structures
by: Bejarano, Diego
Published: (2024)

Ultrafilter Extensions for Veltman Semantics
by: Gonzalez, Felix Frigola, et al.
Published: (2026)

Definability and Interpolation in Philosophy
by: van Benthem, Johan
Published: (2026)

Definability of the Integrability Locus in Polynomially Bounded o-Minimal Structures
by: Brown, L. C.
Published: (2025)

Definable coordinate geometries over fields, part 1: theory
by: Madarász, Judit, et al.
Published: (2025)

Definable coordinate geometries over fields, part 2: applications
by: Madarász, Judit, et al.
Published: (2025)

Some Epistemic Extensions of Gödel Fuzzy Logic
by: Dastgheib, D., et al.
Published: (2016)

Formalization of the Filter Extension Principle (FEP) in Coq
by: Dou, Guowei, et al.
Published: (2024)

Asymptotic Theories of Classes Defined by Forbidden Homomorphisms
by: Bodirsky, Manuel, et al.
Published: (2022)

Elementary first-order model checking for sparse graphs
by: Gajarský, Jakub, et al.
Published: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Definability of some $k$-ary Relations Over Second Order kinds of Logics
by: Costa, Simone, et al.
Published: (2025)

Stable Canonical Rules and Formulas for Pre-transitive Logics via Definable Filtration
by: Takahashi, Tenyo
Published: (2025)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
by: van der Giessen, Iris, et al.
Published: (2023)

Extensional realizability and choice for dependent types in intuitionistic set theory
by: Frittaion, Emanuele
Published: (2024)

Choiceless Computation and Symmetry: Limitations of Definability
by: Pago, Benedikt
Published: (2024)

There is no Definable Grauert Direct Image Theorem
by: Esnault, Hélène, et al.
Published: (2026)

Full Definability in a Profunctorial Model
by: Tsukada, Takeshi, et al.
Published: (2026)