Imagen de Portada

On Approximate Classification of Theories

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Burka, Alexander
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Classification Theory and the Construction of PAC Fields
por: Ramsey, Nicholas
Publicado: (2026)

Approximation Fixpoint Theory with Refined Approximation Spaces
por: Vanbesien, Linde, et al.
Publicado: (2025)

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

Model Theory of Hilbert Spaces with a Discrete Group Action
por: Berenstein, Alexander, et al.
Publicado: (2024)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
por: Pollaci, Samuele, et al.
Publicado: (2024)

Approximate equivalence relations
por: Hrushovski, Ehud
Publicado: (2024)

Rings and Boolean Algebras as Algebraic Theories
por: De Faveri, Arturo
Publicado: (2025)

Primitive Recursive Dependent Type Theory
por: Buchholtz, Ulrik, et al.
Publicado: (2024)

Fixed Point Theorems in Computability Theory
por: Terwijn, Sebastiaan A.
Publicado: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
por: Przybocki, Benjamin, et al.
Publicado: (2025)

The Pebble-Relation Comonad in Finite Model Theory
por: Montacute, Yoàv, et al.
Publicado: (2021)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
por: Hermes, Marc, et al.
Publicado: (2023)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
por: Kettmann, Pascal, et al.
Publicado: (2025)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
por: Kettmann, Pascal, et al.
Publicado: (2026)

A Naive Encoding of Russell's Paradox in Type Theory
por: Qu, Zhuoyuan
Publicado: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
por: Lyon, Tim S., et al.
Publicado: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
por: Geuvers, Herman
Publicado: (2026)

Universal Proof Theory, TACL 2022 Lecture Notes
por: Iemhoff, Rosalie, et al.
Publicado: (2023)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2018)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
por: Gratzer, Daniel, et al.
Publicado: (2024)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2018)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
por: Indrzejczak, Andrzej, et al.
Publicado: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
por: Sabelli, Pietro
Publicado: (2024)

Approximation of hyperarithmetic analysis by $ω$-model reflection
por: Hashimoto, Koki
Publicado: (2024)

Axiomatic Theory of Independence Relations in Model Theory
por: d'Elbée, Christian
Publicado: (2023)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
por: De Domenico, Andrea, et al.
Publicado: (2024)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
por: Takahashi, Yuta
Publicado: (2024)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
por: Ma, Zhifeng, et al.
Publicado: (2024)

An Introduction to Categorical Proof Theory
por: Tabatabai, Amirhossein Akbar
Publicado: (2024)

Proof-theoretic Semantics for First-order Logic
por: Gheorghiu, Alexander V.
Publicado: (2024)

Support is Search
por: Gheorghiu, Alexander V.
Publicado: (2026)

Meta-Mathematics of Computational Complexity Theory
por: Oliveira, Igor C.
Publicado: (2025)

Groupoidal Realizability for Intensional Type Theory
por: Speight, Sam
Publicado: (2024)

Coslice Colimits in Homotopy Type Theory
por: Hart, Perry, et al.
Publicado: (2024)

Arboreal Categories: An Axiomatic Theory of Resources
por: Abramsky, Samson, et al.
Publicado: (2021)

Approximate Completeness of Hypersequent Calculus for First-Order Łukasiewicz Logic
por: Wei, Jin
Publicado: (2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
por: Kapulkin, Chris, et al.
Publicado: (2025)

Classification and deontic explosion for contrary-to-duty obligations
por: Kjos-Hanssen, Bjørn
Publicado: (2026)

Reduction Complexities in Set Theory
por: Carl, Merlin
Publicado: (2025)