:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Adilkhan, Nuraly
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2508.10073
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Supercompact Measures and the Galvin Property
by: Benhamou, Tom, et al.
Published: (2025)

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
by: Hartonas, Chrysafis
Published: (2021)

Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion
by: Barbarossa, Davide
Published: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
by: Kihara, Takayuki
Published: (2024)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
by: Wang, Shanxia
Published: (2026)

Proof-Theoretic Functional Completeness for the Connexive Logic C
by: Ayhan, Sara, et al.
Published: (2025)

Categorical Proof-Theoretic Semantics
by: Pym, David, et al.
Published: (2023)

Scales in the Point Spectrum
by: Benhamou, Tom
Published: (2026)

Knowledge Base Embeddings: Semantics and Theoretical Properties
by: Bourgaux, Camille, et al.
Published: (2024)

Extensional Taylor Expansion
by: Blondeau-Patissier, Lison, et al.
Published: (2023)

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

Double Glueing over Free Exponential: with Measure Theoretic Applications
by: Hamano, Masahiro
Published: (2021)

Property B: A Baumgartner-style Property that Applies to Preservation of $\aleph_1$ and $\aleph_2$ under Iterations with Supports of Size $\aleph_1$
by: Džamonja, Mirna
Published: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

Universal Horn Sentences and the Joint Embedding Property
by: Bodirsky, Manuel, et al.
Published: (2021)

Measuring the Complexity of Countable Presburger Models
by: Block, Jason
Published: (2026)

A Relation on ${(ω, <)}$ of Intermediate Degree Spectrum on a Cone
by: Damaj, Jad, et al.
Published: (2024)

Saturation Properties of Ultrafilters in Canonical Inner Models
by: Benhamou, Tom
Published: (2022)

Set-Theoretic Hypodoxes and co-Russell's Paradox
by: Šujan, Timotej
Published: (2024)

Reasoning under uncertainty in the game of Cops and Robbers
by: Li, Dazhu, et al.
Published: (2025)

Towards Trans-Exponential O-minimal Expansion of $(\mathbb{R},+,\cdot, 0, 1 <)$
by: Fu, Yayi
Published: (2026)

Effective Versions of Strong Measure Zero
by: Rayman, Matthew
Published: (2025)

A Spectrum of Approximate Probabilistic Bisimulations
by: Spork, Timm, et al.
Published: (2024)

The Gluing Property
by: Hayut, Yair, et al.
Published: (2022)

Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators
by: Indrzejczak, Andrzej
Published: (2024)

Technical Report: Time-Bounded Resilience
by: Kirigin, Tajana Ban, et al.
Published: (2024)

Separability Properties of Monadically Dependent Graph Classes
by: Bonnet, Édouard, et al.
Published: (2025)

Expansions of real closed fields with the Banach fixed point property
by: Athipat Thamrongthanyalak
Published: (2024)

Combining Combination Properties: Minimal Models
by: de Toledo, Guilherme Vicentin, et al.
Published: (2024)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
by: Hartonas, Chrysafis
Published: (2023)

Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems
by: Lin, Deren, et al.
Published: (2014)

Measurable Vizing's theorem
by: Grebík, Jan
Published: (2023)

Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions
by: Müller, Sandra
Published: (2024)

Cubical Type Theoretic Navya-Nyāya
by: Panday, Mrityunjoy, et al.
Published: (2026)

Cantor's Powerset Theorem, Graph-Theoretically
by: Salehi, Saeed
Published: (2026)

Results on Colored Tree Properties
by: Day, Gabriel
Published: (2025)

Merges of Smooth Classes and Their Properties
by: Bryant, Morgan
Published: (2024)

Combinatorial Properties of the Raisonnier Filter
by: Dialiatsis, Spyridon, et al.
Published: (2026)

Advances in Proof-Theoretic Semantics
Published: (2018)

Measuring Decidability as Related to Busy Beaver Numbers
by: Tandi, Gurpreet, et al.
Published: (2026)