:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Yamazoe, Takashi
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2402.17321
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Notes on slalom prediction
von: Yamazoe, Takashi
Veröffentlicht: (2025)

Cichoń's maximum with evasion number
von: Yamazoe, Takashi
Veröffentlicht: (2024)

Cichoń's maximum with cardinals of the closed null ideal
von: Yamazoe, Takashi
Veröffentlicht: (2024)

Evasion numbers via zero-prediction
von: Yamazoe, Takashi
Veröffentlicht: (2026)

Game-theoretic variants of splitting number
von: Chapital, Jorge Antonio Cruz, et al.
Veröffentlicht: (2024)

Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists
von: Kihara, Takayuki
Veröffentlicht: (2022)

Trace definability IV: higher arity notions
von: Walsberg, Erik
Veröffentlicht: (2026)

Cardinal invariants of idealized Miller null sets
von: Cieślak, Aleksander, et al.
Veröffentlicht: (2026)

On fresh sets in iterations of Prikry type forcing notions
von: Gitik, Moti, et al.
Veröffentlicht: (2024)

Connectivity notions on compatible digraphs in equational classes
von: Gyenizse, Gergő, et al.
Veröffentlicht: (2026)

On the computational properties of basic mathematical notions
von: Normann, Dag, et al.
Veröffentlicht: (2022)

A background independent notion of causality
von: Capolupo, Antonio, et al.
Veröffentlicht: (2023)

Effective bases and notions of effective second countability in computable analysis
von: Brattka, Vasco, et al.
Veröffentlicht: (2025)

Universal Proof Theory, TACL 2022 Lecture Notes
von: Iemhoff, Rosalie, et al.
Veröffentlicht: (2023)

Indiscernible extraction at small large cardinals from a higher-arity stability notion
von: Hanson, James E.
Veröffentlicht: (2025)

Sets with dependent elements: A formalization of Castoriadis' notion of magma
von: Tzouvaras, Athanassios
Veröffentlicht: (2023)

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

On the formalization of the notion of an algorithm
von: Middelburg, C. A.
Veröffentlicht: (2024)

A Note on Power-OTMs
von: Carl, Merlin
Veröffentlicht: (2024)

Being polite is not enough (and other limits of theory combination)
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2025)

Notes on Laver Tables
von: Qi, Renrui
Veröffentlicht: (2025)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
von: Fuchser, Janne, et al.
Veröffentlicht: (2025)

A Note on Clockability for Ordinal Turing Machines
von: Carl, Merlin
Veröffentlicht: (2019)

A Note on Proper Relational Structures
von: Bjorndahl, Adam, et al.
Veröffentlicht: (2025)

The happy coexistence of mad families and Laver measurability
von: Tornquist, Asger, et al.
Veröffentlicht: (2025)

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

A Short Nonstandard Proof of the Radon-Nikodym Theorem
von: Matsunaga, Takashi
Veröffentlicht: (2026)

A Note on OTM-Realizability and Constructive Set Theories
von: Carl, Merlin
Veröffentlicht: (2019)

Notes on applicative matching logic
von: Leuştean, Laurenţiu
Veröffentlicht: (2025)

The intersection number for forcing notions
von: Uribe-Zapata, Andrés F.
Veröffentlicht: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
von: Merkle, Wolfgang, et al.
Veröffentlicht: (2024)

A Note on the Practice of Logical Inferentialism
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

Found in Translation: at the limits of the Hudetz program
von: Meadows, Toby
Veröffentlicht: (2025)

Additivity of derived limits in the Cohen model
von: Bannister, Nathaniel
Veröffentlicht: (2023)

On the computability of cofinal Fraïssé limits
von: Ackerman, Nathanael, et al.
Veröffentlicht: (2026)

Projective Fraïssé limits and generalized Ważewski dendrites
von: Codenotti, Alessandro, et al.
Veröffentlicht: (2022)

A short nonstandard proof of the Spectral Theorem for unbounded self-adjoint operators
von: Matsunaga, Takashi
Veröffentlicht: (2024)

Note on the Splitting Property in Strongly Dense Posets of Size $\aleph_0$
von: Džamonja, Mirna
Veröffentlicht: (2026)

On the formalization of the notion of a concurrent algorithm
von: Middelburg, C. A.
Veröffentlicht: (2024)

A Note on a Theorem of Apter
von: Mohammadpour, Rahman, et al.
Veröffentlicht: (2026)