Archive for Mathematical Logic

Article	Citations
The Nikodym property and filters on $$\omega $$	6
Independent families and some notions of finiteness	5
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures	5
Correction: Symétrons et K-boucles $$\omega$$-stables	5
Results in model theory for Riesz-valued structures	5
Algebraic semantics for weak subintuitionistic logic WF	3
Approximate categoricity in continuous logic	3
The structure of $$\kappa $$-maximal cofinitary groups	3
Generalization of Shapiro’s theorem to higher arities and noninjective notations	3
Filter pairs and natural extensions of logics	3
Relativized Galois groups of first order theories over a hyperimaginary	3
Variations on the Feferman-Vaught theorem, with applications to $$\prod _p \mathbb {F}_p$$	3
Correction to: Generalization of Shapiro’s theorem to higher arities and noninjective notations	2
The algebra of ordinary discourse. On the semantics of Cooper’s logic	2
Nonvanishing derived limits without scales	2
Limits on forcing axioms at $$\omega _2$$ compatible with the continuum hypothesis	2
Around accumulation points and maximal sequences of indiscernibles	2
Undecidability of indecomposable polynomial rings	2
Computable approximations of a chainable continuum with a computable endpoint	2
L-domains as locally continuous sequent calculi	2
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness	2
Conjunctions of exponential diophantine equations over $${\mathbb {Q}}$$	2
Complexity of $$\Sigma ^0_n$$-classifications for definable subsets	2
Computable scott sentences for quasi–Hopfian finitely presented structures	2
$$sQ_1$$-degrees of computably enumerable sets	1

Random structures and automorphisms with a single orbit	1
Slender trees and the approximation property	1
Mathias and silver forcing parametrized by density	1
Bounded forcing axioms and weak genericity	1
Siblings of direct sums of chains	1
Towards a homotopy domain theory	1
Computability of a whitney extension	1
Separablilty of metric measure spaces and choice axioms	1
Positive logics	1
Tameness in generalized metric structures	1
Essential hereditary undecidability	1
Turing degrees and randomness for continuous measures	1
Apartness and the elimination of strong forms of extensionality	1
On two consequences of CH established by Sierpiński. II	1
Compositional truth with propositional tautologies and quantifier-free correctness	1
Bounded symbiosis and upwards reflection	1
On the non-measurability of $$\omega $$-categorical Hrushovski constructions	1
Spectral MV-algebras and equispectrality	1
On Hilbert’s “geometric” tenth problem for odd characteristic function fields	1
Restricted analytic valued fields with partial exponentiation	1
The construction principle and non homogeneity of uncountable relatively free groups	1
Another method to add a closed unbounded set of former regulars	1
Game-theoretic variants of splitting number	1
On sequential theorems in Reverse Mathematics	1
Preservation properties for products and sums of metric structures	1
Pathology of submeasures and $$F_{\sigma }$$ ideals	1
An algebraic investigation of Linear Logic	1
On the hierarchy of linearity axioms	0
Second order arithmetic as the model companion of set theory	0
A topological completeness theorem for transfinite provability logic	0
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse	0
A syntactic approach to Borel functions: some extensions of Louveau’s theorem	0
Borel complexity of families of finite equivalence relations via large cardinals	0
Bachmann–Howard derivatives	0
Degrees of relations on canonically ordered natural numbers and integers	0
Homogeneity, P-like properties of ideals and orders between ideals	0
Convergence of measures after adding a real	0
There may be exactly n Q-points	0
Structure of semisimple rings in reverse and computable mathematics	0
On computable numberings of families of Turing degrees	0
On countably closed mutually embeddable models	0
Involutive symmetric Gödel spaces, their algebraic duals and logic	0
On the consistency strength of critical leaps	0
Towers, mad families, and unboundedness	0
Stably embedded submodels of Henselian valued fields	0
Dominating numbers at singular cardinals	0
Infinite combinatorics revisited in the absence of Axiom of choice	0
On undecidability of the propositional logic of an associative binary modality	0
Binary choice games and arithmetical comprehension	0
Cohesive powers of structures	0

