:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Barbina, Silvia, Casanovas, Enrique
Format:	Preprint
Publié:	2018
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/1805.06767
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The elementary theory of free Steiner triple systems
par: Barbina, Silvia, et autres
Publié: (2024)

Endomorphisms of free Steiner quasigroups
par: Barbina, Silvia, et autres
Publié: (2024)

Local stability in structures with a standard sort
par: Barbina, Silvia, et autres
Publié: (2025)

Continuous logic in a classical setting
par: Agostini, Claudio, et autres
Publié: (2024)

Wider systems for linear logic with fixed points: proof theory and complexity
par: Das, Anupam, et autres
Publié: (2026)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
par: Powell, Thomas
Publié: (2023)

Strictly Monotone Numerosity on Tame Sets via the Steiner Polynomial
par: Previdi, Joseph T.
Publié: (2020)

Bounded Ramsey's theorem for triples in computability theory
par: Patey, Ludovic, et autres
Publié: (2026)

Cyclic system for an algebraic theory of alternating parity automata
par: Das, Anupam, et autres
Publié: (2025)

Modelling of logical systems by means of their fragments
par: Rybakov, Mikhail
Publié: (2025)

Bringing closure to theory combination properties
par: Toledo, Guilherme V., et autres
Publié: (2026)

Undecidability of theories of semirings with fixed points
par: Das, Anupam, et autres
Publié: (2025)

Strong negation in the theory of computable functionals TCF
par: Köpp, Nils, et autres
Publié: (2022)

On proving consistency of equational theories in Bounded Arithmetic
par: Beckmann, Arnold, et autres
Publié: (2022)

Model theory of term algebras revisited
par: Carolillo, Davide, et autres
Publié: (2026)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
par: de Jong, Tom, et autres
Publié: (2026)

Being polite is not enough (and other limits of theory combination)
par: Toledo, Guilherme V., et autres
Publié: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
par: Becker, Justus, et autres
Publié: (2026)

List types for resource aware languages: an implicit name approach
par: Ghilezan, Silvia, et autres
Publié: (2021)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
par: de Jong, Tom
Publié: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
par: Das, Anupam, et autres
Publié: (2024)

Tarskian truth theories over set theory
par: Enayat, Ali
Publié: (2026)

Simulating dynamic systems using Linear Time Calculus theories
par: Bogaerts, Bart, et autres
Publié: (2014)

Incompleteness for stably computable formal systems
par: Savelyev, Yasha
Publié: (2022)

Homotopy type theory as a language for diagrams of $\infty$-logoses
par: Uemura, Taichi
Publié: (2022)

Formalizing two-level type theory with cofibrant exo-nat
par: Uskuplu, Elif
Publié: (2023)

On unsuperstable theories in GDST
par: Moreno, Miguel
Publié: (2022)

Constructive theory of ordinals
par: Coquand, Thierry, et autres
Publié: (2022)

Yet another cubical type theory, but via a semantic approach
par: Kapulkin, Chris, et autres
Publié: (2025)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
par: Spadetto, Matteo
Publié: (2023)

Model theory and Connes' bicentralizer problem
par: Ando, Hiroshi, et autres
Publié: (2026)

Dependent measures in independent theories
par: Khanaki, Karim
Publié: (2021)

Gradualist descriptionalist set theory
par: Simmons, David
Publié: (2026)

Indiscernibles in monadically NIP theories
par: Braunfeld, Samuel, et autres
Publié: (2024)

Algebraic proof theory for LE-logics
par: Greco, Giuseppe, et autres
Publié: (2018)

Modal definability in Kripke's theory of truth
par: Walsh, James
Publié: (2024)

Some model theory of quadratic geometries
par: Kestner, Charlotte, et autres
Publié: (2024)

The Ginsburg--Sands theorem and computability theory
par: Benham, Heidi, et autres
Publié: (2024)

Adequate conditionals and Kripke's theory of truth
par: Stern, Johannes
Publié: (2024)

Lie rings in finite-dimensional theories
par: Invitti, Moreno
Publié: (2025)