Fibred sets within a predicative and constructive effective topos
Fuente:
arXiv
Guardado en:
| Autores principales: | Cioffo, Cipriano Junior, Maietti, Maria Emilia, Maschio, Samuele |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| 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)
por: Maschio, Samuele, et al.
Publicado: (2025)
Tapes as Stochastic Matrices of String Diagrams
por: Bonchi, Filippo, et al.
Publicado: (2026)
por: Bonchi, Filippo, et al.
Publicado: (2026)
Implicative models of set theory
por: Maschio, Samuele, et al.
Publicado: (2023)
por: Maschio, Samuele, et al.
Publicado: (2023)
Biased elementary doctrines and quotient completions
por: Cioffo, Cipriano Junior
Publicado: (2023)
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)
por: Cioffo, Cipriano Junior, et al.
Publicado: (2025)
A minimalist two-level foundation for constructive mathematics
por: Maietti, Maria Emilia
Publicado: (2008)
por: Maietti, Maria Emilia
Publicado: (2008)
Equiconsistency of the Minimalist Foundation with its classical version
por: Maietti, Maria Emilia, et al.
Publicado: (2024)
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)
por: Contente, Michele, et al.
Publicado: (2024)
A taxonomy of categories for relations
por: Cioffo, Cipriano Junior, et al.
Publicado: (2025)
por: Cioffo, Cipriano Junior, et al.
Publicado: (2025)
Tape Diagrams for Monoidal Monads
por: Bonchi, Filippo, et al.
Publicado: (2025)
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)
por: Maietti, Maria Emilia, et al.
Publicado: (2023)
Various topos of types constructions
por: Kanalas, Kristóf
Publicado: (2025)
por: Kanalas, Kristóf
Publicado: (2025)
Quasitoposes as elementary quotient completions
por: Maietti, Maria Emilia, et al.
Publicado: (2021)
por: Maietti, Maria Emilia, et al.
Publicado: (2021)
Quotients, pure existential completions and arithmetic universes
por: Maietti, Maria Emilia, et al.
Publicado: (2023)
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)
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)
por: Rybakov, Mikhail
Publicado: (2025)
On the existence property over a predicate
por: Usvyatsov, Alexander
Publicado: (2025)
por: Usvyatsov, Alexander
Publicado: (2025)
On $\lam$-existence over a predicate
por: Usvyatsov, Alexander
Publicado: (2026)
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)
por: Maietti, Maria Emilia, et al.
Publicado: (2025)
Stability over a predicate and prime closure
por: Usvyatsov, Alexander
Publicado: (2024)
por: Usvyatsov, Alexander
Publicado: (2024)
Stable amalgamation over a predicate and the Gaifman property
por: Shelah, Saharon, et al.
Publicado: (2025)
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)
por: Castaño, Diego, et al.
Publicado: (2024)
Modal logical aspects of provability predicates and consistency statements
por: Kogure, Haruka, et al.
Publicado: (2025)
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)
por: Oda, Yukihiro, et al.
Publicado: (2022)
Superintuitionistic predicate logics of linear frames: undecidability with two individual variables
por: Rybakov, Mikhail
Publicado: (2025)
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)
por: Di Nola, Antonio, et al.
Publicado: (2024)
Toward the effective 2-topos
por: Awodey, Steve, et al.
Publicado: (2025)
por: Awodey, Steve, et al.
Publicado: (2025)
Tarski's least fixed point theorem: A predicative type theoretic formulation
por: Ray, Ian
Publicado: (2024)
por: Ray, Ian
Publicado: (2024)
Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
por: Dowek, Gilles, et al.
Publicado: (2023)
por: Dowek, Gilles, et al.
Publicado: (2023)
Sharing proofs with predicative theories through universe-polymorphic elaboration
por: Felicissimo, Thiago, et al.
Publicado: (2023)
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)
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)
por: Carl, Merlin, et al.
Publicado: (2015)
On equationally Noetherian predicate structures
por: Buchinskiy, Ivan, et al.
Publicado: (2024)
por: Buchinskiy, Ivan, et al.
Publicado: (2024)
On effective constructions of existentially closed groups
por: Scott, I
Publicado: (2024)
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)
por: Petrakis, Iosif, et al.
Publicado: (2022)
A Category-Theoretic Perspective on Approximation Fixpoint Theory
por: Pollaci, Samuele
Publicado: (2025)
por: Pollaci, Samuele
Publicado: (2025)
Uniform interpolation with constructive diamond
por: van der Giessen, Iris, et al.
Publicado: (2026)
por: van der Giessen, Iris, et al.
Publicado: (2026)
Fixpoint Semantics for DatalogMTL with Negation
por: Pollaci, Samuele
Publicado: (2026)
por: Pollaci, Samuele
Publicado: (2026)
Degrees of incomputability, realizability and constructive reverse mathematics
por: Kihara, Takayuki
Publicado: (2020)
por: Kihara, Takayuki
Publicado: (2020)
Craig interpolation theorem fails in bi-intuitionistic predicate logic
por: Olkhovikov, Grigory K., et al.
Publicado: (2022)
por: Olkhovikov, Grigory K., et al.
Publicado: (2022)
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)