BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Martin Goldstern

Martin Goldstern appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.LOmath.RA

Catalog footprint

What is connected

18works
2topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2020arXiv

Cichoń's maximum without large cardinals

Cichoń's diagram lists twelve cardinal characteristics (and the provable inequalities between them) associated with the ideals of null sets, meager sets, countable sets, and $σ$-compact subsets of the irrationals. It is consistent that all entries of Cichoń's diagram are pairwise different (apart from $\textrm{add}(\mathcal{M})$ and $\textrm{cof}(\mathcal{M})$, which are provably equal to other entries). However, the consistency proofs so far required large cardinal assumptions. In this work, we show the consistency without such assumptions.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Controlling classical cardinal characteristics while collapsing cardinals

Given a forcing notion $P$ that forces certain values to several classical cardinal characteristics of the reals, we show how we can compose $P$ with a collapse (of a cardinal $λ>κ$ to $κ$) such that the composition still forces the previous values to these characteristics. We also show how to force distinct values to $\mathfrak m$, $\mathfrak p$ and $\mathfrak h$ and also keeping all the values in Cichoń's diagram distint, using the Boolean Ultrapower method of arXiv:1708.03691 . (In arXiv:2006.09826 , the same was done for the newer Cichoń's Maximum construction, which avoids large cardinals.)

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A closed algebra with a non-Borel clone and an ideal with a Borel clone

Algebras on the natural numbers and their clones of term operations can be classified according to their descriptive complexity. We give an example of a closed algebra which has only unary operations and whose clone of term operations is not Borel. Moreover, we provide an example of a coatom in the clone lattice whose obvious definition via an ideal of subsets of natural numbers would suggest that it is complete coanalytic, but which turns out to be a rather simple Borel set.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

Continuous Ramsey theory on Polish spaces and covering the plane by functions

We investigate the Ramsey theory of continuous pair-colorings on complete, separable metric spaces, and apply the results to the problem of covering a plane by functions. The homogeneity number hm(c) of a pair-coloring c:[X]^2 -> 2 is the number of c-homogeneous subsets of X needed to cover X. We isolate two continuous pair-colorings on the Cantor space 2^omega, c_min and c_max, which satisfy hm(c_min)\le hm(c_max) and prove: 1. For every Polish space X and every continuous pair-coloring c:[X]^2 -> 2 with hm(c) uncountable: hm(c)= hm(c_min) or hm(c)=hm(c_max) 2. There is a model of set theory in which hm(c_min)=aleph_1 and hm(c_max)=aleph_2 (The consistency of hm(c_min) = 2^aleph0 and of hm(c_max) < 2^aleph0 is known) We prove that hm(c_min) is equal to the covering number of (2^omega)^2 by graphs of Lipschitz functions and their reflections on the diagonal. An iteration of an optimal forcing notion associated to c_min gives: There is a model of set theory in which 1. R^2 is coverable by aleph1 graphs and reflections of graphs of continuous real functions; 2. R^2 is not coverable by aleph1 graphs and reflections of graphs of Lipschitz real functions.

0 citations0 reviewsNo code linkedOpen access
preprint2000arXiv

Clones on regular cardinals

We investigate the structure of the lattice of clones on an infinite set X. We first observe that ultrafilters naturally induce clones; this yields a simple proof of Rosenberg's theorem: "there are 2^2^kappa many maximal (=precomplete) clones on a set of size kappa." The clones we construct here do not contain all unary functions. We then investigate clones that do contain all unary functions. Using a strong negative partition theorem we show that for many cardinals kappa there are 2^2^kappa many such clones on a set of size kappa. Finally, we show that on a weakly compact cardinal there are exactly 2 maximal clones which contain all unary functions.

0 citations0 reviewsNo code linkedOpen access
preprint1997arXiv

A Partial Order Where All Monotone Maps Are Definable

