Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2018
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/1805.06767 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
The elementary theory of free Steiner triple systems
by: Barbina, Silvia, et al.
Published: (2024)
by: Barbina, Silvia, et al.
Published: (2024)
Endomorphisms of free Steiner quasigroups
by: Barbina, Silvia, et al.
Published: (2024)
by: Barbina, Silvia, et al.
Published: (2024)
Local stability in structures with a standard sort
by: Barbina, Silvia, et al.
Published: (2025)
by: Barbina, Silvia, et al.
Published: (2025)
Continuous logic in a classical setting
by: Agostini, Claudio, et al.
Published: (2024)
by: Agostini, Claudio, et al.
Published: (2024)
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)
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Powell, Thomas
Published: (2023)
by: Powell, Thomas
Published: (2023)
Strictly Monotone Numerosity on Tame Sets via the Steiner Polynomial
by: Previdi, Joseph T.
Published: (2020)
by: Previdi, Joseph T.
Published: (2020)
Bounded Ramsey's theorem for triples in computability theory
by: Patey, Ludovic, et al.
Published: (2026)
by: Patey, Ludovic, et al.
Published: (2026)
Cyclic system for an algebraic theory of alternating parity automata
by: Das, Anupam, et al.
Published: (2025)
by: Das, Anupam, et al.
Published: (2025)
Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)
by: Rybakov, Mikhail
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)
Model theory of term algebras revisited
by: Carolillo, Davide, et al.
Published: (2026)
by: Carolillo, Davide, et al.
Published: (2026)
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)
List types for resource aware languages: an implicit name approach
by: Ghilezan, Silvia, et al.
Published: (2021)
by: Ghilezan, Silvia, et al.
Published: (2021)
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)
Simulating dynamic systems using Linear Time Calculus theories
by: Bogaerts, Bart, et al.
Published: (2014)
by: Bogaerts, Bart, et al.
Published: (2014)
Incompleteness for stably computable formal systems
by: Savelyev, Yasha
Published: (2022)
by: Savelyev, Yasha
Published: (2022)
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)
On unsuperstable theories in GDST
by: Moreno, Miguel
Published: (2022)
by: Moreno, Miguel
Published: (2022)
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)
Model theory and Connes' bicentralizer problem
by: Ando, Hiroshi, et al.
Published: (2026)
by: Ando, Hiroshi, et al.
Published: (2026)
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)
Algebraic proof theory for LE-logics
by: Greco, Giuseppe, et al.
Published: (2018)
by: Greco, Giuseppe, et al.
Published: (2018)
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)
Adequate conditionals and Kripke's theory of truth
by: Stern, Johannes
Published: (2024)
by: Stern, Johannes
Published: (2024)
Lie rings in finite-dimensional theories
by: Invitti, Moreno
Published: (2025)
by: Invitti, Moreno
Published: (2025)