Green Journals

EXISTENTIALLY CLOSED MODELS AND LOCALLY ZERO-DIMENSIONAL TOPOSES

MARK KAMSMA, JOSHUA WRIGLEY

2026-10-21 Pages 1-35

DOI: 10.1017/jsl.2026.10260

FORMALIZATION OF NON-ARCHIMEDEAN FUNCTIONAL ANALYSIS 1: SPHERICALLY COMPLETE SPACES

YIJUN YUAN

2026-10-21 Pages 1-31

DOI: 10.1017/jsl.2026.10251

RESULTS ON COLORED TREE PROPERTIES

GABRIEL DAY

2026-10-16 Pages 1-25

DOI: 10.1017/jsl.2026.10257

DIAMONDS AND DOMINOES: IMPOSSIBILITY RESULTS FOR ASSOCIATIVE MODAL LOGICS

SØREN BRINCK KNUDSTORP

2026-10-15 Pages 1-26

DOI: 10.1017/jsl.2026.10256

COUNTABLE STATIONARY TOWERS AND REFLECTION PRINCIPLES

YO MATSUBARA, TOSHIMICHI USUBA

2026-10-15 Pages 1-11

DOI: 10.1017/jsl.2026.10259

A NOTE ON UNIFORM CONTINUITY OF MONOTONE FUNCTIONS

ROMAN POL, PIOTR ZAKRZEWSKI, LYUBOMYR ZDOMSKYY

2026-10-15 Pages 1-8

DOI: 10.1017/jsl.2026.10254

EXTENDING CONCEPTUAL COMPLETENESS VIA VIRTUAL ULTRACATEGORIES

GABRIEL SAADIA

2026-10-15 Pages 1-42

DOI: 10.1017/jsl.2026.10252

ON THE CLASSIFICATION OF DEFINABLE CCC FORCING NOTIONS

MOHAMMAD GOLSHANI, HAIM HOROWITZ, SAHARON SHELAH

2026-9-30 Pages 1-22

DOI: 10.1017/jsl.2026.10253

FIBRED SETS WITHIN A PREDICATIVE AND CONSTRUCTIVE EFFECTIVE TOPOS

CIPRIANO JUNIOR CIOFFO, MARIA EMILIA MAIETTI, SAMUELE MASCHIO

2026-9-29 Pages 1-30

DOI: 10.1017/jsl.2026.10249

KNOCKING DOWN BOXES: THE FMP FOR <mml:math xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mnf="http://cambridge.org/core/manifest" xmlns:cup="http://contentservices.cambridge.org" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:m="http://cambridge.org/core/metadata" xmlns:core="http://cambridge.org/core" xmlns:c="http://cambridge.org/core/content" display="inline"> <mml:mrow> <mml:mi mathvariant="bold">K</mml:mi> </mml:mrow> <mml:mo>⊕</mml:mo> <mml:msup> <mml:mi>◻</mml:mi> <mml:mrow> <mml:mi>m</mml:mi> <mml:mo>+</mml:mo> <mml:mi>k</mml:mi> </mml:mrow> </mml:msup> <mml:mi>p</mml:mi> <mml:mo stretchy="false" accent="false">→</mml:mo> <mml:msup> <mml:mi>◻</mml:mi> <mml:mi>m</mml:mi> </mml:msup> <mml:mi>p</mml:mi> </mml:math> $\mathbf {K}\oplus \Box ^{m+k} p\to \Box ^m p$ bold upper K circled plus white medium square Superscript m plus k Baseline p right arrow white medium square Superscript m Baseline p

SØREN BRINCK KNUDSTORP

2026-9-18 Pages 1-14

DOI: 10.1017/jsl.2026.10248

Year	A+	A	B	C
2026			✓
2025
2024
2023
2021/2022
2020
2019
2018

Journal Report

Journal Information

Classification History

Recent Articles