:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Al-Johar, Zuhair
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	https://arxiv.org/abs/2503.07658
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Relative to any non-arithmetic set
di: Harrison-Trainor, Matthew
Pubblicazione: (2025)

Constraint satisfaction problems, compactness and non-measurable sets
di: Tardif, Claude
Pubblicazione: (2025)

Intuitionistic modal logics: a minimal setting
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Skands and coskands (The non-founded set theory with individuals and its model in the Field of all Conway numbers)
di: Lisica, Ju. T.
Pubblicazione: (2025)

Nelson algebras, residuated lattices and rough sets: A survey
di: Järvinen, Jouni, et al.
Pubblicazione: (2024)

Star operation, microscopic sets and porous sets
di: Perkowska, Daria, et al.
Pubblicazione: (2025)

Free sets, thin sets and rainbows for barriers
di: Carlucci, Lorenzo, et al.
Pubblicazione: (2026)

Good points for scales (and more)
di: Pierre Matet
Pubblicazione: (2024)

The equivariant model structure on cartesian cubical sets
di: Awodey, Steve, et al.
Pubblicazione: (2024)

Grothendieck rings of polytopes and non-archimedean semi-algebraic sets
di: Nicaise, Johannes
Pubblicazione: (2024)

On definable J-sets
di: Zhang, Zhentao
Pubblicazione: (2025)

The set of injections and the set of surjections on a set
di: Natthajak Kamkru, et al.
Pubblicazione: (2024)

MSO logic of the real order with the set quantifiers ranging over the Borel sets
di: Džamonja, Mirna
Pubblicazione: (2025)

Function spaces for orbit-finite sets
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2024)

Definable sets in Skolem arithmetic
di: Kamiński, Łukasz
Pubblicazione: (2025)

Gradualist descriptionalist set theory
di: Simmons, David
Pubblicazione: (2026)

The $λ$-PSP at $λ$-coanalytic sets
di: Barrera, Fernando, et al.
Pubblicazione: (2025)

Partitioning the real line into Borel sets
di: Brian, Will
Pubblicazione: (2021)

Non-contingecy in a paraconsistent setting
di: Kozhemiachenko, Daniil, et al.
Pubblicazione: (2024)

Partitions of Baire space into compact sets
di: Fischer, Vera, et al.
Pubblicazione: (2023)

Implicative models of set theory
di: Maschio, Samuele, et al.
Pubblicazione: (2023)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)

Goldstern's principle about unions of null sets
di: Goto, Tatsuya
Pubblicazione: (2022)

Tarskian truth theories over set theory
di: Enayat, Ali
Pubblicazione: (2026)

The Baire and perfect set properties at singulars cardinals
di: Dimonte, Vincenzo, et al.
Pubblicazione: (2024)

Fodor space in generalized descriptive set theory
di: Feldman, Ido, et al.
Pubblicazione: (2026)

Some applications of fuzzy sets in residuated lattices
di: Flaut, Cristina, et al.
Pubblicazione: (2024)

Uncountable sets and an infinite linear order game
di: Matos-Wiederhold, Tonatiuh, et al.
Pubblicazione: (2024)

One-dimensional F-definable sets in F((t))
di: Anscombe, Sylvy
Pubblicazione: (2015)

A weak variant of Hindman's Theorem stronger than Hilbert's Theorem
di: Carlucci, Lorenzo
Pubblicazione: (2016)

There is a deep 1-generic set
di: Li, Ang
Pubblicazione: (2024)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
di: Oda, Yukihiro
Pubblicazione: (2025)

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

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

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

Stabilizers, Measures and IP-sets
di: Martin-Pizarro, Amador, et al.
Pubblicazione: (2019)

Perfect set dichotomy theorem in generalized Solovay model
di: Sakai, Hiroshi, et al.
Pubblicazione: (2025)

Generalized Tukey reducibility between $σ$-directed sets
di: Sakai, Hiroshi, et al.
Pubblicazione: (2025)

On fresh sets in iterations of Prikry type forcing notions
di: Gitik, Moti, et al.
Pubblicazione: (2024)

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