:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Usvyatsov, Alexander
Formato:	Preprint
Publicado:	2026
Materias:	Logic
Acceso en línea:	https://arxiv.org/abs/2605.04934
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On the existence property over a predicate
por: Usvyatsov, Alexander
Publicado: (2025)

Stability over a predicate and prime closure
por: Usvyatsov, Alexander
Publicado: (2024)

Stable amalgamation over a predicate and the Gaifman property
por: Shelah, Saharon, et al.
Publicado: (2025)

Recursive inseparability of classical theories of a binary predicate and non-classical logics of a unary predicate
por: Rybakov, Mikhail
Publicado: (2025)

On equationally Noetherian predicate structures
por: Buchinskiy, Ivan, et al.
Publicado: (2024)

Strong completeness for the predicate logic of the continuous t-norms
por: Castaño, Diego, et al.
Publicado: (2024)

Fibred sets within a predicative and constructive effective topos
por: Cioffo, Cipriano Junior, et al.
Publicado: (2024)

Modal logical aspects of provability predicates and consistency statements
por: Kogure, Haruka, et al.
Publicado: (2025)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
por: Oda, Yukihiro, et al.
Publicado: (2022)

Superintuitionistic predicate logics of linear frames: undecidability with two individual variables
por: Rybakov, Mikhail
Publicado: (2025)

Tarski's least fixed point theorem: A predicative type theoretic formulation
por: Ray, Ian
Publicado: (2024)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
por: Dowek, Gilles, et al.
Publicado: (2023)

Sharing proofs with predicative theories through universe-polymorphic elaboration
por: Felicissimo, Thiago, et al.
Publicado: (2023)

The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$
por: Castaño, Diego, et al.
Publicado: (2024)

Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
por: Petrakis, Iosif, et al.
Publicado: (2022)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
por: Olkhovikov, Grigory K., et al.
Publicado: (2022)

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
por: Lanzinger, Matthias, et al.
Publicado: (2024)

A logic of judgmental existence and its relation to proof irrelevance
por: Pezlar, Ivo
Publicado: (2024)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
por: Tanaka, Yoshihito
Publicado: (2025)

Many-valued coalgebraic logic over semi-primal varieties
por: Kurz, Alexander, et al.
Publicado: (2023)

An $\mathrm{NSOP}_{1}$ theory without the existence axiom
por: Mutchnik, Scott
Publicado: (2024)

Distal expansions of Presburger arithmetic by a sparse predicate
por: Tong, Mervyn
Publicado: (2024)

There exists a d-minimal expansion of the $\mathbb R$-vector space over $\mathbb R$ which defines every sequence
por: Fujita, Masato
Publicado: (2024)

Decidability of MSO Reparameterization over Countable Chains
por: Rabinovich, Alexander
Publicado: (2026)

Decision algorithms for fragments of real analysis. II. A theory of differentiable functions with convexity and concavity predicates
por: Cantone, Domenico, et al.
Publicado: (2024)

On matrix rank function over bounded arithmetics
por: Ken, Eitetsu, et al.
Publicado: (2023)

The Church Synthesis Problem over Continuous Time
por: Rabinovich, Alexander, et al.
Publicado: (2024)

Support is Search
por: Gheorghiu, Alexander V.
Publicado: (2026)

Proof-theoretic Semantics for First-order Logic
por: Gheorghiu, Alexander V.
Publicado: (2024)

The interpolant existence problem for weak K4 and difference logic
por: Kurucz, Agi, et al.
Publicado: (2024)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
por: Gaßner, Christine
Publicado: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
por: Gaßner, Christine
Publicado: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
por: Gaßner, Christine
Publicado: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

Proof-theoretic Semantics for Second-order Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2022)

Semantic Foundations of Reductive Reasoning
por: Gheorghiu, Alexander V., et al.
Publicado: (2024)

On the existence of strong proof complexity generators
por: Krajicek, Jan
Publicado: (2022)

Proof-theoretic Semantics for the Logic of Bunched Implications
por: Gu, Tao, et al.
Publicado: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
por: Gheorghiu, Alexander V., et al.
Publicado: (2023)