| The strength of compactness in Computability Theory and Nonstandard Analysis |
4 |
| Finite computable dimension and degrees of categoricity |
4 |
| Jumps of computably enumerable equivalence relations |
4 |
| Definable E-0 classes at arbitrary projective levels |
4 |
| Modularity results for interpolation, amalgamation and superamalgamation |
3 |
| Small embedding characterizations for large cardinals |
3 |
| Vaught's conjecture for weakly o-minimal theories of convexity rank 1 |
3 |
| Negation and partial axiomatizations of dependence and independence logic revisited |
3 |
| Algorithmic correspondence and canonicity for non-distributive logics |
3 |
| The tree property at the double successor of a singular cardinal with a larger gap |
3 |
| Categories of models of R-mingle |
2 |
| Fixed points of self-embeddings of models of arithmetic |
2 |
| Capturing k-ary existential second order logic with k-ary inclusion-exclusion logic |
2 |
| An analysis of the logic of Riesz spaces with strong unit |
2 |
| Characterizations of pretameness and the Ord-cc |
2 |
| A representation theorem for measurable relation algebras |
2 |
| Beyond abstract elementary classes: On the model theory of geometric lattices |
1 |
| The tree property at double successors of singular cardinals of uncountable cofinality |
1 |
| Wild theories with o-minimal open core |
1 |
| Topology and measure in logics for region-based theories of space |
1 |
| First order logic without equality on relativized semantics |
1 |
| Reasoning about proof and knowledge |
1 |
| On modal logics arising from scattered locally compact Hausdorff spaces |
1 |
| Functoriality and uniformity in Hrushovski's groupoid-cover correspondence |
1 |
| Generic expansion and Skolemization in NSOP1 theories |
1 |
| Direct twisted Galois stratification |
1 |
| Provability logic and the completeness principle |
1 |
| Multicomponent proof-theoretic method for proving interpolation properties |
1 |
| A cubical model of homotopy type theory |
1 |
| Tarski's theorem on intuitionistic logic, for polyhedra |
1 |
| Intuitionistic nonstandard bounded modified realisability and functional interpretation |
1 |
| A note on non-classical nonstandard arithmetic |
1 |
| Isolated maximal d.r.e. degrees |
1 |
| Equivalence of bar induction and bar recursion for continuous functions with continuous moduli |
1 |
| Model theoretic dynamics in Galois fashion |
1 |
| On the complexity of the Leibniz hierarchy |
1 |
| Reverse Mathematics and parameter-free Transfer |
1 |
| Reductions between types of numberings |
1 |
| What does a group algebra of a free group know about the group? |
1 |
| Elementary equivalence of rings with finitely generated additive groups |
1 |
| Uniform interpolation and the existence of sequent calculi |
1 |
| Descriptive complexity of graph spectra |
1 |
| The Sigma(l) -provability logic of HA |
1 |
| On constructivity and the Rosser property: a closer look at some Godelean proofs |
1 |
| Ehrenfeucht-Fraisse games on ordinals |
1 |
| The Dyck and the Preiss separation uniformly |
0 |
| A multiplication operation for the hierarchy of norms |
0 |
| New-from-old full dualities via axiomatisation |
0 |
| Elementary equivalences and accessible functors |
0 |
| From realizability to induction via dependent intersection |
0 |
