{"title":"Discrete subgroups of normed spaces are free","authors":"Tomasz Kania, Ziemowit Kostana","doi":"arxiv-2408.03226","DOIUrl":"https://doi.org/arxiv-2408.03226","url":null,"abstract":"Ancel, Dobrowolski, and Grabowski (Studia Math., 1994) proved that every\u0000countable discrete subgroup of the additive group of a normed space is free\u0000Abelian, hence isomorphic to the direct sum of a certain number of copies of\u0000the additive group of the integers. In the present paper, we take a\u0000set-theoretic approach based on the theory of elementary submodels and the\u0000Singular Compactness Theorem to remove the cardinality constraint from their\u0000result and prove that indeed every discrete subgroup of the additive group of a\u0000normed space is free Abelian.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141945531","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Artinian groups of large cardinality","authors":"Samuel M. Corson, Saharon Shelah","doi":"arxiv-2408.03201","DOIUrl":"https://doi.org/arxiv-2408.03201","url":null,"abstract":"A group is Artinian if there is no infinite strictly descending chain of\u0000subgroups. Ol'shanskii has asked whether there are Artinian groups of\u0000arbitrarily large cardinality. We reduce this problem to an analogous question,\u0000regarding universal algebras, asked by J'onsson in the 1960s. We provide\u0000Artinian groups of cardinality $aleph_n$ for each natural number $n$. We also\u0000give a consistent strong negative answer to the question of Ol'shanskii (from a\u0000large cardinal assumption) as well as a consistent positive answer. Thus,\u0000answers to the questions of Ol'shanskii and J'onsson are independent of set\u0000theory.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141945529","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Preservation of Topological Properties by Strongly Proper Forcings","authors":"Thomas Gilton, Jared Holshouser","doi":"arxiv-2408.02495","DOIUrl":"https://doi.org/arxiv-2408.02495","url":null,"abstract":"In this paper we show that forcings which are strongly proper for\u0000stationarily many countable elementary submodels preserve each of the following\u0000properties of topological spaces: countably tight; Lindel\"of; Rothberger;\u0000Menger; and a strategic version of Rothberger. This extends results from Dow,\u0000as well as from Iwasa and from Kada.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141945525","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Some Property of an Ultrafilter and Graph parameters on Connectivity System","authors":"Takaaki Fujita","doi":"arxiv-2408.02299","DOIUrl":"https://doi.org/arxiv-2408.02299","url":null,"abstract":"An ultrafilter is a maximal filter on a set, playing a crucial role in set\u0000theory and topology for rigorously handling limits, convergence, and\u0000compactness. A connectivity system is defined as a pair (X, f), where X is a\u0000finite set and f is a symmetric submodular function. Understanding the duality\u0000in these parameters helps to elucidate the relationship between different\u0000decompositions and measures of a graph's complexity. In this paper, we delve\u0000into ultrafilters on connectivity systems, applying Tukey's Lemma to these\u0000systems. Additionally, we explore prefilters, ultra-prefilters, and subbases\u0000within the context of connectivity systems. Furthermore, we introduce and\u0000investigate new parameters related to width, length, and depth.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141945533","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Meta-Modelling in Formal Concept Analysis","authors":"Yingjian Wang","doi":"arxiv-2408.02435","DOIUrl":"https://doi.org/arxiv-2408.02435","url":null,"abstract":"Formal Concept Analysis starts from a very basic data structure comprising\u0000objects and their attributes. Sometimes, however, it is beneficial to also\u0000define attributes of attributes (so-called meta-attributes). In this paper, we\u0000use Triadic Formal Concept Analysis(a triadic approach to Formal Concept\u0000Analysis) to develop a framework for this kind of meta-modelling in Formal\u0000Concept Analysis, including formal definitions and appropriate visualizations.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141945527","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski
{"title":"Reasoning from hypotheses in *-continuous action lattices","authors":"Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski","doi":"arxiv-2408.02118","DOIUrl":"https://doi.org/arxiv-2408.02118","url":null,"abstract":"The class of all $ast$-continuous Kleene algebras, whose description\u0000includes an infinitary condition on the iteration operator, plays an important\u0000role in computer science. The complexity of reasoning in such algebras -\u0000ranging from the equational theory to the Horn one, with restricted fragments\u0000of the latter in between - was analyzed by Kozen (2002). This paper deals with\u0000similar problems for $ast$-continuous residuated Kleene lattices, also called\u0000$ast$-continuous action lattices, where the product operation is augmented by\u0000adding residuals. We prove that in the presence of residuals the fragment of\u0000the corresponding Horn theory with $ast$-free hypotheses has the same\u0000complexity as the $omega^omega$ iteration of the halting problem, and hence\u0000is properly hyperarithmetical. We also prove that if only commutativity\u0000conditions are allowed as hypotheses, then the complexity drops down to\u0000$Pi^0_1$ (i.e. the complement of the halting problem), which is the same as\u0000that for $ast$-continuous Kleene algebras. In fact, we get stronger upper\u0000bound results: the fragments under consideration are translated into suitable\u0000fragments of infinitary action logic with exponentiation, and the upper bounds\u0000are obtained for the latter ones.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141945528","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Generic dichotomy for homomorphisms for $E_0^mathbb{N}$","authors":"Assaf Shani","doi":"arxiv-2408.01261","DOIUrl":"https://doi.org/arxiv-2408.01261","url":null,"abstract":"We prove the following dichotomy. Given an analytic equivalence relation $E$,\u0000either ${E_0^{mathbb{N}}}leq_B{E}$ or else any Borel homomorphism from\u0000$E_0^{mathbb{N}}$ to $E$ is \"very far from a reduction\", specifically, it\u0000factors, on a comeager set, through the projection map\u0000$(2^{mathbb{N}})^{mathbb{N}}to (2^{mathbb{N}})^k$ for some\u0000$kinmathbb{N}$. As a corollary, we prove that $E_0^{mathbb{N}}$ is a prime\u0000equivalence relation, answering a question on Clemens.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141945532","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Ketonen's question and other cardinal sins","authors":"Assaf Rinot, Zhixing You, Jiachen Yuan","doi":"arxiv-2408.01547","DOIUrl":"https://doi.org/arxiv-2408.01547","url":null,"abstract":"Intersection models of generic extensions obtained from a commutative\u0000projection systems of notions of forcing has recently regained interest,\u0000especially in the study of descriptive set theory. Here, we show that it\u0000provides a fruitful framework that opens the door to solving some open problems\u0000concerning compactness principles of small cardinals. To exemplify, from\u0000suitable assumptions, we construct intersection models satisfying ZFC and any\u0000of the following: 1. There is a weakly compact cardinal $kappa$ carrying an indecomposable\u0000ultrafilter, yet $kappa$ is not measurable. This answers a question of Ketonen\u0000from the late 1970's. 2. For proper class many cardinals $lambda$, the least $lambda$-strongly\u0000compact cardinal is singular. This answers a question of Bagaria and Magidor\u0000who asked for merely two such cardinals. 3. There is a strongly inaccessible cardinal whose $C$-sequence number is a\u0000singular cardinal. This answers a question of Lambie-Hanson and the first\u0000author.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141945530","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Classical determinate truth without induction","authors":"Bartosz Wcisło","doi":"arxiv-2408.01198","DOIUrl":"https://doi.org/arxiv-2408.01198","url":null,"abstract":"Fujimoto and Halbach had introduced a novel theory of type-free truth CD\u0000which satisfies full classical compositional clauses for connectives and\u0000quantifiers. Answering their question, we show that the induction-free variant\u0000of that theory is conservative over Peano Arithmetic.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141945534","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Pinned distances of planar sets with low dimension","authors":"Jacob B. Fiedler, D. M. Stull","doi":"arxiv-2408.00889","DOIUrl":"https://doi.org/arxiv-2408.00889","url":null,"abstract":"In this paper, we give improved bounds on the Hausdorff dimension of pinned\u0000distance sets of planar sets with dimension strictly less than one. As the\u0000planar set becomes more regular (i.e., the Hausdorff and packing dimension\u0000become closer), our lower bound on the Hausdorff dimension of the pinned\u0000distance set improves. Additionally, we prove the existence of small universal\u0000sets for pinned distances. In particular, we show that, if a Borel set\u0000$Xsubseteqmathbb{R}^2$ is weakly regular ($dim_H(X) = dim_P(X)$), and\u0000$dim_H(X) > 1$, then begin{equation*} suplimits_{xin X}dim_H(Delta_x Y) = min{dim_H(Y), 1} end{equation*} for every Borel set $Ysubseteqmathbb{R}^2$. Furthermore, if $X$ is also\u0000compact and Alfors-David regular, then for every Borel set\u0000$Ysubseteqmathbb{R}^2$, there exists some $xin X$ such that begin{equation*} dim_H(Delta_x Y) = min{dim_H(Y), 1}. end{equation*}","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141945535","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
