:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Yamazoe, Takashi
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2402.17321
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Notes on slalom prediction
by: Yamazoe, Takashi
Published: (2025)

Cichoń's maximum with evasion number
by: Yamazoe, Takashi
Published: (2024)

Cichoń's maximum with cardinals of the closed null ideal
by: Yamazoe, Takashi
Published: (2024)

Evasion numbers via zero-prediction
by: Yamazoe, Takashi
Published: (2026)

Game-theoretic variants of splitting number
by: Chapital, Jorge Antonio Cruz, et al.
Published: (2024)

Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists
by: Kihara, Takayuki
Published: (2022)

Trace definability IV: higher arity notions
by: Walsberg, Erik
Published: (2026)

Cardinal invariants of idealized Miller null sets
by: Cieślak, Aleksander, et al.
Published: (2026)

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

Connectivity notions on compatible digraphs in equational classes
by: Gyenizse, Gergő, et al.
Published: (2026)

On the computational properties of basic mathematical notions
by: Normann, Dag, et al.
Published: (2022)

A background independent notion of causality
by: Capolupo, Antonio, et al.
Published: (2023)

Effective bases and notions of effective second countability in computable analysis
by: Brattka, Vasco, et al.
Published: (2025)

Universal Proof Theory, TACL 2022 Lecture Notes
by: Iemhoff, Rosalie, et al.
Published: (2023)

Indiscernible extraction at small large cardinals from a higher-arity stability notion
by: Hanson, James E.
Published: (2025)

Sets with dependent elements: A formalization of Castoriadis' notion of magma
by: Tzouvaras, Athanassios
Published: (2023)

Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)
by: Mangel, Éléonore, et al.
Published: (2025)

On the formalization of the notion of an algorithm
by: Middelburg, C. A.
Published: (2024)

A Note on Power-OTMs
by: Carl, Merlin
Published: (2024)

Being polite is not enough (and other limits of theory combination)
by: Toledo, Guilherme V., et al.
Published: (2025)

Notes on Laver Tables
by: Qi, Renrui
Published: (2025)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
by: Fuchser, Janne, et al.
Published: (2025)

A Note on Clockability for Ordinal Turing Machines
by: Carl, Merlin
Published: (2019)

A Note on Proper Relational Structures
by: Bjorndahl, Adam, et al.
Published: (2025)

The happy coexistence of mad families and Laver measurability
by: Tornquist, Asger, et al.
Published: (2025)

A short nonstandard proof of the Doob-Meyer and Dol{é}ans-Dade theorems
by: Matsunaga, Takashi
Published: (2025)

A Short Nonstandard Proof of the Radon-Nikodym Theorem
by: Matsunaga, Takashi
Published: (2026)

A Note on OTM-Realizability and Constructive Set Theories
by: Carl, Merlin
Published: (2019)

Notes on applicative matching logic
by: Leuştean, Laurenţiu
Published: (2025)

The intersection number for forcing notions
by: Uribe-Zapata, Andrés F.
Published: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
by: Merkle, Wolfgang, et al.
Published: (2024)

A Note on the Practice of Logical Inferentialism
by: Gheorghiu, Alexander V., et al.
Published: (2024)

Found in Translation: at the limits of the Hudetz program
by: Meadows, Toby
Published: (2025)

Additivity of derived limits in the Cohen model
by: Bannister, Nathaniel
Published: (2023)

On the computability of cofinal Fraïssé limits
by: Ackerman, Nathanael, et al.
Published: (2026)

Projective Fraïssé limits and generalized Ważewski dendrites
by: Codenotti, Alessandro, et al.
Published: (2022)

A short nonstandard proof of the Spectral Theorem for unbounded self-adjoint operators
by: Matsunaga, Takashi
Published: (2024)

Note on the Splitting Property in Strongly Dense Posets of Size $\aleph_0$
by: Džamonja, Mirna
Published: (2026)

On the formalization of the notion of a concurrent algorithm
by: Middelburg, C. A.
Published: (2024)

A Note on a Theorem of Apter
by: Mohammadpour, Rahman, et al.
Published: (2026)