We prove that every usco multimap \(\varPhi :X\rightarrow Y\) from a metrizable separable space X to a GO-space Y has an \(F_\sigma \)-measurable selection. On the other hand, for the split interval \({\ddot{\mathbb I}}\) and the projection \(P:{{\ddot{\mathbb I}}}^2\rightarrow \mathbb I^2\) of its square onto the unit square \(\mathbb I^2\), the usco multimap \({P^{-1}:\mathbb I^2\multimap {{\ddot{\mathbb

We use the compactness theorem of continuous logic to give a new proof that \(L^r([0,1]; {\mathbb {R}})\) isometrically embeds into \(L^p([0,1]; {\mathbb {R}})\) whenever \(1 \le p \le r \le 2\). We will also give a proof for the complex case. This will involve a new characterization of complex \(L^p\) spaces based on Banach lattices.

We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.

We introduce the Easton collapse and show that the two-stage iteration of Easton collapses gives a model in which the successor of a regular cardinal carries a strongly saturated filter. This allows one to get a model in which many successor cardinals carry saturated filters just by iterating Easton collapses.

The paper aims at studying, in full generality, logics defined by imposing a variable inclusion condition on a given logic \(\vdash \). We prove that the description of the algebraic counterpart of the left variable inclusion companion of a given logic \(\vdash \) is related to the construction of Płonka sums of the matrix models of \(\vdash \). This observation allows to obtain a Hilbert-style axiomatization

This note concerns the model theoretic properties of logics extending the first-order logic with monadic (weak) second-order variables equipped with the stationarity quantifier. The eight variations of the strong downward Löwenheim–Skolem Theorem (SDLS) down to \(<\aleph _2\) for this logic with the interpretation of second-order variables as countable subsets of the structures are classified into

We show that assuming the determinacy of all games on reals, every set of reals is \(\Theta \) universally baire.

The interplay between ultrafilters and unbounded subsets of \({}^\omega \omega \) with the order \(<^*\) of strict eventual domination is studied. Among the tools are special kinds of non-principal (“free”) ultrafilters on \(\omega \). These include simple P-points; that is, ultrafilters with a base that is well-ordered with respect to the reverse of the order \(\subset ^*\) of almost inclusion. It

The model companion of the theory of fields with valuation and automorphism (of the pure field structure) exists. A counterexample shows that the theory of models of ACFA equipped with valuation is not this model companion.

We investigate the classes of ideals for which the Egoroff’s theorem or the generalized Egoroff’s theorem holds between ideal versions of pointwise and uniform convergences. The paper is motivated by considerations of Korch (Real Anal Exchange 42(2):269–282, 2017).

We introduce a new formulation of the axiom of dependent choice, which can be viewed as an abstract termination principle that in particular generalises recursive path orderings, the latter being fundamental tools used to establish termination of rewrite systems. We consider several variants of our termination principle, and relate them to general termination theorems in the literature.

We study variants of Buss’s theories of bounded arithmetic axiomatized by induction schemes disallowing the use of parameters, and closely related induction inference rules. We put particular emphasis on \(\hat{\varPi }^{b}_i\) induction schemes, which were so far neglected in the literature. We present inclusions and conservation results between the systems (including a witnessing theorem for \(T^i_2\)

For a computable structure \({\mathcal {A}}\), if there is a computable infinitary Scott sentence, then the complexity of this sentence gives an upper bound for the complexity of the index set \(I({\mathcal {A}})\). If we can also show that \(I({\mathcal {A}})\) is m-complete at that level, then there is a correspondence between the complexity of the index set and the complexity of a Scott sentence

We prove that Martin’s Axiom implies the existence of a Cohen-indestructible mad family such that the Mathias forcing associated to its filter adds dominating reals, while \(\mathfrak b=\mathfrak c\) is consistent with the negation of this statement as witnessed by the Laver model for the consistency of Borel’s conjecture.

Suppose \(p \ge 1\) is a computable real. We extend previous work of Clanin, Stull, and McNicholl by determining the degrees of categoricity of the separable \(L^p\) spaces whose underlying measure spaces are atomic but not purely atomic. In addition, we ascertain the complexity of associated projection maps.

In his seminal paper introducing the fine structure of L, Jensen (Ann Math Log 4:229–308, 1972) proved that under \(V=L\) any regular cardinal that reflects stationary sets is weakly compact. In this paper we give a new proof of Jensen’s result that is straight-forward and accessible to those without a knowledge of Jensen’s fine structure theory. The proof here instead uses hyperfine structure, a very

We show that if the structural rules are admissible over a set \(\mathcal{R}\) of atomic rules, then they are admissible in the sequent calculus obtained by adding the rules in \(\mathcal{R}\) to the multisuccedent minimal and intuitionistic \(\mathbf{G3}\) calculi as well as to the classical one. Two applications to pure logic and to the sequent calculus with equality are presented.

We investigate uncountable maximal antichains of perfect trees and of splitting trees. We show that in the case of perfect trees they must have size of at least the dominating number, whereas for splitting trees they are of size at least \(\mathsf {cov}(\mathcal {M})\), i.e. the covering coefficient of the meager ideal. Finally, we show that uncountable maximal antichains of superperfect trees are

Infinite time Turing machines represent a model of computability that extends the operations of Turing machines to transfinite ordinal time by defining the content of each cell at limit steps to be the \(\limsup \) of the sequences of previous contents of that cell. In this paper, we study a computational model obtained by replacing the \(\limsup \) rule with an ‘eventually constant’ rule: at each

It is proved to be consistent relative to a measurable cardinal that there is a uniform ultrafilter on the real numbers which is generated by fewer than the maximum possible number of sets. It is also shown to be consistent relative to a supercompact cardinal that there is a uniform ultrafilter on \({\aleph }_{\omega +1}\) which is generated by fewer than \({2}^{{\aleph }_{\omega +1}}\) sets.

Let T be a simple L-theory and let \(T^-\) be a reduct of T to a sublanguage \(L^-\) of L. For variables x, we call an \(\emptyset \)-invariant set \(\Gamma (x)\) in \({\mathcal {C}}\) a universal transducer if for every formula \(\phi ^-(x,y)\in L^-\) and every a, $$\begin{aligned} \phi ^-(x,a)\ L^-\text{-forks } \text{ over }\ \emptyset \ \text{ iff } \Gamma (x)\wedge \phi ^-(x,a)\ L\text{-forks

We consider whether given a simple, finite description of a group in the form of an algorithm, it is possible to algorithmically determine if the corresponding group has some specified property or not. When there is such an algorithm, we say the property is recursively recognizable within some class of descriptions. When there is not, we ask how difficult it is to detect the property in an algorithmic

We consider two variants of transfinite induction, one with monotonicity assumption on the predicate and one with the induction hypothesis only for cofinally many below. The latter can be seen as a transfinite analogue of the successor induction, while the usual transfinite induction is that of cumulative induction. We calculate the supremum of ordinals along which these schemata for \(\varDelta _0\)

In this note the proof-theoretic ordinal of the well-ordering principle for the normal functions \(\mathsf {g}\) on ordinals is shown to be equal to the least fixed point of \(\mathsf {g}\). Moreover corrections to the previous paper (Arai in Arch Math Log 57:649–664, 2017) are made.