Volume 65, Number 1, March 2000
export record as
dblp key:
journals/jsyml/BeigelGKMMS00 export record as
dblp key:
journals/jsyml/BereznyukCS00 export record as
dblp key:
journals/jsyml/Apostoli00 Peter Apostoli :
The Analytic Conception of Truth and The Foundations of Arithmetic.
33-102
export record as
dblp key:
export record as
dblp key:
journals/jsyml/Boughattas00 Sedki Boughattas :
Trois Theoremes Sur L'Induction Pour Les Formules Ouvertes Munies De L'Exponentielle.
111-154
export record as
dblp key:
journals/jsyml/Puninskaya00 Vera Puninskaya :
Vaught's Conjecture for Modules Over A Serial Ring.
155-163
export record as
dblp key:
journals/jsyml/ShinodaS00 export record as
dblp key:
export record as
dblp key:
Ross Willard :
A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties.
187-200
export record as
dblp key:
Alexis Bès :
An Extension of The Cobham-Semënov Theorem.
201-211
export record as
dblp key:
Francesco Orilia :
Property Theory and The Revision Theory of Definitions.
212-246
export record as
dblp key:
Paul Larson :
Separating Stationary Reflection Principles.
247-258
export record as
dblp key:
export record as
dblp key:
Saharon Shelah ,
Pauli Väisänen :
On Inverse gamma-Systems and The Number of Linfinite lambda -Equivalent, Non-Isomorphic Models for lambda Singular.
272-284
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsyml/DAgostinoH00 export record as
dblp key:
journals/jsyml/KomjathS00 export record as
dblp key:
export record as
dblp key:
Wai Yan Pong :
Some Applications of Ordinal Dimensions to The Theory of Differentially Closed Fields.
347-356
export record as
dblp key:
Feng Ye :
Toward A Constructive Theory of Unbounded Linear Operators.
357-370
export record as
dblp key:
journals/jsyml/BaldwinH00 export record as
dblp key:
Greg Hjorth :
Actions by The Classical Banach Spaces.
392-420
export record as
dblp key:
export record as
dblp key:
journals/jsyml/BaudischP00 export record as
dblp key:
export record as
dblp key:
Anand Pillay :
A Note on CM-Triviality and The Geometry of Forking.
474-480
Volume 65, Number 2, June 2000
export record as
dblp key:
export record as
dblp key:
journals/jsyml/Gluschankof00 export record as
dblp key:
Peter Dybjer :
A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory.
525-549
export record as
dblp key:
export record as
dblp key:
journals/jsyml/HamkinsL00 export record as
dblp key:
export record as
dblp key:
journals/jsyml/Kubierschky00 export record as
dblp key:
journals/jsyml/CzelakowskiJ00 export record as
dblp key:
journals/jsyml/HajekPS00a export record as
dblp key:
export record as
dblp key:
Katrin Tent :
A Note on The Model Theory of Generalized Polygons.
692-702
export record as
dblp key:
export record as
dblp key:
Hélène Lejeune :
Paires Élémentaires de Corps Pseudo-Finis: Dénombrement des Complétions.
705-718
export record as
dblp key:
journals/jsyml/Schlechta00 Karl Schlechta :
New Techniques and Completeness Results for Preferential Structures.
719-746
export record as
dblp key:
journals/jsyml/Zapletal00 export record as
dblp key:
Alexej P. Pynko :
Subprevarieties Versus Extensions. Application to The Logic of Paradox.
756-766
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Arnon Avron :
Implicational F-Structures and Implicational Relevance Logics.
788-802
export record as
dblp key:
journals/jsyml/BartoszynskiRS00 export record as
dblp key:
Rahim Moosa :
A Note On Uniform Definability and Minimal Fields of Definition.
817-821
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Gábor Sági :
A Completeness Theorem for Higher Order Logics.
857-884
export record as
dblp key:
Tracey Baldwin McGrail :
The Model Theory of Differential Fields with Finitely Many Commuting Derivations.
885-913
export record as
dblp key:
journals/jsyml/Baudisch00 export record as
dblp key:
Ágnes Kurucz :
On Axiomatising Products of Kripke Frames.
923-945
export record as
dblp key:
journals/jsyml/GurevichR00 export record as
dblp key:
journals/jsyml/CichonKMW00
Volume 65, Number 3, September 2000
export record as
dblp key:
export record as
dblp key:
journals/jsyml/SambinBF00 export record as
dblp key:
journals/jsyml/Erdelyi-Szabo00 Miklós Erdélyi-Szabó :
Undecidability of The Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis.
1014-1030
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsyml/BelegradekPW00 export record as
dblp key:
Dag Normann :
Computability over The Partial Continuous Functionals.
1133-1142
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsyml/CoquandSSS00 export record as
dblp key:
Philip D. Welch :
Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable Reals.
1193-1203
export record as
dblp key:
Amir Leshem :
On The Consistency of The Definable Tree Property on Alef-Symbol1 .
1204-1214
export record as
dblp key:
Hirotaka Kikyo :
Model Companions of Theories with An Automorphism.
1215-1222
export record as
dblp key:
export record as
dblp key:
Kerkko Luosto :
Hierarchies of Monadic Generalized Quantifiers.
1241-1263
export record as
dblp key:
export record as
dblp key:
journals/jsyml/ShelahV00a export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Françoise Point :
On Decidable Extensions of Presburger Arithmetic: From A. Bertrand Numeration Systems to Pisot Numbers.
1347-1374
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsyml/ChatzidakisW00 export record as
dblp key:
Volume 65, Number 4, December 2000
export record as
dblp key:
Ziv Shami :
Definability in Low Simple Theories.
1481-1490
export record as
dblp key:
Albin L. Jones :
A Polarized Partition Relation Using Elementary Substructures.
1491-1498
export record as
dblp key:
journals/jsyml/DyckhoffN00 Roy Dyckhoff ,
Sara Negri :
Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic.
1499-1518
export record as
dblp key:
Graham Priest :
Inconsistent Models of Arithmetic Part II: The General Case.
1519-1529
export record as
dblp key:
journals/jsyml/KuijpersPB00 export record as
dblp key:
journals/jsyml/Cantwell00 John Cantwell :
Logics of Belief Change without Linearity.
1556-1575
export record as
dblp key:
journals/jsyml/Fiorentini00 Camillo Fiorentini :
All Intermediate Logics with Extra Axions in One Variable, Except Eight, Are Not Strongly omega-Complete.
1576-1604
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Natacha Portier :
Le Problème des Grandes Puissances Et Celui des Grandes Racines.
1675-1685
export record as
dblp key:
journals/jsyml/Lotfallah00 export record as
dblp key:
export record as
dblp key:
Masaru Kada :
More on Cichon's Diagram and Infinite Games.
1713-1724
export record as
dblp key:
journals/jsyml/McNicholl00 export record as
dblp key:
Martin Otto :
Epsilon-Logic Is More Expressive Than First-Order Logic Over Finite Structures.
1749-1757
export record as
dblp key:
export record as
dblp key:
Jeremy Avigad :
Interpreting Classical Theories in Constructive Ones.
1785-1812
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsyml/SalbanyT00 export record as
dblp key:
journals/jsyml/HirokawaKN00 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsyml/McKenzie00 Ralph McKenzie :
Recursive Inseparability for Residual Bounds of Finite Algebras.
1863-1880
export record as
dblp key:
Slawomir Solecki :
Actions of Non-Compact and Non-Locally Compact Polish Groups.
1881-1894
export record as
dblp key:
export record as
dblp key:
Olivier Esser :
Inconsistency of The Axiom of Choice with The Positive Theory GPK+ infinite .
1911-1916
export record as
dblp key:
data released under the ODC-BY 1.0 license
