The higher sharp I: on $M_1^\#$
Logic
2017-06-05 v4
Authors:
Yizheng Zhu
Abstract
We establish the descriptive set theoretic representation of the mouse Mn#, which is called 0(n+1)#. This part deals with the case n=1.
Cite
@article{arxiv.1604.00481,
title = {The higher sharp I: on $M_1^\#$},
author = {Yizheng Zhu},
journal= {arXiv preprint arXiv:1604.00481},
year = {2017}
}
Comments
21 pages, split into four parts
Related papers
View all related →
Logic · Mathematics
The higher sharp IV: the higher levels
Yizheng Zhu
2017-06-05
Logic · Mathematics
The higher sharp II: on $M_2^\#$
Yizheng Zhu
2017-06-07
Logic · Mathematics
The higher sharp III: An EM blueprint of $0^{3\#}$ and the level-4 Kechris-Martin
Yizheng Zhu
2017-06-05
Logic · Mathematics
Mouse Sets
Mitch Rudominer
2008-02-03
Logic · Mathematics
Ladder mice
Farmer Schlutzenberg
2024-06-11
Logic · Mathematics
The Mouse Set Theorem Just Past Projective
Mitch Rudominer
2023-10-24
Computational Complexity · Computer Science
On sets of linear forms of maximal complexity
Michael Kaminski, Igor E. Shparlinski, Michel Waldschmidt
2022-12-13
Logic · Mathematics
Mouse scales
Farmer Schlutzenberg
2025-05-14
Logic in Computer Science · Computer Science
The descriptive theory of represented spaces
Arno Pauly
2014-08-25
Logic in Computer Science · Computer Science
Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces
Arno Pauly, Matthew de Brecht
2014-06-03
Number Theory · Mathematics
Counting points of bounded height in monoid orbits
Wade Hindes
2020-07-07
Representation Theory · Mathematics
The representation theory of the increasing monoid
Sema Güntürkün, Andrew Snowden
2018-12-27
Combinatorics · Mathematics
Maximal $m$-distance sets containing the representation of the Johnson graph $J(n, m)$
Eiichi Bannai, Takahiro Sato, Junichi Shigezumi
2012-09-04
Category Theory · Mathematics
Enriched monoidal categories I: centers
Liang Kong, Wei Yuan, Zhi-Hao Zhang, Hao Zheng
2024-07-09
High Energy Physics - Theory · Physics
Massless and massive representations in the spinor technique
T. Troha, D. Lukman, N. S. Mankoc Borstnik
2014-09-19
Numerical Analysis · Mathematics
A partially mesh-free scheme for representing anisotropic spatial variations along field lines
Ben F McMillan
2017-01-04
Computer Vision and Pattern Recognition · Computer Science
Masked Next-Scale Prediction for Self-supervised Scene Text Recognition
Zhuohao Chen, Zeng Li, Yifei Zhang, Chang Liu +1
2026-05-15
Representation Theory · Mathematics
The classification of thick representations of the symmetric group
Kazunori Nakamoto, Shingo Okuyama, Yasuhiro Omoda
2026-03-23
Logic · Mathematics
The complexity of being monitorable
Riccardo Camerlo, Francesco Dagnino
2026-01-09
Machine Learning · Computer Science
Learning to Represent and Predict Sets with Deep Neural Networks
Yan Zhang
2021-03-09
Neural and Evolutionary Computing · Computer Science
Decoding Generic Visual Representations From Human Brain Activity using Machine Learning
Angeliki Papadimitriou, Nikolaos Passalis, Anastasios Tefas
2018-11-06
Computation and Language · Computer Science
Languages Transferred Within the Encoder: On Representation Transfer in Zero-Shot Multilingual Translation
Zhi Qu, Chenchen Ding, Taro Watanabe
2025-04-09
Combinatorics · Mathematics
Approximating the position of a hidden agent in a graph
Hannah Guggiari, Alexander Roberts, Alex Scott
2018-05-14
General Topology · Mathematics
Towards a Descriptive Theory of cb_0-Spaces
Victor Selivanov
2014-06-17
Complex Variables · Mathematics
A Note On Uniqueness Of Meromorphic Functions And Their Derivatives Sharing Two Sets
Abhijit Banerjee, Bikash Chakraborty
2018-01-08