- A theorem on the isomorphism property.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):1011-1017.details
|
|
Cuts in hyperfinite time lines.Renling Jin - 1992 - Journal of Symbolic Logic 57 (2):522-527.details
|
|
Compactness of Loeb spaces.Renling Jin & Saharon Shelah - 1998 - Journal of Symbolic Logic 63 (4):1371-1392.details
|
|
A decidable variety that is finitely undecidable.Joohee Jeong - 1999 - Journal of Symbolic Logic 64 (2):651-677.details
|
|
On the strong Martin conjecture.Masanori Itai - 1991 - Journal of Symbolic Logic 56 (3):862-875.details
|
|
McLaughlin-Millerの運動モデルの位相的側面.Takuma Imamura - 2022 - Journal of the Japan Association for Philosophy of Science 50 (1):47-72.details
|
|
From Paradoxicality to Paradox.Ming Hsiung - forthcoming - Erkenntnis:1-25.details
|
|
Infinitesimal analysis without the Axiom of Choice.Karel Hrbacek & Mikhail G. Katz - 2021 - Annals of Pure and Applied Logic 172 (6):102959.details
|
|
Co-theory of sorted profinite groups for PAC structures.Daniel Max Hoffmann & Junguk Lee - 2023 - Journal of Mathematical Logic 23 (3).details
|
|
The Modal Theory Of Pure Identity And Some Related Decision Problems.Harold T. Hodes - 1984 - Mathematical Logic Quarterly 30 (26-29):415-423.details
|
|
There are reasonably nice logics.Wilfrid Hodges & Saharon Shelah - 1991 - Journal of Symbolic Logic 56 (1):300-322.details
|
|
Relational structures determined by their finite induced substructures.I. M. Hodkinson & H. D. Macpherson - 1988 - Journal of Symbolic Logic 53 (1):222-230.details
|
|
Step by step – Building representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.details
|
|
Finite forcing, existential types and complete types.Joram Hirschfeld - 1980 - Journal of Symbolic Logic 45 (1):93-102.details
|
|
Examples in the theory of existential completeness.Joram Hirschfeld - 1978 - Journal of Symbolic Logic 43 (4):650-658.details
|
|
Complete representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (3):816-847.details
|
|
Ramifiable Directed Sets.Roland Hinnion - 1998 - Mathematical Logic Quarterly 44 (2):216-228.details
|
|
Directed Sets and Malitz‐Cauchy‐Completions.Roland Hinnion - 1997 - Mathematical Logic Quarterly 43 (4):465-484.details
|
|
About the coexistence of “classical sets” with “non-classical” ones: A survey.Roland Hinnion - 2003 - Logic and Logical Philosophy 11:79-90.details
|
|
The strength of nonstandard methods in arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.details
|
|
On the strength of nonstandard analysis.C. Ward Henson & H. Jerome Keisler - 1986 - Journal of Symbolic Logic 51 (2):377-386.details
|
|
Elementary equivalence of cσ(k) spaces for totally disconnected, compact hausdorff K.S. Heinrich, C. Ward Henson & L. C. Moore - 1986 - Journal of Symbolic Logic 51 (1):135 - 146.details
|
|
A note on elementary equivalence of c(k) space.S. Heinrich, C. Ward Henson & L. C. Moore - 1987 - Journal of Symbolic Logic 52 (2):368-373.details
|
|
Preservation and Interpolation Through Binary Relations Between Theories.Michel Hébert - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (2):169-182.details
|
|
Game sentences, recursive saturation and definability.Victor Harnik - 1980 - Journal of Symbolic Logic 45 (1):35-46.details
|
|
Computability-theoretic complexity of countable structures.Valentina S. Harizanov - 2002 - Bulletin of Symbolic Logic 8 (4):457-477.details
|
|
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations.Christopher Hampson, Stanislav Kikot, Agi Kurucz & Sérgio Marcelino - 2020 - Annals of Pure and Applied Logic 171 (5):102786.details
|
|
How not to state t-sentences.Volker Halbach - 2006 - Analysis 66 (4):276–280.details
|
|
How not to state T-sentences.Volker Halbach - 2006 - Analysis 66 (4):276-280.details
|
|
Gödel, Tarski, Church, and the Liar.György Serény - 2003 - Bulletin of Symbolic Logic 9 (1):3-25.details
|
|
On ultracoproducts of compact hausdorff spaces.R. Gurevič - 1988 - Journal of Symbolic Logic 53 (1):294-300.details
|
|
The lazy logic of partial terms.Raymond D. Gumb - 2002 - Journal of Symbolic Logic 67 (3):1065-1077.details
|
|
On the number of nonisomorphic models of an infinitary theory which has the infinitary order property. Part A.Rami Grossberg & Saharon Shelah - 1986 - Journal of Symbolic Logic 51 (2):302-322.details
|
|
Models with second order properties in successors of singulars.Rami Grossberg - 1989 - Journal of Symbolic Logic 54 (1):122-137.details
|
|
Rank-initial embeddings of non-standard models of set theory.Paul Kindvall Gorbow - 2020 - Archive for Mathematical Logic 59 (5-6):517-563.details
|
|
Double enlargements of topological spaces.Paul Goodyear - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (25):389-392.details
|
|
Definable Operators on Stable Set Lattices.Robert Goldblatt - 2020 - Studia Logica 108 (6):1263-1280.details
|
|
Continuous sentences preserved under reduced products.Isaac Goldbring & H. Jerome Keisler - 2020 - Journal of Symbolic Logic:1-33.details
|
|
Continuous sentences preserved under reduced products.Isaac Goldbring & H. Jerome Keisler - 2022 - Journal of Symbolic Logic 87 (2):649-681.details
|
|
Canonicity in Power and Modal Logics of Finite Achronal Width.Robert Goldblatt & Ian Hodkinson - forthcoming - Review of Symbolic Logic:1-31.details
|
|
A Reflection Property for Saturated Models.Jerrold M. Gold - 1976 - Mathematical Logic Quarterly 22 (1):425-430.details
|
|
A decidable subclass of the minimal gödel class with identity.Warren D. Goldfarb, Yuri Gurevich & Saharon Shelah - 1984 - Journal of Symbolic Logic 49 (4):1253-1261.details
|
|
Hyper-regular lattice-ordered groups.Daniel Gluschankof & François Lucas - 1993 - Journal of Symbolic Logic 58 (4):1342-1358.details
|
|
Universal Horn classes categorical or free in power.Steven Givant - 1978 - Annals of Mathematical Logic 15 (1):1.details
|
|
On generic elementary embeddings.Moti Gitik - 1989 - Journal of Symbolic Logic 54 (3):700-707.details
|
|
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.details
|
|
Order Types of Models of Fragments of Peano Arithmetic.Lorenzo Galeotti & Benedikt Löwe - 2022 - Bulletin of Symbolic Logic 28 (2):182-206.details
|
|
Order Types of Models of Fragments of Peano Arithmetic.Lorenzo Galeotti & Benedikt Löwe - 2022 - Bulletin of Symbolic Logic 28 (2):182-206.details
|
|
First-order modal logic in the necessary framework of objects.Peter Fritz - 2016 - Canadian Journal of Philosophy 46 (4-5):584-609.details
|
|
Saturating ultrafilters on N.D. H. Fremlin & P. J. Nyikos - 1989 - Journal of Symbolic Logic 54 (3):708-718.details
|
|