| Factorials and the finite sequences of sets |
2 |
| A remark on pseudo proof systems and hard instances of the satisfiability problem |
2 |
| Remarks on the NIP in a model |
2 |
| Extending paraconsistent quantum logic: a single-antecedent/succedent system approach |
1 |
| Inner mantles and iterated HOD |
1 |
| Measurable cardinals and good sigma 1()-wellorderings |
1 |
| The axiom of determinacy implies dependent choice in mice |
1 |
| Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes |
1 |
| Clubs on quasi measurable cardinals |
1 |
| On the universality of the nonstationary ideal |
1 |
| On definability of types and relative stability |
1 |
| Some properties of infinite factorials |
1 |
| Complete L omega omega-sentences with maximal models in multiple cardinalities |
1 |
| Jump inversions of algebraic structures and sigma-definability |
1 |
| The first omitting cardinal for Magidority |
1 |
| On the relative strengths of fragments of collection |
0 |
| Indivisible sets and well-founded orientations of the Rado graph |
0 |
| An intuitionistic formula hierarchy based on high-school identities |
0 |
| Distal and non-distal behavior in pairs |
0 |
| Algebraic numbers with elements of small height |
0 |
| Reductions on equivalence relations generated by universal sets |
0 |
| Degrees of categoricity of trees and the isomorphism problem |
0 |
| Hall's universal group has ample generic automorphisms |
0 |
| A variant of Shelah's characterization of Strong Chang's Conjecture |
0 |
| Pseudo-c-archimedean and pseudo-finite cyclically ordered groups |
0 |
| Souslin trees at successors of regular cardinals |
0 |
| Reverse mathematics of the finite downwards closed subsets of Nk ordered by inclusion and adjacent Ramsey for fixed dimension |
0 |
| Formally continuous functions on Baire space |
0 |
| Maximality of linear continuous logic |
0 |
| A note on decidability of variables in intuitionistic propositional logic |
0 |
| A note on the deductive strength of the Nielsen-Schreier theorem |
0 |
| Bounded Namba forcing axiom may fail |
0 |
| On differential Galois groups of strongly normal extensions |
0 |
| On elimination of quantifiers in some non-classical mathematical theories |
0 |
| When does every definable nonempty set have a definable element? |
0 |
| On cardinal characteristics of Yorioka ideals |
0 |
| The cofinality of the least Berkeley cardinal and the extent of dependent choice |
0 |
| Some forms of excluded middle for linear orders |
0 |
| Rigid models of Presburger arithmetic |
0 |
| Los's theorem and the axiom of choice |
0 |
| Generalised pseudointersections |
0 |
| Neutrally expandable models of arithmetic |
0 |
| pi 11-Martin-Lof randomness and pi 11-Solovay completeness |
0 |
| The small-is-very-small principle |
0 |
| Parametric Presburger arithmetic: complexity of counting and quantifier elimination |
0 |
| Normal forms, linearity, and prime algebraicity over nonflat domains |
0 |
| Generic I0 at aleph(omega) |
0 |
| The tree property and the continuum function below aleph(omega) |
0 |
| Bishop's Lemma |
0 |
| On the finite axiomatizability of for all(Sigma)over-cap(1)(b)((R)over-cap(2)(1)) |
0 |
