:facetid:toc:\"db/journals/jsyml/jsyml65.bht\"OK:facetid:toc:db/journals/jsyml/jsyml65.bhtPeter ApostoliThe Analytic Conception of Truth and The Foundations of Arithmetic.J. Symb. Log.65133-1022000Journal Articlesclosedjournals/jsyml/Apostoli0010.2307/2586525https://doi.org/10.2307/2586525https://dblp.org/rec/journals/jsyml/Apostoli00URL#6422605Arthur W. ApterJames Cummings 0001Identity Crises, Strong Compactness.J. Symb. Log.6541895-19102000Journal Articlesclosedjournals/jsyml/ApterC0010.2307/2695085https://doi.org/10.2307/2695085https://dblp.org/rec/journals/jsyml/ApterC00URL#6422606Toshiyasu AraiOrdinal Diagrams for PI3-Reflection.J. Symb. Log.6531375-13942000Journal Articlesclosedjournals/jsyml/Arai0010.2307/2586705https://doi.org/10.2307/2586705https://dblp.org/rec/journals/jsyml/Arai00URL#6422607Jeremy AvigadInterpreting Classical Theories in Constructive Ones.J. Symb. Log.6541785-18122000Journal Articlesclosedjournals/jsyml/Avigad0010.2307/2695075https://doi.org/10.2307/2695075https://dblp.org/rec/journals/jsyml/Avigad00URL#6422608Arnon AvronImplicational F-Structures and Implicational Relevance Logics.J. Symb. Log.652788-8022000Journal Articlesclosedjournals/jsyml/Avron0010.2307/2586570https://doi.org/10.2307/2586570https://dblp.org/rec/journals/jsyml/Avron00URL#6422609Steven AwodeyCarsten ButzTopological Completeness for Higher-Order Logic.J. Symb. Log.6531168-11822000Journal Articlesclosedjournals/jsyml/AwodeyB0010.2307/2586693https://doi.org/10.2307/2586693https://dblp.org/rec/journals/jsyml/AwodeyB00URL#6422610John T. Baldwin 0001Kitty L. HollandConstructing omega-Stable Structures: Rank 2 Fields.J. Symb. Log.651371-3912000Journal Articlesclosedjournals/jsyml/BaldwinH0010.2307/2586544https://doi.org/10.2307/2586544https://dblp.org/rec/journals/jsyml/BaldwinH00URL#6422611Tomek BartoszynskiAndrzej RoslanowskiSaharon ShelahAfter All, There Are Some Inequalities Which Are Provable in ZFC.J. Symb. Log.652803-8162000Journal Articlesclosedjournals/jsyml/BartoszynskiRS0010.2307/2586571https://doi.org/10.2307/2586571https://dblp.org/rec/journals/jsyml/BartoszynskiRS00URL#6422612Andreas BaudischClosures in Alef-Symbol0-Categorical Bilinear Maps.J. Symb. Log.652914-9222000Journal Articlesclosedjournals/jsyml/Baudisch0010.2307/2586577https://doi.org/10.2307/2586577https://dblp.org/rec/journals/jsyml/Baudisch00URL#6422613Andreas BaudischAnand PillayA Free Pseudospace.J. Symb. Log.651443-4602000Journal Articlesclosedjournals/jsyml/BaudischP0010.2307/2586547https://doi.org/10.2307/2586547https://dblp.org/rec/journals/jsyml/BaudischP00URL#6422614Richard BeigelWilliam I. GasarchMartin KummerGeorgia MartinTimothy H. McNichollFrank Stephan 0001The Comlexity of OddAn.J. Symb. Log.6511-182000Journal Articlesclosedjournals/jsyml/BeigelGKMMS0010.2307/2586523https://doi.org/10.2307/2586523https://dblp.org/rec/journals/jsyml/BeigelGKMMS00URL#6422615Oleg V. BelegradekYa'acov PeterzilFrank Wagner 0005Quasi-O-Minimal Structures.J. Symb. Log.6531115-11322000Journal Articlesclosedjournals/jsyml/BelegradekPW0010.2307/2586690https://doi.org/10.2307/2586690https://dblp.org/rec/journals/jsyml/BelegradekPW00URL#6422616Stanislaw BereznyukRichard ColesAndrea SorbiThe Distribution of Properly Sigma02 e-Degrees.J. Symb. Log.65119-322000Journal Articlesclosedjournals/jsyml/BereznyukCS0010.2307/2586524https://doi.org/10.2307/2586524https://dblp.org/rec/journals/jsyml/BereznyukCS00URL#6422617Alexis BèsAn Extension of The Cobham-Semënov Theorem.J. Symb. Log.651201-2112000Journal Articlesclosedjournals/jsyml/Bes0010.2307/2586532https://doi.org/10.2307/2586532https://dblp.org/rec/journals/jsyml/Bes00URL#6422618Andreas BlassYuri GurevichThe Logic of Choice.J. Symb. Log.6531264-13102000Journal Articlesclosedjournals/jsyml/BlassG0010.2307/2586700https://doi.org/10.2307/2586700https://dblp.org/rec/journals/jsyml/BlassG00URL#6422619Alexander BochmanBelief Contraction as Nonmonotonic Inference.J. Symb. Log.652605-6262000Journal Articlesclosedjournals/jsyml/Bochman0010.2307/2586557https://doi.org/10.2307/2586557https://dblp.org/rec/journals/jsyml/Bochman00URL#6422620Sedki BoughattasTrois Theoremes Sur L'Induction Pour Les Formules Ouvertes Munies De L'Exponentielle.J. Symb. Log.651111-1542000Journal Articlesclosedjournals/jsyml/Boughattas0010.2307/2586527https://doi.org/10.2307/2586527https://dblp.org/rec/journals/jsyml/Boughattas00URL#6422621Martin W. BunderExpedited Broda-Damas Bracket Abstraction.J. Symb. Log.6541850-18572000Journal Articlesclosedjournals/jsyml/Bunder0010.2307/2695081https://doi.org/10.2307/2695081https://dblp.org/rec/journals/jsyml/Bunder00URL#6422622Wolfgang BurrFragments of Heyting Arithmetic.J. Symb. Log.6531223-12402000Journal Articlesclosedjournals/jsyml/Burr0010.2307/2586698https://doi.org/10.2307/2586698https://dblp.org/rec/journals/jsyml/Burr00URL#6422623John CantwellLogics of Belief Change without Linearity.J. Symb. Log.6541556-15752000Journal Articlesclosedjournals/jsyml/Cantwell0010.2307/2695064https://doi.org/10.2307/2695064https://dblp.org/rec/journals/jsyml/Cantwell00URL#6422624Zoé ChatzidakisCarol WoodMinimal Types in Separably Closed Fields.J. Symb. Log.6531443-14502000Journal Articlesclosedjournals/jsyml/ChatzidakisW0010.2307/2586707https://doi.org/10.2307/2586707https://dblp.org/rec/journals/jsyml/ChatzidakisW00URL#6422625Jacek CichonAdam KrawczykBarbara Majcher-IwanowBogdan WeglorzDualization of The Van Douwen Diagram.J. Symb. Log.652959-9682000Journal Articlesclosedjournals/jsyml/CichonKMW0010.2307/2586580https://doi.org/10.2307/2586580https://dblp.org/rec/journals/jsyml/CichonKMW00URL#6422626Thierry CoquandSara SadoccoGiovanni SambinJan M. SmithFormal Topologies on The Set of First-Order Formulae.J. Symb. Log.6531183-11922000Journal Articlesclosedjournals/jsyml/CoquandSSS0010.2307/2586694https://doi.org/10.2307/2586694https://dblp.org/rec/journals/jsyml/CoquandSSS00URL#6422627Marcel CrabbéThe Rise and Fall of Typed Sentences.J. Symb. Log.6541858-18622000Journal Articlesclosedjournals/jsyml/Crabbe0010.2307/2695082https://doi.org/10.2307/2695082https://dblp.org/rec/journals/jsyml/Crabbe00URL#6422628Janusz CzelakowskiRamon JansanaWeakly Algebraizable Logics.J. Symb. Log.652641-6682000Journal Articlesclosedjournals/jsyml/CzelakowskiJ0010.2307/2586559https://doi.org/10.2307/2586559https://dblp.org/rec/journals/jsyml/CzelakowskiJ00URL#6422629Giovanna D'AgostinoMarco HollenbergLogical Questions Concerning The mu-Calculus: Interpolation, Lyndon and Los-Tarski.J. Symb. Log.651310-3322000Journal Articlesclosedjournals/jsyml/DAgostinoH0010.2307/2586539https://doi.org/10.2307/2586539https://dblp.org/rec/journals/jsyml/DAgostinoH00URL#6422630Peter DybjerA General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory.J. Symb. Log.652525-5492000Journal Articlesclosedjournals/jsyml/Dybjer0010.2307/2586554https://doi.org/10.2307/2586554https://dblp.org/rec/journals/jsyml/Dybjer00URL#6422631Roy DyckhoffSara NegriAdmissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic.J. Symb. Log.6541499-15182000Journal Articlesclosedjournals/jsyml/DyckhoffN0010.2307/2695061https://doi.org/10.2307/2695061https://dblp.org/rec/journals/jsyml/DyckhoffN00URL#6422632Miklós Erdélyi-SzabóUndecidability of The Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis.J. Symb. Log.6531014-10302000Journal Articlesclosedjournals/jsyml/Erdelyi-Szabo0010.2307/2586686https://doi.org/10.2307/2586686https://dblp.org/rec/journals/jsyml/Erdelyi-Szabo00URL#6422633Olivier EsserInconsistency of The Axiom of Choice with The Positive Theory GPK+infinite.J. Symb. Log.6541911-19162000Journal Articlesclosedjournals/jsyml/Esser0010.2307/2695086https://doi.org/10.2307/2695086https://dblp.org/rec/journals/jsyml/Esser00URL#6422634David M. Evans 0001Frank O. WagnerSupersimple omega-Categorical Groups and Theories.J. Symb. Log.652767-7762000Journal Articlesclosedjournals/jsyml/EvansW0010.2307/2586568https://doi.org/10.2307/2586568https://dblp.org/rec/journals/jsyml/EvansW00URL#6422635Camillo FiorentiniAll Intermediate Logics with Extra Axions in One Variable, Except Eight, Are Not Strongly omega-Complete.J. Symb. Log.6541576-16042000Journal Articlesclosedjournals/jsyml/Fiorentini0010.2307/2695065https://doi.org/10.2307/2695065https://dblp.org/rec/journals/jsyml/Fiorentini00URL#6422636Jörg FlumMartin GroheOn Fixed-Point Logic With Counting.J. Symb. Log.652777-7872000Journal Articlesclosedjournals/jsyml/FlumG0010.2307/2586569https://doi.org/10.2307/2586569https://dblp.org/rec/journals/jsyml/FlumG00URL#6422637Josep Maria FontMiquel RiusAn Abstract Algebraic Logic Approach to Tetravalent Modal Logics.J. Symb. Log.652481-5182000Journal Articlesclosedjournals/jsyml/FontR0010.2307/2586552https://doi.org/10.2307/2586552https://dblp.org/rec/journals/jsyml/FontR00URL#6422638Willem L. FouchéArithmetical Representations of Brownian Motion I.J. Symb. Log.651421-4422000Journal Articlesclosedjournals/jsyml/Fouche0010.2307/2586546https://doi.org/10.2307/2586546https://dblp.org/rec/journals/jsyml/Fouche00URL#6422639Mariagnese GiustoStephen G. SimpsonLocated Sets and Reverse Mathematics.J. Symb. Log.6531451-14802000Journal Articlesclosedjournals/jsyml/GiustoS0010.2307/2586708https://doi.org/10.2307/2586708https://dblp.org/rec/journals/jsyml/GiustoS00URL#6422640Daniel GluschankofThe Hahn Representation Theorem for l-Groups in ZFA.J. Symb. Log.652519-5242000Journal Articlesclosedjournals/jsyml/Gluschankof0010.2307/2586553https://doi.org/10.2307/2586553https://dblp.org/rec/journals/jsyml/Gluschankof00URL#6422641Yuri GurevichAlexander Moshe RabinovichDefinability and Undefinability with Real Order at The Background.J. Symb. Log.652946-9582000Journal Articlesclosedjournals/jsyml/GurevichR0010.2307/2586579https://doi.org/10.2307/2586579https://dblp.org/rec/journals/jsyml/GurevichR00URL#6422642Petr Hájek 0001Jeff B. ParisJohn C. ShepherdsonThe Liar Paradox and Fuzzy Logic.J. Symb. Log.651339-3462000Journal Articlesclosedjournals/jsyml/HajekPS0010.2307/2586541https://doi.org/10.2307/2586541https://dblp.org/rec/journals/jsyml/HajekPS00URL#6422643Petr Hájek 0001Jeff B. ParisJohn C. ShepherdsonRational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic.J. Symb. Log.652669-6822000Journal Articlesclosedjournals/jsyml/HajekPS00a10.2307/2586560https://doi.org/10.2307/2586560https://dblp.org/rec/journals/jsyml/HajekPS00aURL#6422644Joel David HamkinsAndy LewisInfinite Time Turing Machines.J. Symb. Log.652567-6042000Journal Articlesclosedjournals/jsyml/HamkinsL0010.2307/2586556https://doi.org/10.2307/2586556https://dblp.org/rec/journals/jsyml/HamkinsL00URL#6422645Bradd HartByunghan KimAnand PillayCoordinatisation and Canonical Bases in Simple Theories.J. Symb. Log.651293-3092000Journal Articlesclosedjournals/jsyml/HartKP0010.2307/2586538https://doi.org/10.2307/2586538https://dblp.org/rec/journals/jsyml/HartKP00URL#6422646Sachio HirokawaYuichi KomoriMisao NagayamaA Lambda Proof of The P-W Theorem.J. Symb. Log.6541841-18492000Journal Articlesclosedjournals/jsyml/HirokawaKN0010.2307/2695080https://doi.org/10.2307/2695080https://dblp.org/rec/journals/jsyml/HirokawaKN00URL#6422647Greg HjorthActions by The Classical Banach Spaces.J. Symb. Log.651392-4202000Journal Articlesclosedjournals/jsyml/Hjorth0010.2307/2586545https://doi.org/10.2307/2586545https://dblp.org/rec/journals/jsyml/Hjorth00URL#6422648Renling JinH. Jerome KeislerMaharam Spectra of Loeb Spaces.J. Symb. Log.652550-5662000Journal Articlesclosedjournals/jsyml/JinK0010.2307/2586555https://doi.org/10.2307/2586555https://dblp.org/rec/journals/jsyml/JinK00URL#6422649Albin L. JonesA Polarized Partition Relation Using Elementary Substructures.J. Symb. Log.6541491-14982000Journal Articlesclosedjournals/jsyml/Jones0010.2307/2695060https://doi.org/10.2307/2695060https://dblp.org/rec/journals/jsyml/Jones00URL#6422650Markus Junker 0001A Note On Equational Theories.J. Symb. Log.6541705-17122000Journal Articlesclosedjournals/jsyml/Junker0010.2307/2695070https://doi.org/10.2307/2695070https://dblp.org/rec/journals/jsyml/Junker00URL#6422651Masaru KadaMore on Cichon's Diagram and Infinite Games.J. Symb. Log.6541713-17242000Journal Articlesclosedjournals/jsyml/Kada0010.2307/2695071https://doi.org/10.2307/2695071https://dblp.org/rec/journals/jsyml/Kada00URL#6422652Keith A. KearnesCategorical Quasivarieties via Morita Equivalence.J. Symb. Log.652839-8562000Journal Articlesclosedjournals/jsyml/Kearnes0010.2307/2586574https://doi.org/10.2307/2586574https://dblp.org/rec/journals/jsyml/Kearnes00URL#6422653Hirotaka KikyoModel Companions of Theories with An Automorphism.J. Symb. Log.6531215-12222000Journal Articlesclosedjournals/jsyml/Kikyo0010.2307/2586697https://doi.org/10.2307/2586697https://dblp.org/rec/journals/jsyml/Kikyo00URL#6422654Julia F. KnightMichael StobComputable Boolean Algebras.J. Symb. Log.6541605-16232000Journal Articlesclosedjournals/jsyml/KnightS0010.2307/2695066https://doi.org/10.2307/2695066https://dblp.org/rec/journals/jsyml/KnightS00URL#6422655Péter KomjáthSaharon ShelahTwo Consistency Results on Set Mappings.J. Symb. Log.651333-3382000Journal Articlesclosedjournals/jsyml/KomjathS0010.2307/2586540https://doi.org/10.2307/2586540https://dblp.org/rec/journals/jsyml/KomjathS00URL#6422656Max KubierschkyYet Another Hierarchy Theorem.J. Symb. Log.652627-6402000Journal Articlesclosedjournals/jsyml/Kubierschky0010.2307/2586558https://doi.org/10.2307/2586558https://dblp.org/rec/journals/jsyml/Kubierschky00URL#6422657Thomas G. KuceraPhilipp RothmalerPure-Projective Modules and Positive Constructibility.J. Symb. Log.651103-1102000Journal Articlesclosedjournals/jsyml/KuceraR0010.2307/2586526https://doi.org/10.2307/2586526https://dblp.org/rec/journals/jsyml/KuceraR00URL#6422658Bart KuijpersJan ParedaensJan Van den BusscheTopological Elementary Equivalence of Closed Semi-Algebraic Sets in The Real Plane.J. Symb. Log.6541530-15552000Journal Articlesclosedjournals/jsyml/KuijpersPB0010.2307/2695063https://doi.org/10.2307/2695063https://dblp.org/rec/journals/jsyml/KuijpersPB00URL#6422659Masahiro KumabeA 1-Generic Degree with A Strong Minimal Cover.J. Symb. Log.6531395-14422000Journal Articlesclosedjournals/jsyml/Kumabe0010.2307/2586706https://doi.org/10.2307/2586706https://dblp.org/rec/journals/jsyml/Kumabe00URL#6422660Kenneth KunenFranklin D. TallThe Real Line in Elementary Submodels of Set Theory.J. Symb. Log.652683-6912000Journal Articlesclosedjournals/jsyml/KunenT0010.2307/2586561https://doi.org/10.2307/2586561https://dblp.org/rec/journals/jsyml/KunenT00URL#6422661Ágnes KuruczOn Axiomatising Products of Kripke Frames.J. Symb. Log.652923-9452000Journal Articlesclosedjournals/jsyml/Kurucz0010.2307/2586578https://doi.org/10.2307/2586578https://dblp.org/rec/journals/jsyml/Kurucz00URL#6422662Paul LarsonSeparating Stationary Reflection Principles.J. Symb. Log.651247-2582000Journal Articlesclosedjournals/jsyml/Larson0010.2307/2586534https://doi.org/10.2307/2586534https://dblp.org/rec/journals/jsyml/Larson00URL#6422663Jean A. LarsonAn Ordinal Partition Avoiding Pentagrams.J. Symb. Log.653969-9782000Journal Articlesclosedjournals/jsyml/Larson00a10.2307/2586684https://doi.org/10.2307/2586684https://dblp.org/rec/journals/jsyml/Larson00aURL#6422664Hélène LejeunePaires Élémentaires de Corps Pseudo-Finis: Dénombrement des Complétions.J. Symb. Log.652705-7182000Journal Articlesclosedjournals/jsyml/Lejeune0010.2307/2586564https://doi.org/10.2307/2586564https://dblp.org/rec/journals/jsyml/Lejeune00URL#6422665Amir LeshemOn The Consistency of The Definable Tree Property on Alef-Symbol1.J. Symb. Log.6531204-12142000Journal Articlesclosedjournals/jsyml/Leshem0010.2307/2586696https://doi.org/10.2307/2586696https://dblp.org/rec/journals/jsyml/Leshem00URL#6422666Wafik Boulos LotfallahStrong 0-1 Laws in Finite Model Theory.J. Symb. Log.6541686-17042000Journal Articlesclosedjournals/jsyml/Lotfallah0010.2307/2695069https://doi.org/10.2307/2695069https://dblp.org/rec/journals/jsyml/Lotfallah00URL#6422667Kerkko LuostoHierarchies of Monadic Generalized Quantifiers.J. Symb. Log.6531241-12632000Journal Articlesclosedjournals/jsyml/Luosto0010.2307/2586699https://doi.org/10.2307/2586699https://dblp.org/rec/journals/jsyml/Luosto00URL#6422668Ralph McKenzieRecursive Inseparability for Residual Bounds of Finite Algebras.J. Symb. Log.6541863-18802000Journal Articlesclosedjournals/jsyml/McKenzie0010.2307/2695083https://doi.org/10.2307/2695083https://dblp.org/rec/journals/jsyml/McKenzie00URL#6422669Timothy H. McNichollOn The Commutativity of Jumps.J. Symb. Log.6541725-17482000Journal Articlesclosedjournals/jsyml/McNicholl0010.2307/2695072https://doi.org/10.2307/2695072https://dblp.org/rec/journals/jsyml/McNicholl00URL#6422670Tracey Baldwin McGrailThe Model Theory of Differential Fields with Finitely Many Commuting Derivations.J. Symb. Log.652885-9132000Journal Articlesclosedjournals/jsyml/Mcgrail0010.2307/2586576https://doi.org/10.2307/2586576https://dblp.org/rec/journals/jsyml/Mcgrail00URL#6422671Rahim MoosaA Note On Uniform Definability and Minimal Fields of Definition.J. Symb. Log.652817-8212000Journal Articlesclosedjournals/jsyml/Moosa0010.2307/2586572https://doi.org/10.2307/2586572https://dblp.org/rec/journals/jsyml/Moosa00URL#6422672István NémetiGábor SágiOn The Equational Theory of Representable Polyadic Equality Algebras.J. Symb. Log.6531143-11672000Journal Articlesclosedjournals/jsyml/NemetiS0010.2307/2586692https://doi.org/10.2307/2586692https://dblp.org/rec/journals/jsyml/NemetiS00URL#6422673André NiesAndrea SorbiStructural Properties and Sigma02 Enumeration Degrees.J. Symb. Log.651285-2922000Journal Articlesclosedjournals/jsyml/NiesS0010.2307/2586537https://doi.org/10.2307/2586537https://dblp.org/rec/journals/jsyml/NiesS00URL#6422674Dag NormannComputability over The Partial Continuous Functionals.J. Symb. Log.6531133-11422000Journal Articlesclosedjournals/jsyml/Normann0010.2307/2586691https://doi.org/10.2307/2586691https://dblp.org/rec/journals/jsyml/Normann00URL#6422675Francesco OriliaProperty Theory and The Revision Theory of Definitions.J. Symb. Log.651212-2462000Journal Articlesclosedjournals/jsyml/Orilia0010.2307/2586533https://doi.org/10.2307/2586533https://dblp.org/rec/journals/jsyml/Orilia00URL#6422676Martin Otto 0001Epsilon-Logic Is More Expressive Than First-Order Logic Over Finite Structures.J. Symb. Log.6541749-17572000Journal Articlesclosedjournals/jsyml/Otto0010.2307/2695073https://doi.org/10.2307/2695073https://dblp.org/rec/journals/jsyml/Otto00URL#6422677Ramón Pino PérezCarlos UzcáteguiOn Representation Theorems for Nonmonotonic Consequence Relations.J. Symb. Log.6531321-13372000Journal Articlesclosedjournals/jsyml/PerezU0010.2307/2586702https://doi.org/10.2307/2586702https://dblp.org/rec/journals/jsyml/PerezU00URL#6422678Anand PillayA Note on CM-Triviality and The Geometry of Forking.J. Symb. Log.651474-4802000Journal Articlesclosedjournals/jsyml/Pillay0010.2307/2586549https://doi.org/10.2307/2586549https://dblp.org/rec/journals/jsyml/Pillay00URL#6422679Françoise PointOn Decidable Extensions of Presburger Arithmetic: From A. Bertrand Numeration Systems to Pisot Numbers.J. Symb. Log.6531347-13742000Journal Articlesclosedjournals/jsyml/Point0010.2307/2586704https://doi.org/10.2307/2586704https://dblp.org/rec/journals/jsyml/Point00URL#6422680Bruno PoizatFrank O. WagnerLiftez Les Sylows! Une Suite À "Sous-Groupes Périodiques D'Un Groupe Stable".J. Symb. Log.652703-7042000Journal Articlesclosedjournals/jsyml/PoizatW0010.2307/2586563https://doi.org/10.2307/2586563https://dblp.org/rec/journals/jsyml/PoizatW00URL#6422681Wai Yan PongSome Applications of Ordinal Dimensions to The Theory of Differentially Closed Fields.J. Symb. Log.651347-3562000Journal Articlesclosedjournals/jsyml/Pong0010.2307/2586542https://doi.org/10.2307/2586542https://dblp.org/rec/journals/jsyml/Pong00URL#6422682Natacha PortierLe Problème des Grandes Puissances Et Celui des Grandes Racines.J. Symb. Log.6541675-16852000Journal Articlesclosedjournals/jsyml/Portier0010.2307/2695068https://doi.org/10.2307/2695068https://dblp.org/rec/journals/jsyml/Portier00URL#6422683Ian E. PrattDominik J. SchoopExpressivity in Polygonal, Plane Mereotopology.J. Symb. Log.652822-8382000Journal Articlesclosedjournals/jsyml/PrattS0010.2307/2586573https://doi.org/10.2307/2586573https://dblp.org/rec/journals/jsyml/PrattS00URL#6422684Graham PriestInconsistent Models of Arithmetic Part II: The General Case.J. Symb. Log.6541519-15292000Journal Articlesclosedjournals/jsyml/Priest0010.2307/2695062https://doi.org/10.2307/2695062https://dblp.org/rec/journals/jsyml/Priest00URL#6422685Carlos A. Di PriscoJames M. HenleDoughnuts, Floating Ordinals, Square Brackets, and Ultraflitters.J. Symb. Log.651461-4732000Journal Articlesclosedjournals/jsyml/PriscoH0010.2307/2586548https://doi.org/10.2307/2586548https://dblp.org/rec/journals/jsyml/PriscoH00URL#6422686Vera PuninskayaVaught's Conjecture for Modules Over A Serial Ring.J. Symb. Log.651155-1632000Journal Articlesclosedjournals/jsyml/Puninskaya0010.2307/2586528https://doi.org/10.2307/2586528https://dblp.org/rec/journals/jsyml/Puninskaya00URL#6422687Alexej P. PynkoSubprevarieties Versus Extensions. Application to The Logic of Paradox.J. Symb. Log.652756-7662000Journal Articlesclosedjournals/jsyml/Pynko0010.2307/2586567https://doi.org/10.2307/2586567https://dblp.org/rec/journals/jsyml/Pynko00URL#6422688Gábor SágiA Completeness Theorem for Higher Order Logics.J. Symb. Log.652857-8842000Journal Articlesclosedjournals/jsyml/Sagi0010.2307/2586575https://doi.org/10.2307/2586575https://dblp.org/rec/journals/jsyml/Sagi00URL#6422689S. SalbanyTodor TodorovNonstandard Analysis in Topology: Nonstandard and Standard Compactifications.J. Symb. Log.6541836-18402000Journal Articlesclosedjournals/jsyml/SalbanyT0010.2307/2695079https://doi.org/10.2307/2695079https://dblp.org/rec/journals/jsyml/SalbanyT00URL#6422690Giovanni SambinGiulia BattilottiClaudia FaggianBasic Logic: Reflection, Symmetry, Visibility.J. Symb. Log.653979-10132000Journal Articlesclosedjournals/jsyml/SambinBF0010.2307/2586685https://doi.org/10.2307/2586685https://dblp.org/rec/journals/jsyml/SambinBF00URL#6422691Thomas ScanlonA Model Complete Theory of Valued D-Fields.J. Symb. Log.6541758-17842000Journal Articlesclosedjournals/jsyml/Scanlon0010.2307/2695074https://doi.org/10.2307/2695074https://dblp.org/rec/journals/jsyml/Scanlon00URL#6422692Karl SchlechtaNew Techniques and Completeness Results for Preferential Structures.J. Symb. Log.652719-7462000Journal Articlesclosedjournals/jsyml/Schlechta0010.2307/2586565https://doi.org/10.2307/2586565https://dblp.org/rec/journals/jsyml/Schlechta00URL#6422693Jonathan P. SeldinOn The Role of Implication in Formal Logic.J. Symb. Log.6531076-11142000Journal Articlesclosedjournals/jsyml/Seldin0010.2307/2586689https://doi.org/10.2307/2586689https://dblp.org/rec/journals/jsyml/Seldin00URL#6422694Ofer ShafirSaharon ShelahMore on Entangled Orders.J. Symb. Log.6541823-18322000Journal Articlesclosedjournals/jsyml/ShafirS0010.2307/2695077https://doi.org/10.2307/2695077https://dblp.org/rec/journals/jsyml/ShafirS00URL#6422695Ziv ShamiDefinability in Low Simple Theories.J. Symb. Log.6541481-14902000Journal Articlesclosedjournals/jsyml/Shami0010.2307/2695059https://doi.org/10.2307/2695059https://dblp.org/rec/journals/jsyml/Shami00URL#6422696Saharon ShelahWas Sierpinski Right? IV.J. Symb. Log.6531031-10542000Journal Articlesclosedjournals/jsyml/Shelah0010.2307/2586687https://doi.org/10.2307/2586687https://dblp.org/rec/journals/jsyml/Shelah00URL#6422697Saharon ShelahOn Quantification with A Finite Universe.J. Symb. Log.6531055-10752000Journal Articlesclosedjournals/jsyml/Shelah00a10.2307/2586688https://doi.org/10.2307/2586688https://dblp.org/rec/journals/jsyml/Shelah00aURL#6422698Saharon ShelahApplications of PCF Theory.J. Symb. Log.6541624-16742000Journal Articlesclosedjournals/jsyml/Shelah00b10.2307/2695067https://doi.org/10.2307/2695067https://dblp.org/rec/journals/jsyml/Shelah00bURL#6422699Saharon ShelahLee J. StanleyFilters, Cohen Sets and Consistent Extensions of The Erdös-Dushnik-Miller Theorem.J. Symb. Log.651259-2712000Journal Articlesclosedjournals/jsyml/ShelahS0010.2307/2586535https://doi.org/10.2307/2586535https://dblp.org/rec/journals/jsyml/ShelahS00URL#6422700Saharon ShelahPauli VäisänenOn Inverse gamma-Systems and The Number of Linfinite lambda-Equivalent, Non-Isomorphic Models for lambda Singular.J. Symb. Log.651272-2842000Journal Articlesclosedjournals/jsyml/ShelahV0010.2307/2586536https://doi.org/10.2307/2586536https://dblp.org/rec/journals/jsyml/ShelahV00URL#6422701Saharon ShelahJouko A. VäänänenStationary Sets and Infinitary Logic.J. Symb. Log.6531311-13202000Journal Articlesclosedjournals/jsyml/ShelahV00a10.2307/2586701https://doi.org/10.2307/2586701https://dblp.org/rec/journals/jsyml/ShelahV00aURL#6422702Juichi ShinodaTheodore A. SlamanRecursive in A Generic Real.J. Symb. Log.651164-1722000Journal Articlesclosedjournals/jsyml/ShinodaS0010.2307/2586529https://doi.org/10.2307/2586529https://dblp.org/rec/journals/jsyml/ShinodaS00URL#6422703Slawomir SoleckiActions of Non-Compact and Non-Locally Compact Polish Groups.J. Symb. Log.6541881-18942000Journal Articlesclosedjournals/jsyml/Solecki0010.2307/2695084https://doi.org/10.2307/2695084https://dblp.org/rec/journals/jsyml/Solecki00URL#6422704Dieter SpreenCorrigendum.J. Symb. Log.6541917-19182000Journal Articlesclosedjournals/jsyml/Spreen0010.2307/2695087https://doi.org/10.2307/2695087https://dblp.org/rec/journals/jsyml/Spreen00URL#6422705Gaisi TakeutiGödel Sentences of Bounded Arithmetic.J. Symb. Log.6531338-13462000Journal Articlesclosedjournals/jsyml/Takeuti0010.2307/2586703https://doi.org/10.2307/2586703https://dblp.org/rec/journals/jsyml/Takeuti00URL#6422706Kazuyuki TanakaTakeshi YamazakiA Non-Standard Construction of Haar Measure and Weak König's Lemma.J. Symb. Log.651173-1862000Journal Articlesclosedjournals/jsyml/TanakaY0010.2307/2586530https://doi.org/10.2307/2586530https://dblp.org/rec/journals/jsyml/TanakaY00URL#6422707Katrin TentA Note on The Model Theory of Generalized Polygons.J. Symb. Log.652692-7022000Journal Articlesclosedjournals/jsyml/Tent0010.2307/2586562https://doi.org/10.2307/2586562https://dblp.org/rec/journals/jsyml/Tent00URL#6422708Frank O. WagnerMinimal Fields.J. Symb. Log.6541833-18352000Journal Articlesclosedjournals/jsyml/Wagner0010.2307/2695078https://doi.org/10.2307/2695078https://dblp.org/rec/journals/jsyml/Wagner00URL#6422709Philip D. WelchEventually Infinite Time Turing Machine Degrees: Infinite Time Decidable Reals.J. Symb. Log.6531193-12032000Journal Articlesclosedjournals/jsyml/Welch0010.2307/2586695https://doi.org/10.2307/2586695https://dblp.org/rec/journals/jsyml/Welch00URL#6422710Ross WillardA Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties.J. Symb. Log.651187-2002000Journal Articlesclosedjournals/jsyml/Willard0010.2307/2586531https://doi.org/10.2307/2586531https://dblp.org/rec/journals/jsyml/Willard00URL#6422711Feng YeToward A Constructive Theory of Unbounded Linear Operators.J. Symb. Log.651357-3702000Journal Articlesclosedjournals/jsyml/Ye0010.2307/2586543https://doi.org/10.2307/2586543https://dblp.org/rec/journals/jsyml/Ye00URL#6422712Jindrich ZapletalKilling Ideals and Adding Reals.J. Symb. Log.652747-7552000Journal Articlesclosedjournals/jsyml/Zapletal0010.2307/2586566https://doi.org/10.2307/2586566https://dblp.org/rec/journals/jsyml/Zapletal00URL#6422713Martin ZemanDiamond at Mahlo Cardinals.J. Symb. Log.6541813-18222000Journal Articlesclosedjournals/jsyml/Zeman0010.2307/2695076https://doi.org/10.2307/2695076https://dblp.org/rec/journals/jsyml/Zeman00URL#6422714