Cover Image

Relationships between Principles of Choice in Second-Order Henkin Structures

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Gaßner, Christine
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Permutation Models of Second Order
by: Gaßner, Christine
Published: (2024)

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

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

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

Rich doctrines and Henkin's Theorem
by: Guffanti, Francesca
Published: (2023)

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

A New Weak Choice Principle
by: Halbeisen, Lorenz, et al.
Published: (2021)

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

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

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

Structures Associated with Real Closed Fields and the Axiom of Choice
by: Carl, Merlin
Published: (2014)

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

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

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

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
by: Finkbeiner, Bernd, et al.
Published: (2026)

On a Second-Order Version of Russellian Theory of Definite Descriptions
by: Petrukhin, Yaroslav
Published: (2025)

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

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
by: Lichter, Moritz
Published: (2022)

The Ordering Principle and Dependent Choice
by: Holy, Peter, et al.
Published: (2025)

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

Monitoring Second-Order Hyperproperties
by: Beutner, Raven, et al.
Published: (2024)

The Ordering Principle and Higher Dependent Choice
by: Holy, Peter, et al.
Published: (2025)

Binary Choice Games and Arithmetical Comprehension
by: Aguilera, Juan Pablo, et al.
Published: (2025)

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

Unravelling Cyclic First-Order Arithmetic
by: Leigh, Graham E., et al.
Published: (2025)

Structural Infinite-Exponent Partition Relations and Weak Choice Principles
by: Gardiner, Lyra A., et al.
Published: (2026)

The Ouroboros Goodstein Principle
by: Fernández-Duque, David, et al.
Published: (2026)

Reflection Principles in ZFU
by: Glazer, Elliot, et al.
Published: (2026)

Choice and independence of premise rules in intuitionistic set theory
by: Frittaion, Emanuele, et al.
Published: (2024)

Berkeley Cardinals and Vopěnka's Principle
by: Mohammd, Marwan Salam
Published: (2024)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
by: Abraham, Uri, et al.
Published: (2023)

The strong reflecting property and Harrington's Principle
by: Cheng, Yong
Published: (2015)

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

Formalization of the Filter Extension Principle (FEP) in Coq
by: Dou, Guowei, et al.
Published: (2024)

Deducibility of Identicals, Reflection Principle and Synthetic Connectives
by: Nishimuta, Yuki
Published: (2019)

Models of Bounded Arithmetic and variants of Pigeonhole Principle
by: Narusevych, Mykyta
Published: (2022)

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
by: Ariola, Zena M., et al.
Published: (2026)