default search action
The Journal of Symbolic Logic, Volume 84
Volume 84, Number 1, March 2019
- Rachid Atmai:
AN ANALYSIS OF THE MODELS $L[T_{2n} ]$. 1-26 - Dominik Adolf, Grigor Sargsyan:
Derived Models of mice below the least Fixpoint of the Solovay sequence. 27-53 - Erich Grädel, Wied Pakusa:
Rank Logic is dead, Long Live Rank Logic! 54-87 - Ruiyuan Chen
:
Amalgamable Diagram Shapes. 88-101 - Juan P. Aguilera
Unsound Inferences Make Proofs Shorter. 102-122 - Asaf Karagila
Iterating Symmetric Extensions. 123-159 - Sonia L'Innocente, Françoise Point, Gennadi Puninski, Carlo Toffalori:
The Ziegler spectrum of the Ring of entire Complex Valued Functions. 160-177 - Arthur W. Apter, James Cummings
Normal Measures on a Tall cardinal. 178-204 - Antonio Montalbán, James Walsh:
On the Inevitability of the Consistency operator. 205-225 - Sato Kentaro:
A note on Predicative Ordinal Analysis I: Iterated Comprehension and Transfinite Induction. 226-265 - Vladimir Kanovei
Definable Minimal collapse Functions at Arbitrary Projective Levels. 266-289 - John S. Wilson:
Components and Minimal Normal Subgroups of finite and pseudofinite Groups. 290-300 - Stamatis Dimopoulos:
Woodin for Strong compactness Cardinals. 301-319 - Omer Ben-Neria:
On singular stationarity II (Tight stationarity and Extenders-based Methods). 320-342 - Fedor Pakhomov
On a Question of Krajewski's. 343-358 - Jan Grebík
Bases and Borel Selectors for Tall families. 359-375 - Chi Tat Chong, Liuzhen Wu, Liang Yu:
BASIS THEOREMS FOR ${\rm{\Sigma }}_2^1$ -SETS. 376-387 - Nicholas Ramsey
A note on Nsop1 in One variable. 388-392 - Laurent Bienvenu, Christopher P. Porter:
On the Interplay between Effective Notions of Randomness and Genericity. 393-407 - Dan Saattrup Nielsen
Games and Ramsey-like Cardinals. 408-437
Volume 84, Number 2, June 2019
- Rajeev Goré, Jimmy Thomson:
A Correct Polynomial Translation of S4 into intuitionistic Logic. 439-451 - Jaroslav Nesetril, Patrice Ossona de Mendez
Existence of Modeling Limits for sequences of Sparse Structures. 452-472 - Jing Zhang:
A Tail cone Version of the Halpern-läUchli Theorem at a Large cardinal. 473-496 - Wolfgang Merkle, Liang Yu:
Being low along a sequence and elsewhere. 497-516 - Dominique Lecomte:
A separation Result for Countable Unions of Borel Rectangles. 517-532 - Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter
Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators. 533-588 - Kameryn J. Williams:
Minimum Models of second-order Set Theories. 589-620 - Yair Hayut
DESTRUCTIBILITY OF THE TREE PROPERTY AT ${\aleph _{\omega + 1}}$. 621-631 - Eran Alouf, Christian D'elbée:
A New DP-Minimal Expansion of the Integers. 632-663 - Elitzur Bar-Yehuda, Assaf Hasson
A Theory of Pairs for non-valuational Structures. 664-683 - Thomas Gilton, John Krueger:
The Harrington-Shelah Model with Large continuum. 684-703 - Ulla Karhumäki:
Definably Simple stable Groups with Finitary Groups of automorphisms. 704-712 - Sherwood Hachtman, Dima Sinapova:
Itp, ISP, and SCH. 713-725 - Takayuki Kihara
On a Metric Generalization of the TT-Degrees and Effective Dimension Theory. 726-749 - Gabriel Conant
Independence in Generic incidence Structures. 750-780 - Maya Saran:
Gδ Sets in σ-ideals Generated by Compact Sets. 781-797 - Paul Kindvall Gorbow:
Algebraic New Foundations. 798-832 - Levon Haykazyan:
Spaces of Types in positive Model Theory. 833-848 - Evgeny Kolmakov, Lev D. Beklemishev:
Axiomatization of Provable n-Provability. 849-869 - Joan Rand Moschovakis:
Markov's Principle and Subsystems of intuitionistic Analysis. 870-876
Volume 84, Number 3, September 2019
- Giorgio Laguzzi:
Uncountable Trees And Cohen $\kappa$-Reals. 877-894 - Miha E. Habic:
Joint Diamonds and Laver Diamonds. 895-928 - Ivan Di Liberti
Weak saturation and Weak Amalgamation Property. 929-936 - Tingxiang Zou:
Pseudofinite H-Structures and Groups Definable in Supersimple H-Structures. 937-956 - Yatir Halevi, Daniel Palacín
The DP-Rank of Abelian Groups. 957-986 - Léo Jimenez
Groupoids and Relative Internality. 987-1006 - Danul K. Gunatilleka:
Countable Models of the Theories of Baldwin-Shi hypergraphs and their Regular Types. 1007-1019 - Ian Pratt-Hartmann
The Fluted Fragment Revisited. 1020-1048 - Reese Johnston:
Computability in uncountable Binary Trees. 1049-1098 - Quentin Brouette, Pablo Cubides Kovacsics, Françoise Point
Strong density of Definable Types and closed Ordered differential Fields. 1099-1117 - Mohammad Ardeshir, S. Mojtaba Mojtahedi
THE ${\text{\Sigma }}_1 $ -PROVABILITY LOGIC OF $HA^{\text{*}} $. 1118-1135 - Pietro Galliani:
Characterizing Downwards closed, strongly First-order, Relativizable Dependencies. 1136-1167 - Byunghan Kim:
On the number of Countable Models of a Countable Nsop1 Theory without weight ω. 1168-1175 - David J. Fernández-Bretón
STABLE ORDERED UNION ULTRAFILTERS AND cov $\left( \mathcal{M} \right) < \mathfrak{c}$. 1176-1193 - Javier Utreras:
Interpreting Arithmetic in the First-order Theory of Addition and Coprimality of Polynomial Rings. 1194-1214 - Enrique Casanovas
Universal Theories and compactly Expandable Models. 1215-1223 - Gabriel Debs, Jean Saint-Raymond:
The Game operator Acting on Wadge Classes of Borel Sets. 1224-1239 - Simon Henry:
An Abstract Elementary Class Nonaxiomatizable In ${L_{\infty , \kappa }}$. 1240-1251 - Jorge Cely, Michel Raibaut:
On the Commutativity of pull-Back and Push-Forward Functors on Motivic Constructible Functions. 1252-1278 - Kyle Gannon:
Local Keisler Measures and NIP Formulas. 1279-1292
Volume 84, Number 4, December 2019
- Dhruv Mubayi, Caroline Terry
Discrete Metric Spaces: Structure, Enumeration, and 0-1 Laws. 1293-1325 - Rodney G. Downey, Satyadev Nandakumar
A Weakly 2-Generic which Bounds a Minimal degree. 1326-1347 - Henrik Forssell, Peter LeFanu Lumsdaine:
Constructive reflectivity Principles for Regular Theories. 1348-1367 - Andrew Critch:
A parametric, Resource-Bounded Generalization of löB's Theorem, and a robust Cooperation criterion for Open-Source Game Theory. 1368-1381 - Elizabeth Howarth
Pure Inductive Logic with Functions. 1382-1402 - Marcia J. Groszek, Joel David Hamkins:
The Implicitly Constructible Universe. 1403-1421 - Dag Normann, Sam Sanders:
Computability Theory, Nonstandard Analysis, and their Connections. 1422-1465 - Sy-David Friedman, Stefan Hoffelner
A ${\rm{\Sigma }}_4^1 $ WELLORDER OF THE REALS WITH ${\rm{NS}}_{\omega _1 } $ SATURATED. 1466-1483 - Robert S. Lubarsky:
Separating the Fan Theorem and its weakenings II. 1484-1509 - Artem Chernikov, Pierre Simon:
Henselian Valued Fields and InP-Minimality. 1510-1526 - Rupert Hölzl, Christopher P. Porter:
Rank and Randomness. 1527-1543 - Luca Carai
Existentially closed Brouwerian Semilattices. 1544-1575 - Hossein Lamei Ramandi:
A New Minimal non-σ-scattered linear order. 1576-1589 - Iian B. Smythe
Madness in Vector Spaces. 1590-1611 - Andrei Sipos:
Proof Mining in LP Spaces. 1612-1629 - Nikolay Bazhenov, Matthew Harrison-Trainor, Iskander Sh. Kalimullin
Automatic and Polynomial-Time Algebraic Structures. 1630-1669 - Benoît Monin, Paul-Elliot Anglès d'Auriac:
Genericity and Randomness with Ittms. 1670-1710 - Trevor M. Wilson
Weakly Remarkable Cardinals, ERDőS Cardinals, and the Generic VOPěNka Principle. 1711-1721 - Moti Gitik:
Blowing up the Power of a singular cardinal of uncountable cofinality. 1722-1743
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-18 20:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: