Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2405.10388 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Ultraproducts in abstract categorical logic
by: Aiguier, Marc, et al.
Published: (2024)
by: Aiguier, Marc, et al.
Published: (2024)
Big Ramsey Degrees in Ultraproducts of Finite Structures
by: Bartošová, Dana, et al.
Published: (2022)
by: Bartošová, Dana, et al.
Published: (2022)
Cardinalities of Ultraproducts of Finite Sets in ZF + DC
by: Kowalczyk, Jacob
Published: (2025)
by: Kowalczyk, Jacob
Published: (2025)
Model Theory of General von Neumann Algebras I: Generalized Ocneanu Ultraproducts
by: Arulseelan, Jananan
Published: (2025)
by: Arulseelan, Jananan
Published: (2025)
50 Open Problems: Ultraproduct II$_1$ factors
by: Elayavalli, Srivatsav Kunnawalkam
Published: (2025)
by: Elayavalli, Srivatsav Kunnawalkam
Published: (2025)
Compact Quantitative Theories of Convex Algebras
by: Mio, Matteo
Published: (2025)
by: Mio, Matteo
Published: (2025)
On the Intermediate Models of Strongly Compact Prikry Forcing
by: Benhamou, Tom, et al.
Published: (2026)
by: Benhamou, Tom, et al.
Published: (2026)
Transferring Compactness
by: Benhamou, Tom, et al.
Published: (2023)
by: Benhamou, Tom, et al.
Published: (2023)
The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)
by: Montacute, Yoàv, et al.
Published: (2021)
Evidential Decision Theory via Partial Markov Categories
by: Di Lavore, Elena, et al.
Published: (2023)
by: Di Lavore, Elena, et al.
Published: (2023)
Axiomatic Theory of Independence Relations in Model Theory
by: d'Elbée, Christian
Published: (2023)
by: d'Elbée, Christian
Published: (2023)
(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)
by: Kapulkin, Chris, et al.
Published: (2025)
Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
by: Masina, Gabriele, et al.
Published: (2025)
by: Masina, Gabriele, et al.
Published: (2025)
The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$
by: Suárez, Juan M Santiago, et al.
Published: (2025)
by: Suárez, Juan M Santiago, et al.
Published: (2025)
Compactness in team semantics
by: Joni Puljujärvi, et al.
Published: (2024)
by: Joni Puljujärvi, et al.
Published: (2024)
Primitive Recursive Dependent Type Theory
by: Buchholtz, Ulrik, et al.
Published: (2024)
by: Buchholtz, Ulrik, et al.
Published: (2024)
Fixed Point Theorems in Computability Theory
by: Terwijn, Sebastiaan A.
Published: (2024)
by: Terwijn, Sebastiaan A.
Published: (2024)
Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)
by: De Faveri, Arturo
Published: (2025)
Uniform Preorders and Partial Combinatory Algebras
by: Frey, Jonas
Published: (2024)
by: Frey, Jonas
Published: (2024)
Characterizing Sets of Theories That Can Be Disjointly Combined
by: Przybocki, Benjamin, et al.
Published: (2025)
by: Przybocki, Benjamin, et al.
Published: (2025)
An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)
by: Hermes, Marc, et al.
Published: (2023)
Proof Theory and Decision Procedures for Deontic STIT Logics
by: Lyon, Tim S., et al.
Published: (2024)
by: Lyon, Tim S., et al.
Published: (2024)
Non-Derivability Results in Polymorphic Dependent Type Theory
by: Geuvers, Herman
Published: (2026)
by: Geuvers, Herman
Published: (2026)
Universal Proof Theory, TACL 2022 Lecture Notes
by: Iemhoff, Rosalie, et al.
Published: (2023)
by: Iemhoff, Rosalie, et al.
Published: (2023)
A Naive Encoding of Russell's Paradox in Type Theory
by: Qu, Zhuoyuan
Published: (2025)
by: Qu, Zhuoyuan
Published: (2025)
The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)
by: Gratzer, Daniel, et al.
Published: (2024)
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)
Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)
An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)
by: Tabatabai, Amirhossein Akbar
Published: (2024)
Partially Finite Model Reasoning in Description Logics Extended Version
by: Gogacz, Tomasz, et al.
Published: (2026)
by: Gogacz, Tomasz, et al.
Published: (2026)
A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)
by: Indrzejczak, Andrzej, et al.
Published: (2024)
A topological reading of inductive and coinductive definitions in Dependent Type Theory
by: Sabelli, Pietro
Published: (2024)
by: Sabelli, Pietro
Published: (2024)
Partial Redundancy in Saturation
by: Hajdu, Márton, et al.
Published: (2025)
by: Hajdu, Márton, et al.
Published: (2025)
Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
by: De Domenico, Andrea, et al.
Published: (2024)
by: De Domenico, Andrea, et al.
Published: (2024)
Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
by: Takahashi, Yuta
Published: (2024)
by: Takahashi, Yuta
Published: (2024)
Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
by: Ma, Zhifeng, et al.
Published: (2024)
by: Ma, Zhifeng, et al.
Published: (2024)
Groupoidal Realizability for Intensional Type Theory
by: Speight, Sam
Published: (2024)
by: Speight, Sam
Published: (2024)
Coslice Colimits in Homotopy Type Theory
by: Hart, Perry, et al.
Published: (2024)
by: Hart, Perry, et al.
Published: (2024)
Meta-Mathematics of Computational Complexity Theory
by: Oliveira, Igor C.
Published: (2025)
by: Oliveira, Igor C.
Published: (2025)
Arboreal Categories: An Axiomatic Theory of Resources
by: Abramsky, Samson, et al.
Published: (2021)
by: Abramsky, Samson, et al.
Published: (2021)