:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Boney, Will
Format:	Preprint
Publié:	2016
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/1609.02970
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

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

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

On Ultrapowers and Cohesive Ultrafilters
par: Benhamou, Tom
Publié: (2024)

Ultrapowers of spectral subspaces
par: Ando, Hiroshi, et autres
Publié: (2026)

Erdős-Rado Classes
par: Boney, Will
Publié: (2018)

The Galvin property under the Ultrapower Axiom
par: Benhamou, Tom, et autres
Publié: (2023)

Ultrapowers of determinacy models as iteration trees on HOD
par: Goldberg, Gabriel, et autres
Publié: (2026)

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

Limit models in strictly stable abstract elementary classes
par: Will Boney, et autres
Publié: (2024)

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

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

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

Strong Rigidity and Elementary Embeddings
par: Mohammd, Marwan Salam
Publié: (2025)

Naturality and Definability III
par: Asgharzadeh, Mohsen, et autres
Publié: (2023)

Defining implication relation for classical logic
par: Fu, Li
Publié: (2013)

Definable sets in Skolem arithmetic
par: Kamiński, Łukasz
Publié: (2025)

Definability in affine continuous logic
par: Bagheri, Seyed-Mohammad
Publié: (2024)

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

Dynamic Probability Logics: Axiomatization & Definability
par: Chopoghloo, Somayeh, et autres
Publié: (2024)

On $Σ_1$-Definable Closed Unbounded Sets
par: Ben-Neria, Omer, et autres
Publié: (2023)

Definability and Scott rank in separable Metric structures
par: Bejarano, Diego
Publié: (2024)

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

Ultrafilter Extensions for Veltman Semantics
par: Gonzalez, Felix Frigola, et autres
Publié: (2026)

Definability and Interpolation in Philosophy
par: van Benthem, Johan
Publié: (2026)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
par: van der Giessen, Iris, et autres
Publié: (2023)

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

Definable coordinate geometries over fields, part 1: theory
par: Madarász, Judit, et autres
Publié: (2025)

Definable coordinate geometries over fields, part 2: applications
par: Madarász, Judit, et autres
Publié: (2025)

Asymptotic Theories of Classes Defined by Forbidden Homomorphisms
par: Bodirsky, Manuel, et autres
Publié: (2022)

Some Epistemic Extensions of Gödel Fuzzy Logic
par: Dastgheib, D., et autres
Publié: (2016)

Formalization of the Filter Extension Principle (FEP) in Coq
par: Dou, Guowei, et autres
Publié: (2024)

Choiceless Computation and Symmetry: Limitations of Definability
par: Pago, Benedikt
Publié: (2024)

There is no Definable Grauert Direct Image Theorem
par: Esnault, Hélène, et autres
Publié: (2026)

Full Definability in a Profunctorial Model
par: Tsukada, Takeshi, et autres
Publié: (2026)

The weak Extension Principle
par: Vignati, Alessandro, et autres
Publié: (2024)

Extensional Taylor Expansion
par: Blondeau-Patissier, Lison, et autres
Publié: (2023)

On BPI in Symmetric Extensions Part 1
par: Ransom, Brian
Publié: (2025)