Imagen de Portada

Permutation Models of Second Order

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 the Law of Trichotomy in Second-Order Henkin Logic
por: Gaßner, Christine
Publicado: (2024)

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

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)

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)

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

Permutations, substitutions and finite axiomatizability
por: Andréka, Hajnal, et al.
Publicado: (2025)

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

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

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

On a Second-Order Version of Russellian Theory of Definite Descriptions
por: Petrukhin, Yaroslav
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)

Monitoring Second-Order Hyperproperties
por: Beutner, Raven, et al.
Publicado: (2024)

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

On the Model Theory of Second-Order Objects
por: Hyttinen, Tapani, et al.
Publicado: (2024)

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

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

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

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)

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

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

The Limits of Determinacy in Higher-Order Arithmetic
por: Aguilera, Juan Pablo, et al.
Publicado: (2024)

Metric Linear Orders and O-Minimality
por: Anderson, Aaron, et al.
Publicado: (2025)

Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen
por: Grobner, Harald
Publicado: (2026)

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
por: Iosif, Radu, et al.
Publicado: (2023)

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

Order structure of P-point ultrafilters and their relatives
por: Kuzeljevic, Borisa, et al.
Publicado: (2024)

Ultrafilters over Successor Cardinals and the Tukey Order
por: Benhamou, Tom, et al.
Publicado: (2025)

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

Borel Order Dimension
por: Raghavan, Dilip, et al.
Publicado: (2024)

Reintroducing the Second Player in EPR
por: Chew, Leroy, et al.
Publicado: (2026)

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

Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"
por: Enayat, Ali, et al.
Publicado: (2026)

Unifying Semantic Path Order and Weighted Path Order
por: Saito, Teppei, et al.
Publicado: (2026)

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