- An introduction to forking.Daniel Lascar & Bruno Poizat - 1979 - Journal of Symbolic Logic 44 (3):330-350.details
|
|
Formalized Token Models and Duality in Semantics: An Algebraic Approach.Lars Hansen - 2004 - Journal of Symbolic Logic 69 (2):443 - 477.details
|
|
On axiomatising products of Kripke frames.Ágnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.details
|
|
On a Theory for AC0 and the Strength of the Induction Scheme.Satoru Kuroda - 1998 - Mathematical Logic Quarterly 44 (3):417-426.details
|
|
Condensational equivalence, equimorphism, elementary equivalence and similar similarities.Miloš S. Kurilić & Nenad Morača - 2017 - Annals of Pure and Applied Logic 168 (6):1210-1223.details
|
|
Stability theory for topological logic, with applications to topological modules.T. G. Kucera - 1986 - Journal of Symbolic Logic 51 (3):755-769.details
|
|
Generalizations of Deissler's Minimality Rank.T. G. Kucera - 1988 - Journal of Symbolic Logic 53 (1):269-283.details
|
|
Quantifiers determined by partial orderings.Michal Krynicki - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):79-86.details
|
|
Generic expansion and Skolemization in NSOP 1 theories.Alex Kruckman & Nicholas Ramsey - 2018 - Annals of Pure and Applied Logic 169 (8):755-774.details
|
|
Cofinal Indiscernibles and some Applications to New Foundations.Friederike Körner - 1994 - Mathematical Logic Quarterly 40 (3):347-356.details
|
|
Automorphisms moving all non-algebraic points and an application to NF.Friederike Körner - 1998 - Journal of Symbolic Logic 63 (3):815-830.details
|
|
Some supervaluation-based consequence relations.Philip Kremer & Michael Kremer - 2003 - Journal of Philosophical Logic 32 (3):225-244.details
|
|
Some Theorems on the Lattice of Local Interpretability Types.Jan Krajíček - 1985 - Mathematical Logic Quarterly 31 (29-30):449-460.details
|
|
Homogeneous Universal Models of Universal Theories.Peter H. Krauss - 1977 - Mathematical Logic Quarterly 23 (27-30):415-426.details
|
|
Given a divisible ordered abelian group Λ, we call (X, d) a Λ-metric space if d: X× X−→ Λ satisfies the usual axioms of a metric, ie, for all x, y∈ X, d (x, y)− d (y, x)≥ 0 if and only if x= y, and the triangle inequality holds. We can now give the definition of asymptotic cone according to van den Dries and Wilkie.Linus Kramer & Katrin Tent - 2004 - Bulletin of Symbolic Logic 10 (2):175-185.details
|
|
Asymptotic cones and ultrapowers of lie groups.Linus Kramer & Katrin Tent - 2004 - Bulletin of Symbolic Logic 10 (2):175-185.details
|
|
Automorphisms moving all non-algebraic points and an application to NF.Friederike Körner - 1998 - Journal of Symbolic Logic 63 (3):815-830.details
|
|
A Boolean ultrapower which is not an ultrapower.Bernd Koppelberg & Sabine Koppelberg - 1976 - Journal of Symbolic Logic 41 (1):245-249.details
|
|
Nonexistence of universal orders in many cardinals.Menachem Kojman & Saharon Shelah - 1992 - Journal of Symbolic Logic 57 (3):875-891.details
|
|
On the expressive power of first-order modal logic with two-dimensional operators.Alexander W. Kocurek - 2018 - Synthese 195 (10):4373-4417.details
|
|
Skolem functions and elementary embeddings.Julia F. Knight - 1977 - Journal of Symbolic Logic 42 (1):94-98.details
|
|
Superclasses in a Finite Extension of Zermelo Set Theory.Martin Kühnrich - 1978 - Mathematical Logic Quarterly 24 (31-36):539-552.details
|
|
Die Zurückführung des Möglichen auf das Wirkliche.Peter Kügler - 1994 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 25 (2):223-240.details
|
|
On regular reduced products.Juliette Kennedy & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (3):1169-1177.details
|
|
The stability function of a theory.H. Jerome Keisler - 1978 - Journal of Symbolic Logic 43 (3):481-486.details
|
|
On theories categorical in their own power.H. Jerome Keisler - 1971 - Journal of Symbolic Logic 36 (2):240-244.details
|
|
Meager sets on the hyperfinite time line.H. Jerome Keisler & Steven C. Leth - 1991 - Journal of Symbolic Logic 56 (1):71-102.details
|
|
Making the Hyperreal Line Both Saturated and Complete.H. Jerome Keisler & James H. Schmerl - 1991 - Journal of Symbolic Logic 56 (3):1016-1025.details
|
|
Nonstandard arithmetic and reverse mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.details
|
|
Barwise: Infinitary logic and admissible sets.H. Jerome Keisler & Julia F. Knight - 2004 - Bulletin of Symbolic Logic 10 (1):4-36.details
|
|
Almost Everywhere Elimination of Probability Quantifiers.H. Jerome Keisler & Wafik Boulos Lotfallah - 2009 - Journal of Symbolic Logic 74 (4):1121 - 1142.details
|
|
Dialectical Contradictions and Classical Formal Logic.Inoue Kazumi - 2014 - International Studies in the Philosophy of Science 28 (2):113-132.details
|
|
Set theory with a Filter quantifier.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (2):263-287.details
|
|
Remarks on weak notions of saturation in models of peano arithmetic.Matt Kaufmann & James H. Schmerl - 1987 - Journal of Symbolic Logic 52 (1):129-148.details
|
|
A new omitting types theorem for l(q).Matt Kaufmann - 1979 - Journal of Symbolic Logic 44 (4):507-521.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
Nonstandard natural number systems and nonstandard models.Shizuo Kamo - 1981 - Journal of Symbolic Logic 46 (2):365-376.details
|
|
Decidable properties of finite sets of equations in trivial languages.Cornelia Kalfa - 1984 - Journal of Symbolic Logic 49 (4):1333-1338.details
|
|
Decision problems concerning properties of finite sets of equations.Cornelia Kalfa - 1986 - Journal of Symbolic Logic 51 (1):79-87.details
|
|
More on Regular Reduced Products.Juliette Cara Kennedy & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (4):1261 - 1266.details
|
|
Model Theories of Set Theories and Type Theory.Robert Murray Jones - 2014 - Open Journal of Philosophy 4 (1):54-58.details
|
|
Minimal predicates, fixed-points, and definability.Johan van Benthem - 2005 - Journal of Symbolic Logic 70 (3):696-712.details
|
|
Partition Complete Boolean Algebras and Almost Compact Cardinals.Peter Jipsen & Henry Rose - 1999 - Mathematical Logic Quarterly 45 (2):241-255.details
|
|
The isomorphism property versus the special model axiom.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):975-987.details
|
|
The strength of the isomorphism property.Renling Jin & Saharon Shelah - 1994 - Journal of Symbolic Logic 59 (1):292-301.details
|
|
Type two cuts, bad cuts and very bad cuts.Renling Jin - 1997 - Journal of Symbolic Logic 62 (4):1241-1252.details
|
|
U-lusin sets in hyperfinite time lines.Renling Jin - 1992 - Journal of Symbolic Logic 57 (2):528-533.details
|
|
U-monad topologies of hyperfinite time lines.Renling Jin - 1992 - Journal of Symbolic Logic 57 (2):534-539.details
|
|
Maharam spectra of Loeb spaces.Renling Jin & H. Jerome Keisler - 2000 - Journal of Symbolic Logic 65 (2):550-566.details
|
|
Existence of some sparse sets of nonstandard natural numbers.Renling Jin - 2001 - Journal of Symbolic Logic 66 (2):959-973.details
|
|