Title Titel
Journal of Symbolic Logic
 
e-ISSN
1943-5886
 
ISSN
0022-4812
 
Publisher Herausgeber
CAMBRIDGE UNIV PRESS
 

Publications Publikationen

Results 1-20 of 32 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1CIABATTONI, AGATA ; LANG, TIMO ; RAMANAYAKE, REVANTHA Bounded-analytic sequent calculi and embeddings for hypersequent logics.Artikel Article 2021
2Lücke, Philipp ; Müller, Sandra Closure properties of measurable ultrapowers.Artikel Article 2021
3KELLNER, JAKOB ; TĂNASIE, ANDA RAMONA ; TONTI, FABIO ELIO Compact Cardinals and Eight Values in Cichon's DiagramArtikel Article 2018
4LEIGH, GRAHAM E. Conservativity for theories of compositional truth via cut eliminationArtikel Article2015
5Aguilera, Juan P. ; Müller, Sandra The Consistency Strength of Long Projective DeterminacyArtikel Article 2020
6Pinsker, Michael ; Mottet, Antoine Cores over Ramsey StructuresArtikel Article 2021
7Asperó, David ; Friedman, Sy-David Definable well-orders of H(ω2) and GCHArtikel Article 2012
8ROSSEGGER, DINO Degree Spectra of Analytic Complete Equivalence Relations.Artikel Article 2021
9AGUILERA, J. P. Fσ Games And Reflection In L(ℝ)Artikel Article 2020
10ASCHIERI, FEDERICO Game semantics and the geometry of backtracking: a new complexity analysis and interactionArtikel Article 2017
11Müller, Sandra ; Sargsyan, Grigor HOD in inner models with Woodin cardinals.Artikel Article 2021
12Beckmann, Arnold ; Preining, Norbert Linear Kripke frames and Gödel logicsArtikel Article2007
13FOKINA, EKATERINA ; KHOUSSAINOV, BAKHADYR ; SEMUKHIN, PAVEL ; TURETSKY, DANIEL Linear orders realized by c.e. equivalence relationsArtikel Article 2016
14Farkas-2023-Journal of Symbolic Logic-vor.pdf.jpgFarkas, Barnabas ; Klausner, Lukas Daniel ; Lischka, Marc More on halfway new cardinal characteristicsArticle Artikel 2023
15Baaz, Matthias ; Hetzl, Stefan ; Weller, Daniel On the complexity of proof deskolemizationArtikel Article2012
16Baaz, Matthias ; Hetzl, Stefan On the non-confluence of cut-eliminationArtikel Article2011
17Terwijn, Sebastiaan A. On the structure of the Medvedev latticeArtikel Article2008
18Kellner, Jakob ; Shelah, Saharon Presering preservationArtikel Article2005
19Pinsker, Michael ; Bodirsky, Manuel ; Pongrácz, Andras Projective Clone HomomorphismsArtikel Article 2021
20AGUILERA, J. P. ; BLUE, D. W. Provably Δ₁ GamesArtikel Article 2020