Ranks based on strong amalgamation Fraïssé classes	0
Maximal Tukey types, P-ideals and the weak Rudin–Keisler order	0
Some implications of Ramsey Choice for families of $$\varvec{n}$$-element sets	0
The Josefson–Nissenzweig theorem and filters on $$\omega $$	0
Weak essentially undecidable theories of concatenation, part II	0
Definable Tietze extension property in o-minimal expansions of ordered groups	0
Fragments of IOpen	0
Regressive versions of Hindman’s theorem	0
The provably total functions of basic arithmetic and its extensions	0
Sets of real numbers closed under Turing equivalence: applications to fields, orders and automorphisms	0
Vector spaces with a union of independent subspaces	0
Cardinal invariants associated with Hausdorff measures	0
On forcing over $$L(\mathbb {R})$$	0
On ultrafilters in ZF models and indecomposable ultrafilters	0
On categoricity of scattered linear orders of constructive ranks	0
Punctually presented structures II: comparing presentations	0
The Tarski–Lindenbaum algebra of the class of strongly constructivizable models with $$\omega $$-stable theories	0
Ordered abelian groups that do not have elimination of imaginaries	0
Prenex normalization and the hierarchical classification of formulas	0
A criterion for the strong cell decomposition property	0
Pcf without choice Sh835	0
An AEC framework for fields with commuting automorphisms	0
On the complexity of the theory of a computably presented metric structure	0
On the extendability to $$\mathbf {\Pi }_3^0$$ ideals and Katětov order	0
Symétrons et K-boucles $$\omega $$-stables	0
A Mathias criterion for the Magidor iteration of Prikry forcings	0
Free subsets in internally approachable models	0
Definability in affine logic	0
Revisiting the conservativity of fixpoints over intuitionistic arithmetic	0
Categories and functors in reverse and computable mathematics	0
Models of $${{\textsf{ZFA}}}$$ in which every linearly ordered set can be well ordered	0
Games characterizing certain families of functions	0
Semi-honest subrecursive degrees and the collection rule in arithmetic	0
The SB-property on metric structures	0
Big Ramsey degrees in universal inverse limit structures	0
Correction to: Towers, mad families, and unboundedness	0
Cut elimination for coherent theories in negation normal form	0
An infinitary propositional probability logic	0
Quantifier-free induction for lists	0
On the hausdorff dimension of maximal chains and antichains of turing and hyperarithmetic degrees	0
Generalized cardinal invariants for an inaccessible $$\kappa $$ with compactness at $$\kappa ^{++}$$	0
Glivenko–Cantelli classes and NIP formulas	0
Monotonicity of the ultrafilter number function	0
Herbrand schemes for first-order logic	0
Open filters and measurable cardinals	0
The Fan Theorem, its strong negation, and the determinacy of games	0
Questions on cardinal invariants of Boolean algebras	0
On the non-existence of $$\kappa $$-mad families	0
Generic existence of interval P-points	0
Consistency and interpolation in linear continuous logic	0
An ordinal-connection axiom as a weak form of global choice under the GCH	0
What would the rational Urysohn space and the random graph look like if they were uncountable?	0
Correspondence of Contradictions in the Constructive Connexive Calculus C	0
The extent of saturation of induced ideals	0
Glivenko sequent classes and constructive cut elimination in geometric logics	0
Reinhardt cardinals and eventually dominating functions	0
Herbrandized modified realizability	0
Logical complexity of reducts of elementary algebraic classes	0
Small measurable cardinals	0
Different covering numbers of compact tree ideals	0
On the theory of epistemic Łukasiewicz logic corresponding to the Chang algebra with application in Immune system	0
Wellfoundedness proof with the maximal distinguished set	0
Constructivity conditions on immune sets	0
Relative model completeness of henselian valued fields with finite ramification and various value groups	0
The axiom of choice in metric measure spaces and maximal $$\delta $$-separated sets	0
Indiscernibles and satisfaction classes in arithmetic	0
On the $$\Sigma ^0_1$$-fragments of the Kreisel-Putnam axiom and two variants of the linearity axiom in intuitionistic arithmetic and analysis	0
A characterization of strongly computable finite factorization domains	0
Errata: on the role of the continuum hypothesis in forcing principles for subcomplete forcing	0
Superrosiness and dense pairs of geometric structures	0
On diagonal functions for equivalence relations	0
Countable homogeneous ordered bipartite graphs	0
Bounded distributive lattices with strict implication and weak difference	0
A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space	0
Extending antichains in the poset $$\langle [\omega ]^{<\omega },\subseteq \rangle $$	0
Positive indiscernibles	0
Around the Eggleston Theorem	0
On some $$\Sigma ^{B}_{0}$$-formulae generalizing counting principles over $$V^{0}$$	0
On the rigidity of Souslin trees and their generic branches	0
Intuitionistic sets and numbers: small set theory and Heyting arithmetic	0

Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities	0
Ideals with Smital properties	0
A few more dissimilarities between second-order arithmetic and set theory	0
Herbrand complexity and the epsilon calculus with equality	0
Generalized Tukey reducibility between $$\sigma $$-directed sets	0
Recursive Polish spaces	0
The additive structure of integers with the lower Wythoff sequence	0
Failure of cut-elimination in cyclic-proof systems of logic of bunched implications with inductive propositions	0
On absorption’s formula definable semigroups of complete theories	0
A general approach to asymptotic elimination of aggregation functions and generalized quantifiers	0
The externally definable Ramsey property and fixed points on type spaces	0
Cut elimination by unthreading	0
Square compactness and Lindelöf trees	0
The adjacent Hindman’s Theorem and the $$\mathbb Z$$-Ramsey’s Theorem	0
Varieties of truth definitions	0
Reflection ranks via infinitary derivations	0
On Harrop disjunction property in intermediate predicate logics	0
The small index property for countable superatomic boolean algebras	0
Katětov order between Hindman, Ramsey and summable ideals	0
On the topological dynamics of automorphism groups: a model-theoretic perspective	0
On two consequences of CH established by Sierpiński	0
Effective weak and vague convergence of measures on the real line	0
Characterization of subdirectly irreducible heyting algebras with negative tense operators	0
Indestructibility and the linearity of the Mitchell ordering	0
On algebraic sums, trees and ideals in the Baire space	0
Axiomatizing modal inclusion logic and its variants	0
The second-order version of Morley’s theorem on the number of countable models does not require large cardinals	0
The fixed point and the Craig interpolation properties for sublogics of $$\textbf{IL}$$	0
Constructible structures and constructible open cores	0