Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2203.14292 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Fodor space in generalized descriptive set theory
by: Feldman, Ido, et al.
Published: (2026)
by: Feldman, Ido, et al.
Published: (2026)
Lie rings in finite-dimensional theories
by: Invitti, Moreno
Published: (2025)
by: Invitti, Moreno
Published: (2025)
Shelah's Main Gap and the generalized Borel-reducibility
by: Moreno, Miguel
Published: (2023)
by: Moreno, Miguel
Published: (2023)
Model Comparison Games for Generalized Quantifiers
by: Kuusisto, Antti, et al.
Published: (2026)
by: Kuusisto, Antti, et al.
Published: (2026)
Abstract independence relations in neostability theory
by: Miguel-Gómez, Alberto
Published: (2025)
by: Miguel-Gómez, Alberto
Published: (2025)
Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)
by: Toledo, Guilherme V., et al.
Published: (2026)
Undecidability of theories of semirings with fixed points
by: Das, Anupam, et al.
Published: (2025)
by: Das, Anupam, et al.
Published: (2025)
Strong negation in the theory of computable functionals TCF
by: Köpp, Nils, et al.
Published: (2022)
by: Köpp, Nils, et al.
Published: (2022)
On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)
by: Beckmann, Arnold, et al.
Published: (2022)
The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)
by: de Jong, Tom, et al.
Published: (2026)
Being polite is not enough (and other limits of theory combination)
by: Toledo, Guilherme V., et al.
Published: (2025)
by: Toledo, Guilherme V., et al.
Published: (2025)
The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)
by: Becker, Justus, et al.
Published: (2026)
Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)
by: Das, Anupam, et al.
Published: (2026)
Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
by: de Jong, Tom
Published: (2024)
by: de Jong, Tom
Published: (2024)
A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)
by: Das, Anupam, et al.
Published: (2024)
Tarskian truth theories over set theory
by: Enayat, Ali
Published: (2026)
by: Enayat, Ali
Published: (2026)
Almost cohomology of finite-dimensional Lie rings
by: Invitti, Moreno
Published: (2026)
by: Invitti, Moreno
Published: (2026)
Homotopy type theory as a language for diagrams of $\infty$-logoses
by: Uemura, Taichi
Published: (2022)
by: Uemura, Taichi
Published: (2022)
Formalizing two-level type theory with cofibrant exo-nat
by: Uskuplu, Elif
Published: (2023)
by: Uskuplu, Elif
Published: (2023)
Constructive theory of ordinals
by: Coquand, Thierry, et al.
Published: (2022)
by: Coquand, Thierry, et al.
Published: (2022)
Yet another cubical type theory, but via a semantic approach
by: Kapulkin, Chris, et al.
Published: (2025)
by: Kapulkin, Chris, et al.
Published: (2025)
Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
by: Spadetto, Matteo
Published: (2023)
by: Spadetto, Matteo
Published: (2023)
On stable Kim-forking and rosy theories
by: Miguel-Gómez, Alberto
Published: (2025)
by: Miguel-Gómez, Alberto
Published: (2025)
Dependent measures in independent theories
by: Khanaki, Karim
Published: (2021)
by: Khanaki, Karim
Published: (2021)
Gradualist descriptionalist set theory
by: Simmons, David
Published: (2026)
by: Simmons, David
Published: (2026)
Indiscernibles in monadically NIP theories
by: Braunfeld, Samuel, et al.
Published: (2024)
by: Braunfeld, Samuel, et al.
Published: (2024)
Cyclic system for an algebraic theory of alternating parity automata
by: Das, Anupam, et al.
Published: (2025)
by: Das, Anupam, et al.
Published: (2025)
Modal definability in Kripke's theory of truth
by: Walsh, James
Published: (2024)
by: Walsh, James
Published: (2024)
Some model theory of quadratic geometries
by: Kestner, Charlotte, et al.
Published: (2024)
by: Kestner, Charlotte, et al.
Published: (2024)
The Ginsburg--Sands theorem and computability theory
by: Benham, Heidi, et al.
Published: (2024)
by: Benham, Heidi, et al.
Published: (2024)
Model theory of term algebras revisited
by: Carolillo, Davide, et al.
Published: (2026)
by: Carolillo, Davide, et al.
Published: (2026)
Adequate conditionals and Kripke's theory of truth
by: Stern, Johannes
Published: (2024)
by: Stern, Johannes
Published: (2024)
Model theory of Steiner triple systems
by: Barbina, Silvia, et al.
Published: (2018)
by: Barbina, Silvia, et al.
Published: (2018)
On skew ultralimits and their applications in ultrafilter theory
by: Poliakov, Nikolai L.
Published: (2026)
by: Poliakov, Nikolai L.
Published: (2026)
Transfer of generalized amalgamation in simple theories
by: Schilling, Baptiste
Published: (2026)
by: Schilling, Baptiste
Published: (2026)
Some model theory of the Heisenberg group
by: Frącek, Maciej, et al.
Published: (2025)
by: Frącek, Maciej, et al.
Published: (2025)
Algebraic proof theory for LE-logics
by: Greco, Giuseppe, et al.
Published: (2018)
by: Greco, Giuseppe, et al.
Published: (2018)
Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)
by: Maschio, Samuele, et al.
Published: (2023)
An algebraic theory of ω-regular languages, via μν-expressions
by: Das, Anupam, et al.
Published: (2025)
by: Das, Anupam, et al.
Published: (2025)
There are only countably many locally tabular bi-intermediate logics of co-trees
by: Martins, Miguel
Published: (2026)
by: Martins, Miguel
Published: (2026)