Imagen de Portada

The Patch Topology in Univalent Foundations

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Arrieta, Igor, Escardó, Martín Hötzel, Tosun, Ayberk
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science 03F65
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Examples and counterexamples of injective types
por: de Jong, Tom, et al.
Publicado: (2026)

Continuous and algebraic domains in univalent foundations
por: de Jong, Tom, et al.
Publicado: (2024)

Constructive and Predicative Locale Theory in Univalent Foundations
por: Tosun, Ayberk
Publicado: (2026)

On Small Types in Univalent Foundations
por: de Jong, Tom, et al.
Publicado: (2021)

Internal Effectful Forcing in System T
por: Escardo, Martin H., et al.
Publicado: (2025)

Univalent Material Set Theory
por: Gylterud, Håkon Robbestad, et al.
Publicado: (2023)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
por: Samra, Jean Abou, et al.
Publicado: (2026)

Relative consistency of Set Matrix Theory with ZF
por: Cabbolet, Marcoen J. T. F.
Publicado: (2024)

Structural focalization
por: Simmons, Robert J.
Publicado: (2011)

The Syllogistic with Unity
por: Pratt-Hartmann, Ian
Publicado: (2011)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
por: Gylterud, Håkon Robbestad, et al.
Publicado: (2020)

Type Theory with Explicit Universe Polymorphism (revised and extended version)
por: Bezem, Marc, et al.
Publicado: (2022)

Vagueness and the Connectives
por: Holliday, Wesley H.
Publicado: (2024)

An ecumenical view of proof-theoretic semantics
por: Nascimento, Victor, et al.
Publicado: (2023)

The Uniform Functional Interpretation with Informative Types
por: Ferreira, Fernando, et al.
Publicado: (2025)

Constructive validity of a generalized Kreisel-Putnam rule
por: Pezlar, Ivo
Publicado: (2023)

Glivenko's theorems from an ecumenical perspective
por: Pereira, Luiz Carlos, et al.
Publicado: (2026)

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
por: Barroso-Nascimento, Victor, et al.
Publicado: (2025)

Nested Sequents for Provability Logic GLP
por: Shamkanov, Daniyar
Publicado: (2014)

The Myhill isomorphism theorem does not generalize much
por: Pradic, Cécilia
Publicado: (2025)

Approximate Axiomatization for Differentially-Defined Functions
por: Platzer, André, et al.
Publicado: (2025)

The proof-theoretic strength of Constructive Second-order set theories
por: Jeon, Hanul
Publicado: (2023)

Lewis and Brouwer meet Strong Löb
por: Visser, Albert, et al.
Publicado: (2024)

A proof-theoretical approach to some extensions of first order quantification
por: Allègre, Loïc, et al.
Publicado: (2024)

The Axiom of Double Complement and its opposites
por: Jeon, Hanul, et al.
Publicado: (2026)

Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
por: Santacana, Andreu Ballus
Publicado: (2025)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
por: Barroso-Nascimento, Victor, et al.
Publicado: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
por: Hori, Hiromasa, et al.
Publicado: (2023)

A Non-Constructive Proof of Cantor's Theorem
por: Salehi, Saeed
Publicado: (2025)

A Unified Formal Theory on the Logical Limits of Symbol Grounding
por: Liu, Zhangchi
Publicado: (2025)

The Orthologic of Epistemic Modals
por: Holliday, Wesley H., et al.
Publicado: (2022)

Interleaving Logic and Counting
por: van Benthem, Johan, et al.
Publicado: (2025)

Collapsing Constructive and Intuitionistic Modal Logics
por: Pacheco, Leonardo
Publicado: (2024)

Tableau Proof Systems for Justification Logics
por: Ghari, Meghdad
Publicado: (2014)

The Hamiltonian Syllogistic
por: Pratt-Hartmann, Ian
Publicado: (2010)

Intuitionistic Common Knowledge
por: Zenger, Lukas
Publicado: (2026)

Modelling Multiplicative Linear Logic via Deep Inference
por: Galor, Tomer, et al.
Publicado: (2024)

A Theory for Probabilistic Polynomial-Time Reasoning
por: Chen, Lijie, et al.
Publicado: (2026)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
por: Ayhan, Sara
Publicado: (2023)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
por: Walsh, Sean
Publicado: (2024)