Image de couverture de livre

AC and the Independence of WO in Second-Order Henkin Logic, Part II

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Gaßner, Christine
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic
par: Gaßner, Christine
Publié: (2024)

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

Permutation Models of Second Order
par: Gaßner, Christine
Publié: (2024)

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

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

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

Monadic Second-Order Logic of Permutations
par: Jelínek, Vít, et autres
Publié: (2025)

Rich doctrines and Henkin's Theorem
par: Guffanti, Francesca
Publié: (2023)

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
par: Herbelin, Hugo, et autres
Publié: (2024)

The Parameterized Complexity of Learning Monadic Second-Order Logic
par: van Bergerem, Steffen, et autres
Publié: (2023)

Definability of some $k$-ary Relations Over Second Order kinds of Logics
par: Costa, Simone, et autres
Publié: (2025)

Datalog-Expressibility for Monadic and Guarded Second-Order Logic
par: Bodirsky, Manuel, et autres
Publié: (2020)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Equivalence and Conditional Independence in Atomic Sheaf Logic
par: Simpson, Alex
Publié: (2024)

The Complexity and Expressive Power of Second-Order Extended Logic
par: Feng, Shiguang, et autres
Publié: (2022)

Comodule Representations of Second-Order Functionals
par: Ahman, Danel, et autres
Publié: (2024)

Goodstein at the Second Threshold: An Independence Result for $ID_2$
par: Gjetaj, Oriola, et autres
Publié: (2026)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
par: Bacci, Giorgio, et autres
Publié: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

Wright's First-Order Logic of Strict Finitism
par: Yamada, Takahiro
Publié: (2024)

Distributed First Order Logic
par: Ghidini, Chiara, et autres
Publié: (2015)

Interpolation in First-Order Logic
par: Cate, Balder ten, et autres
Publié: (2025)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
par: Barloy, Corentin, et autres
Publié: (2025)

Approximate Completeness of Hypersequent Calculus for First-Order Łukasiewicz Logic
par: Wei, Jin
Publié: (2024)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

First-Order Modal Logic via Logical Categories
par: Ghilardi, Silvio, et autres
Publié: (2025)

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

On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4
par: Antunes, Henrique, et autres
Publié: (2024)

Local-Order-Invariant Logic on Classes of Bounded Degree
par: Aoki, Derek
Publié: (2025)

Positive, Negative, and Reliable Information in a First-Order Logic of Evidence and Truth
par: Rodrigues, Abilio, et autres
Publié: (2026)

The Complexity of Fragments of Second-Order HyperLTL
par: Regaud, Gaëtan, et autres
Publié: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)

Syntactic Effectful Realizability in Higher-Order Logic
par: Cohen, Liron, et autres
Publié: (2025)

On the Satisfiability of Local First-Order Logics with Data
par: Bollig, Benedikt, et autres
Publié: (2023)

First-Order Fischer Servi Logic
par: Christensen, Ahmee
Publié: (2024)

Logic of the Great, Logic of the Wise 2
par: Fedorchenko, Mikhail
Publié: (2026)

Aristotle's Second-Order Logic and Natural Deduction
par: Protin, Clarence
Publié: (2023)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
par: Lyon, Tim S.
Publié: (2023)