Imagen de Portada

AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Gaßner, Christine
Formato:	Preprint
Publicado:	2024
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

AC and the Independence of WO in Second-Order Henkin Logic, Part II
por: Gaßner, Christine
Publicado: (2024)

AC and the Independence of WO in Second-Order Henkin Logic, Part I
por: Gaßner, Christine
Publicado: (2024)

Relationships between Principles of Choice in Second-Order Henkin Structures
por: Gaßner, Christine
Publicado: (2024)

Permutation Models of Second Order
por: Gaßner, Christine
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)

Monadic Second-Order Logic of Permutations
por: Jelínek, Vít, et al.
Publicado: (2025)

Rich doctrines and Henkin's Theorem
por: Guffanti, Francesca
Publicado: (2023)

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
por: Herbelin, Hugo, et al.
Publicado: (2024)

The Parameterized Complexity of Learning Monadic Second-Order Logic
por: van Bergerem, Steffen, et al.
Publicado: (2023)

Definability of some $k$-ary Relations Over Second Order kinds of Logics
por: Costa, Simone, et al.
Publicado: (2025)

Datalog-Expressibility for Monadic and Guarded Second-Order Logic
por: Bodirsky, Manuel, et al.
Publicado: (2020)

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

Convergence Laws for Extensions of First-Order Logic with Averaging
por: Adam-Day, Sam, et al.
Publicado: (2025)

Equivalence and Conditional Independence in Atomic Sheaf Logic
por: Simpson, Alex
Publicado: (2024)

The Complexity and Expressive Power of Second-Order Extended Logic
por: Feng, Shiguang, et al.
Publicado: (2022)

A Trichotomy for Regular Trail Queries
por: Martens, Wim, et al.
Publicado: (2019)

Zilber's Trichotomy in Hausdorff Geometric Structures
por: Castle, Benjamin, et al.
Publicado: (2024)

Comodule Representations of Second-Order Functionals
por: Ahman, Danel, et al.
Publicado: (2024)

Goodstein at the Second Threshold: An Independence Result for $ID_2$
por: Gjetaj, Oriola, et al.
Publicado: (2026)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
por: Bacci, Giorgio, et al.
Publicado: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
por: Artale, Alessandro, et al.
Publicado: (2025)

Wright's First-Order Logic of Strict Finitism
por: Yamada, Takahiro
Publicado: (2024)

Distributed First Order Logic
por: Ghidini, Chiara, et al.
Publicado: (2015)

Interpolation in First-Order Logic
por: Cate, Balder ten, et al.
Publicado: (2025)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
por: Barloy, Corentin, et al.
Publicado: (2025)

Approximate Completeness of Hypersequent Calculus for First-Order Łukasiewicz Logic
por: Wei, Jin
Publicado: (2024)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
por: Lyon, Tim S., et al.
Publicado: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)

First-Order Modal Logic via Logical Categories
por: Ghilardi, Silvio, et al.
Publicado: (2025)

Kuroda's Translation for Higher-Order Logic
por: Traversié, Thomas
Publicado: (2024)

On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4
por: Antunes, Henrique, et al.
Publicado: (2024)

Local-Order-Invariant Logic on Classes of Bounded Degree
por: Aoki, Derek
Publicado: (2025)

Positive, Negative, and Reliable Information in a First-Order Logic of Evidence and Truth
por: Rodrigues, Abilio, et al.
Publicado: (2026)

The Complexity of Fragments of Second-Order HyperLTL
por: Regaud, Gaëtan, et al.
Publicado: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
por: Nishimura, Yuki
Publicado: (2024)

Syntactic Effectful Realizability in Higher-Order Logic
por: Cohen, Liron, et al.
Publicado: (2025)

On the Satisfiability of Local First-Order Logics with Data
por: Bollig, Benedikt, et al.
Publicado: (2023)

First-Order Fischer Servi Logic
por: Christensen, Ahmee
Publicado: (2024)