It is consistent that there is a partial order (P,<) of size aleph_1 such that every monotone (unary) function from P to P is first order definable in (P,<). The partial order is constructed in an extension obtained by finite support iteration of Cohen forcing. The main points is that (1) all monotone functions from P to P will (essentially) have countable range (this uses a Delta-system argument) and (2) that all countable subsets of P will be first order definable, so we have to code these countable sets into the partial order. Amalgamation of finite structures plays an essential role.

0 citations0 reviewsNo code linkedOpen access
preprint1997arXiv

Order polynomially complete lattices must be LARGE

If L is an order polynomially complete lattice, (that is: every monotone function from L^n to L is induced by a lattice-theoretic polynomial) then the cardinality of L is a strongly inaccessible cardinal. In particular, the existence of such lattices is not provable in ZFC, nor from ZFC+GCH. Although the problem originates in algebra, the proof is purely set-theoretical. The main tools are partition and canonisation theorems. It is still open if the existence of infinite o.p.c. lattices can be refuted in ZFC.

0 citations0 reviewsNo code linkedOpen access
preprint1997arXiv

Rules and Reals

A ``k-rule" is a sequence A=((A_n,B_n):n<omega) of pairwise disjoint sets B_n, each of cardinality at most k, where A_n is a subset of B_n. A set X of natural numbers (a ``real'') follows a rule A if for infinitely many n we have that the intersection of X with B_n is exactly A_n. There are obvious cardinal invariants resulting from this definition: the least number of reals needed to follow all k-rules, s_k, and the least number of k-rules without a real following all of them, r_k. We investigate these cardinal invariants and their connection to some well-known cardinals from Cichon's diagram. The original motivation for discovering rules was an attempt to construct a maximal homogeneous family over omega. The consistency of such a family is still open.

0 citations0 reviewsNo code linkedOpen access
preprint1997arXiv

The Complexity of Fuzzy Logic

Lukasiewicz logic is a "fuzzy" logic in which truth value can be real numbers in the unit interval. There are connectives for min, max, addition and complement (1-x). The "value" of a closed formula in a fuzzy (relational model) is defined in the natural way. A formula is called valid iff it has value 1 in every fuzzy model. We show that the set of valid formulas in Lukasiewicz predicate logic is a complete Pi^0_2 set. We also show that if we restrict our attention to the classical language (min, max, complement) then the classically valid formulas are exactly those formulas whose fuzzy value is 1/2.

0 citations0 reviewsNo code linkedOpen access
preprint1995arXiv

A Note on Superamorphous Sets and Dual Dedekind-Infinity

We give a simple example of a set that is weakly Dedekind infinite (= can be mapped onto omega) but dually Dedekind finite (=cannot be mapped noninjectively onto itself), namely, the power set of a superamorphous set. (A infinite set is superamorphous if all finitary relations on it are definable in the language of equality.) We also show that the property of "inexhaustibility" is not closed under supersets unless the full axiom of choice holds.

0 citations0 reviewsNo code linkedOpen access
preprint1995arXiv

The Bounded Proper Forcing Axiom

The bounded proper forcing axiom BPFA is the statement that for any family of aleph_1 many maximal antichains of a proper forcing notion, each of size aleph_1, there is a directed set meeting all these antichains. A regular cardinal kappa is called {Sigma}_1-reflecting, if for any regular cardinal chi, for all formulas phi, ``H(chi) models `phi ' '' implies ``exists delta < kappa, H(delta) models `phi ' '' We show that BPFA is equivalent to the statement that two nonisomorphic models of size aleph_1 cannot be made isomorphic by a proper forcing notion, and we show that the consistency strength of the bounded proper forcing axiom is exactly the existence of a Sigma_1-reflecting cardinal (which is less than the existence of a Mahlo cardinal). We also show that the question of the existence of isomorphisms between two structures can be reduced to the question of rigidity of a structure.

0 citations0 reviewsNo code linkedOpen access