default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe 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, Matthias Baaz:
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, Vassily A. Lyubetsky:
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, Albert Visser:
On a Question of Krajewski's. 343-358 - Jan Grebík, Carlos Uzcátegui:
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, Philip D. Welch:
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, Michael Zakharyaschev:
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, Menachem Magidor:
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, Ya'acov Peterzil:
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, Alex Kruckman:
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, Wieslaw Szwast, Lidia Tendera:
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, Saharon Shelah:
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, Jeffrey B. Paris:
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, Silvio Ghilardi:
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, Alexander G. Melnikov, Keng Meng Ng:
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 2025-11-13 00:07 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:
