Buchumschlag

Extending conceptual completeness via virtual ultracategories

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Saadia, Gabriel
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Category Theory Logic 03G30 (Primary) 03C20, 18M65, 54D80 (Secondary)
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Profunctorial algebras
von: Aristote, Quentin, et al.
Veröffentlicht: (2026)

Generalised ultracategories and conceptual completeness of geometric logic
von: Hamad, Ali
Veröffentlicht: (2025)

Toposes with enough points as categories of étale spaces
von: van Gool, Sam, et al.
Veröffentlicht: (2025)

Existential completions and Herbrand's theorem
von: Wrigley, Joshua L.
Veröffentlicht: (2025)

Freely adding one layer of quantifiers to a Boolean doctrine
von: Abbadini, Marco, et al.
Veröffentlicht: (2024)

Extending orders to types
von: Baglini, Lorenzo Luperi, et al.
Veröffentlicht: (2025)

Cofibrant generation of pure monomorphisms in presheaf categories
von: Cox, Sean, et al.
Veröffentlicht: (2025)

A Completeness Theorem for Topological Doctrines
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

Ultracategories via Kan extensions of relative monads
von: Tarantino, Umberto, et al.
Veröffentlicht: (2025)

On the theories classified by an étendue
von: Wrigley, Joshua
Veröffentlicht: (2025)

Compactness and Symmetric Well Orders
von: Dasgupta, Abhijit
Veröffentlicht: (2022)

Atomic Toposes with Co-Well-Founded Categories of Atoms
von: Marquès, Jérémie
Veröffentlicht: (2024)

Gödel coding on fibrations and geminal categories
von: Ikeda, Yuto
Veröffentlicht: (2026)

Connectedness through decidable quotients
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2023)

Quantifier-free formulas and quantifier alternation depth in doctrines
von: Abbadini, Marco, et al.
Veröffentlicht: (2024)

A topos for extended Weihrauch degrees
von: Maschio, Samuele, et al.
Veröffentlicht: (2025)

Quotients, pure existential completions and arithmetic universes
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2023)

Self-divisible ultrafilters and congruences in $β\mathbb{Z}$
von: Di Nasso, Mauro, et al.
Veröffentlicht: (2023)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
von: Inoué, Takao
Veröffentlicht: (2026)

Biased elementary doctrines and quotient completions
von: Cioffo, Cipriano Junior
Veröffentlicht: (2023)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2025)

On the Existence and Disjunction Properties in Structural Set Theory
von: Saving, Mark
Veröffentlicht: (2023)

El mar que envuelve a las piedras: espacios de Stone, profinitos y su papel en la aritmética contemporánea
von: Pérez-Buendía, J. R.
Veröffentlicht: (2025)

Iterated jump noncomputability and compactness
von: Dooley, Gavin
Veröffentlicht: (2025)

Lifting independence along functors
von: Kamsma, Mark, et al.
Veröffentlicht: (2024)

Weak, strong and mixed extensions of relations to spaces of ultrafilters
von: Gasparro, Leonardo Raffaello Maximilian, et al.
Veröffentlicht: (2025)

Semi-proximal spaces and normality
von: Almontashery, Khulod, et al.
Veröffentlicht: (2023)

Duality theory for categorical theories
von: Ye, Lingyuan
Veröffentlicht: (2026)

Poset-enriched pretoposes and compact ordered spaces
von: Marquès, Jérémie, et al.
Veröffentlicht: (2025)

Kripke-Joyal forcing for type theory and uniform fibrations
von: Awodey, S., et al.
Veröffentlicht: (2021)

Definable compactness in definably complete locally o-minimal structures
von: Fujita, Masato
Veröffentlicht: (2023)

Existentially closed models and locally zero-dimensional toposes
von: Kamsma, Mark, et al.
Veröffentlicht: (2024)

Tininess and right adjoints to exponentials
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2026)

Stratified Toposes
von: Zwanziger, Colin
Veröffentlicht: (2024)

The reverse mathematics of bounded Ramsey's theorem for pairs
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2025)

On logical parameterizations and functional representability in local set theories
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2021)

NSOP$_1$-like independence in AECats
von: Kamsma, Mark
Veröffentlicht: (2021)

Internal 1-topoi in 2-topoi
von: Helfer, Joseph
Veröffentlicht: (2024)

$Ψ$-Spaces and Semi-Proximality
von: Almontashery, Khulod, et al.
Veröffentlicht: (2024)

Hallucination, abstention, and computable inseparability
von: Imamura, Takuma
Veröffentlicht: (2026)