Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Gaßner, Christine
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 03-02, 03-B15
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

AC and the Independence of WO in Second-Order Henkin Logic, Part II
von: Gaßner, Christine
Veröffentlicht: (2024)

Aristotle's Second-Order Logic and Natural Deduction
von: Protin, Clarence
Veröffentlicht: (2023)

AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic
von: Gaßner, Christine
Veröffentlicht: (2024)

Isomorphism of pointed minimal systems is not classifiable by countable structures
von: Li, Ruiwen, et al.
Veröffentlicht: (2024)

First-Order Modal Logic via Logical Categories
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
von: Leme, Renato, et al.
Veröffentlicht: (2023)

Logic families
von: Andréka, H., et al.
Veröffentlicht: (2023)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
von: Koshkin, Sergiy
Veröffentlicht: (2024)

LF: a Foundational Higher-Order-Logic
von: Goodsell, Zachary, et al.
Veröffentlicht: (2024)

Infinite Hat Problems and Large Cardinals
von: Lietz, Andreas, et al.
Veröffentlicht: (2024)

Hungarian Cubes
von: Garti, Shimon
Veröffentlicht: (2024)

The ZFC analogue of the Halpern-Levy theorem
von: Stefanović, Nedeljko
Veröffentlicht: (2023)

Galvin's Conjecture and Weakly Precipitous Ideals
von: Eisworth, Todd
Veröffentlicht: (2023)

Superclub, splitting, separating statements
von: Garti, Shimon, et al.
Veröffentlicht: (2023)

Definable expansions on countable groups and countable Borel equivalence relations
von: Wolman, Michael
Veröffentlicht: (2025)

Classification Strength of Polish Groups: Involving $S_\infty$
von: Allison, Shaun
Veröffentlicht: (2023)

Formalizing Pfaffian in bounded arithmetic
von: Kuroda, Satoru
Veröffentlicht: (2024)

On Strongly-equitable Social Welfare Orders Without the Axiom of Choice
von: Serafin, Luke
Veröffentlicht: (2024)

Weak and Strong Versions of Effective Transfinite Recursion
von: Uftring, Patrick
Veröffentlicht: (2022)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
von: Lyon, Tim S.
Veröffentlicht: (2025)

The Coase Theorem and Ideal Exchanges
von: Lü, Daniel
Veröffentlicht: (2025)

First-Order Fischer Servi Logic
von: Christensen, Ahmee
Veröffentlicht: (2024)

Any function I can actually write down is measurable, right?
von: Hanson, James E.
Veröffentlicht: (2025)

Distinguishing Martin's axiom from its restrictions
von: Peng, Yinhe
Veröffentlicht: (2024)

A ccc indestructible construction with CH
von: Peng, Yinhe
Veröffentlicht: (2025)

Galvin's property at large cardinals and an application to partition calculus
von: Benhamou, Tom, et al.
Veröffentlicht: (2022)

A Higher-Order Vampire (Short Paper)
von: Bhayat, Ahmed, et al.
Veröffentlicht: (2024)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
von: Buriola, Gabriele, et al.
Veröffentlicht: (2025)

Interleaving Logic and Counting
von: van Benthem, Johan, et al.
Veröffentlicht: (2025)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
von: Ghari, Meghdad
Veröffentlicht: (2014)

Convex Team Logics
von: Anttila, Aleksi, et al.
Veröffentlicht: (2025)

Aristotelian poetry
von: Garti, Shimon, et al.
Veröffentlicht: (2021)

The Golden Path to Guarded Monotone Strict NP
von: Barsukov, Alexey, et al.
Veröffentlicht: (2023)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
von: Benzmüller, Christoph, et al.
Veröffentlicht: (2026)

Induction on Dilators and Bachmann-Howard Fixed Points
von: Aguilera, Juan P., et al.
Veröffentlicht: (2024)

On inverse Goodstein sequences
von: Uftring, Patrick
Veröffentlicht: (2023)

Logics of False Belief and Radical Ignorance
von: Fan, Jie
Veröffentlicht: (2024)

Connexive implications in Substructural Logics
von: Fazio, Davide, et al.
Veröffentlicht: (2022)

Craig Interpolation for Subgeometric Logics
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2026)

Pretabular Tense Logics over S4t
von: Chen, Qian
Veröffentlicht: (2024)