Imagen de Portada

Fibred sets within a predicative and constructive effective topos

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Cioffo, Cipriano Junior, Maietti, Maria Emilia, Maschio, Samuele
Formato:	Preprint
Publicado:	2024
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A topos for extended Weihrauch degrees
por: Maschio, Samuele, et al.
Publicado: (2025)

Tapes as Stochastic Matrices of String Diagrams
por: Bonchi, Filippo, et al.
Publicado: (2026)

Implicative models of set theory
por: Maschio, Samuele, et al.
Publicado: (2023)

Biased elementary doctrines and quotient completions
por: Cioffo, Cipriano Junior
Publicado: (2023)

Between Markov and restriction: Two more monads on categories for relations
por: Cioffo, Cipriano Junior, et al.
Publicado: (2025)

A minimalist two-level foundation for constructive mathematics
por: Maietti, Maria Emilia
Publicado: (2008)

Equiconsistency of the Minimalist Foundation with its classical version
por: Maietti, Maria Emilia, et al.
Publicado: (2024)

On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity
por: Contente, Michele, et al.
Publicado: (2024)

A taxonomy of categories for relations
por: Cioffo, Cipriano Junior, et al.
Publicado: (2025)

Tape Diagrams for Monoidal Monads
por: Bonchi, Filippo, et al.
Publicado: (2025)

A topological counterpart of well-founded trees in dependent type theory
por: Maietti, Maria Emilia, et al.
Publicado: (2023)

Various topos of types constructions
por: Kanalas, Kristóf
Publicado: (2025)

Quasitoposes as elementary quotient completions
por: Maietti, Maria Emilia, et al.
Publicado: (2021)

Quotients, pure existential completions and arithmetic universes
por: Maietti, Maria Emilia, et al.
Publicado: (2023)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
por: Contente, Michele, et al.
Publicado: (2022)

Recursive inseparability of classical theories of a binary predicate and non-classical logics of a unary predicate
por: Rybakov, Mikhail
Publicado: (2025)

On the existence property over a predicate
por: Usvyatsov, Alexander
Publicado: (2025)

On $\lam$-existence over a predicate
por: Usvyatsov, Alexander
Publicado: (2026)

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

Stability over a predicate and prime closure
por: Usvyatsov, Alexander
Publicado: (2024)

Stable amalgamation over a predicate and the Gaifman property
por: Shelah, Saharon, et al.
Publicado: (2025)

Strong completeness for the predicate logic of the continuous t-norms
por: Castaño, Diego, et al.
Publicado: (2024)

Modal logical aspects of provability predicates and consistency statements
por: Kogure, Haruka, et al.
Publicado: (2025)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
por: Oda, Yukihiro, et al.
Publicado: (2022)

Superintuitionistic predicate logics of linear frames: undecidability with two individual variables
por: Rybakov, Mikhail
Publicado: (2025)

Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective
por: Di Nola, Antonio, et al.
Publicado: (2024)

Toward the effective 2-topos
por: Awodey, Steve, et al.
Publicado: (2025)

Tarski's least fixed point theorem: A predicative type theoretic formulation
por: Ray, Ian
Publicado: (2024)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
por: Dowek, Gilles, et al.
Publicado: (2023)

Sharing proofs with predicative theories through universe-polymorphic elaboration
por: Felicissimo, Thiago, et al.
Publicado: (2023)

The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$
por: Castaño, Diego, et al.
Publicado: (2024)

Recognizable sets and Woodin cardinals: Computation beyond the constructible universe
por: Carl, Merlin, et al.
Publicado: (2015)

On equationally Noetherian predicate structures
por: Buchinskiy, Ivan, et al.
Publicado: (2024)

On effective constructions of existentially closed groups
por: Scott, I
Publicado: (2024)

Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
por: Petrakis, Iosif, et al.
Publicado: (2022)

A Category-Theoretic Perspective on Approximation Fixpoint Theory
por: Pollaci, Samuele
Publicado: (2025)

Uniform interpolation with constructive diamond
por: van der Giessen, Iris, et al.
Publicado: (2026)

Fixpoint Semantics for DatalogMTL with Negation
por: Pollaci, Samuele
Publicado: (2026)

Degrees of incomputability, realizability and constructive reverse mathematics
por: Kihara, Takayuki
Publicado: (2020)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
por: Olkhovikov, Grigory K., et al.
Publicado: (2022)