Gespeichert in:
| Hauptverfasser: | Barbina, Silvia, Casanovas, Enrique |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2018
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/1805.06767 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
The elementary theory of free Steiner triple systems
von: Barbina, Silvia, et al.
Veröffentlicht: (2024)
von: Barbina, Silvia, et al.
Veröffentlicht: (2024)
Endomorphisms of free Steiner quasigroups
von: Barbina, Silvia, et al.
Veröffentlicht: (2024)
von: Barbina, Silvia, et al.
Veröffentlicht: (2024)
Local stability in structures with a standard sort
von: Barbina, Silvia, et al.
Veröffentlicht: (2025)
von: Barbina, Silvia, et al.
Veröffentlicht: (2025)
Continuous logic in a classical setting
von: Agostini, Claudio, et al.
Veröffentlicht: (2024)
von: Agostini, Claudio, et al.
Veröffentlicht: (2024)
Wider systems for linear logic with fixed points: proof theory and complexity
von: Das, Anupam, et al.
Veröffentlicht: (2026)
von: Das, Anupam, et al.
Veröffentlicht: (2026)
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
von: Powell, Thomas
Veröffentlicht: (2023)
von: Powell, Thomas
Veröffentlicht: (2023)
Strictly Monotone Numerosity on Tame Sets via the Steiner Polynomial
von: Previdi, Joseph T.
Veröffentlicht: (2020)
von: Previdi, Joseph T.
Veröffentlicht: (2020)
Bounded Ramsey's theorem for triples in computability theory
von: Patey, Ludovic, et al.
Veröffentlicht: (2026)
von: Patey, Ludovic, et al.
Veröffentlicht: (2026)
Cyclic system for an algebraic theory of alternating parity automata
von: Das, Anupam, et al.
Veröffentlicht: (2025)
von: Das, Anupam, et al.
Veröffentlicht: (2025)
Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)
von: Rybakov, Mikhail
Veröffentlicht: (2025)
Bringing closure to theory combination properties
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2026)
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2026)
Undecidability of theories of semirings with fixed points
von: Das, Anupam, et al.
Veröffentlicht: (2025)
von: Das, Anupam, et al.
Veröffentlicht: (2025)
Strong negation in the theory of computable functionals TCF
von: Köpp, Nils, et al.
Veröffentlicht: (2022)
von: Köpp, Nils, et al.
Veröffentlicht: (2022)
On proving consistency of equational theories in Bounded Arithmetic
von: Beckmann, Arnold, et al.
Veröffentlicht: (2022)
von: Beckmann, Arnold, et al.
Veröffentlicht: (2022)
Model theory of term algebras revisited
von: Carolillo, Davide, et al.
Veröffentlicht: (2026)
von: Carolillo, Davide, et al.
Veröffentlicht: (2026)
The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
von: de Jong, Tom, et al.
Veröffentlicht: (2026)
von: de Jong, Tom, et al.
Veröffentlicht: (2026)
Being polite is not enough (and other limits of theory combination)
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2025)
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2025)
The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)
von: Becker, Justus, et al.
Veröffentlicht: (2026)
List types for resource aware languages: an implicit name approach
von: Ghilezan, Silvia, et al.
Veröffentlicht: (2021)
von: Ghilezan, Silvia, et al.
Veröffentlicht: (2021)
Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
von: de Jong, Tom
Veröffentlicht: (2024)
von: de Jong, Tom
Veröffentlicht: (2024)
A proof theory of (omega-)context-free languages, via non-wellfounded proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)
von: Das, Anupam, et al.
Veröffentlicht: (2024)
Tarskian truth theories over set theory
von: Enayat, Ali
Veröffentlicht: (2026)
von: Enayat, Ali
Veröffentlicht: (2026)
Simulating dynamic systems using Linear Time Calculus theories
von: Bogaerts, Bart, et al.
Veröffentlicht: (2014)
von: Bogaerts, Bart, et al.
Veröffentlicht: (2014)
Incompleteness for stably computable formal systems
von: Savelyev, Yasha
Veröffentlicht: (2022)
von: Savelyev, Yasha
Veröffentlicht: (2022)
Homotopy type theory as a language for diagrams of $\infty$-logoses
von: Uemura, Taichi
Veröffentlicht: (2022)
von: Uemura, Taichi
Veröffentlicht: (2022)
Formalizing two-level type theory with cofibrant exo-nat
von: Uskuplu, Elif
Veröffentlicht: (2023)
von: Uskuplu, Elif
Veröffentlicht: (2023)
On unsuperstable theories in GDST
von: Moreno, Miguel
Veröffentlicht: (2022)
von: Moreno, Miguel
Veröffentlicht: (2022)
Constructive theory of ordinals
von: Coquand, Thierry, et al.
Veröffentlicht: (2022)
von: Coquand, Thierry, et al.
Veröffentlicht: (2022)
Yet another cubical type theory, but via a semantic approach
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)
Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2023)
von: Spadetto, Matteo
Veröffentlicht: (2023)
Model theory and Connes' bicentralizer problem
von: Ando, Hiroshi, et al.
Veröffentlicht: (2026)
von: Ando, Hiroshi, et al.
Veröffentlicht: (2026)
Dependent measures in independent theories
von: Khanaki, Karim
Veröffentlicht: (2021)
von: Khanaki, Karim
Veröffentlicht: (2021)
Gradualist descriptionalist set theory
von: Simmons, David
Veröffentlicht: (2026)
von: Simmons, David
Veröffentlicht: (2026)
Indiscernibles in monadically NIP theories
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2024)
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2024)
Algebraic proof theory for LE-logics
von: Greco, Giuseppe, et al.
Veröffentlicht: (2018)
von: Greco, Giuseppe, et al.
Veröffentlicht: (2018)
Modal definability in Kripke's theory of truth
von: Walsh, James
Veröffentlicht: (2024)
von: Walsh, James
Veröffentlicht: (2024)
Some model theory of quadratic geometries
von: Kestner, Charlotte, et al.
Veröffentlicht: (2024)
von: Kestner, Charlotte, et al.
Veröffentlicht: (2024)
The Ginsburg--Sands theorem and computability theory
von: Benham, Heidi, et al.
Veröffentlicht: (2024)
von: Benham, Heidi, et al.
Veröffentlicht: (2024)
Adequate conditionals and Kripke's theory of truth
von: Stern, Johannes
Veröffentlicht: (2024)
von: Stern, Johannes
Veröffentlicht: (2024)
Lie rings in finite-dimensional theories
von: Invitti, Moreno
Veröffentlicht: (2025)
von: Invitti, Moreno
Veröffentlicht: (2025)
Ähnliche Einträge
-
The elementary theory of free Steiner triple systems
von: Barbina, Silvia, et al.
Veröffentlicht: (2024) -
Endomorphisms of free Steiner quasigroups
von: Barbina, Silvia, et al.
Veröffentlicht: (2024) -
Local stability in structures with a standard sort
von: Barbina, Silvia, et al.
Veröffentlicht: (2025) -
Continuous logic in a classical setting
von: Agostini, Claudio, et al.
Veröffentlicht: (2024) -
Wider systems for linear logic with fixed points: proof theory and complexity
von: Das, Anupam, et al.
Veröffentlicht: (2026)