default search action
The Journal of Symbolic Logic, Volume 65
Volume 65, Number 1, March 2000
- Richard Beigel, William I. Gasarch, Martin Kummer, Georgia Martin, Timothy H. McNicholl, Frank Stephan:
The Comlexity of OddAn. 1-18 - Stanislaw Bereznyuk, Richard Coles, Andrea Sorbi:
The Distribution of Properly Sigma02 e-Degrees. 19-32 - Peter Apostoli:
The Analytic Conception of Truth and The Foundations of Arithmetic. 33-102 - Thomas G. Kucera, Philipp Rothmaler:
Pure-Projective Modules and Positive Constructibility. 103-110 - Sedki Boughattas:
Trois Theoremes Sur L'Induction Pour Les Formules Ouvertes Munies De L'Exponentielle. 111-154 - Vera Puninskaya:
Vaught's Conjecture for Modules Over A Serial Ring. 155-163 - Juichi Shinoda, Theodore A. Slaman:
Recursive in A Generic Real. 164-172 - Kazuyuki Tanaka, Takeshi Yamazaki:
A Non-Standard Construction of Haar Measure and Weak König's Lemma. 173-186 - Ross Willard:
A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties. 187-200 - Alexis Bès:
An Extension of The Cobham-Semënov Theorem. 201-211 - Francesco Orilia
:
Property Theory and The Revision Theory of Definitions. 212-246 - Paul B. Larson:
Separating Stationary Reflection Principles. 247-258 - Saharon Shelah
Filters, Cohen Sets and Consistent Extensions of The Erdös-Dushnik-Miller Theorem. 259-271 - Saharon Shelah
On Inverse gamma-Systems and The Number of Linfinite lambda-Equivalent, Non-Isomorphic Models for lambda Singular. 272-284 - André Nies, Andrea Sorbi:
Structural Properties and Sigma02 Enumeration Degrees. 285-292 - Bradd Hart, Byunghan Kim, Anand Pillay:
Coordinatisation and Canonical Bases in Simple Theories. 293-309 - Giovanna D'Agostino, Marco Hollenberg:
Logical Questions Concerning The mu-Calculus: Interpolation, Lyndon and Los-Tarski. 310-332 - Péter Komjáth, Saharon Shelah
Two Consistency Results on Set Mappings. 333-338 - Petr Hájek, Jeff B. Paris, John C. Shepherdson:
The Liar Paradox and Fuzzy Logic. 339-346 - Wai Yan Pong:
Some Applications of Ordinal Dimensions to The Theory of Differentially Closed Fields. 347-356 - Feng Ye:
Toward A Constructive Theory of Unbounded Linear Operators. 357-370 - John T. Baldwin, Kitty L. Holland:
Constructing omega-Stable Structures: Rank 2 Fields. 371-391 - Greg Hjorth:
Actions by The Classical Banach Spaces. 392-420 - Willem L. Fouché
Arithmetical Representations of Brownian Motion I. 421-442 - Andreas Baudisch, Anand Pillay:
A Free Pseudospace. 443-460 - Carlos A. Di Prisco, James M. Henle:
Doughnuts, Floating Ordinals, Square Brackets, and Ultraflitters. 461-473 - Anand Pillay:
A Note on CM-Triviality and The Geometry of Forking. 474-480
Volume 65, Number 2, June 2000
- Josep Maria Font, Miquel Rius:
An Abstract Algebraic Logic Approach to Tetravalent Modal Logics. 481-518 - Daniel Gluschankof:
The Hahn Representation Theorem for l-Groups in ZFA. 519-524 - Peter Dybjer:
A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory. 525-549 - Renling Jin, H. Jerome Keisler:
Maharam Spectra of Loeb Spaces. 550-566 - Joel David Hamkins
Infinite Time Turing Machines. 567-604 - Alexander Bochman
Belief Contraction as Nonmonotonic Inference. 605-626 - Max Kubierschky:
Yet Another Hierarchy Theorem. 627-640 - Janusz Czelakowski, Ramon Jansana
Weakly Algebraizable Logics. 641-668 - Petr Hájek, Jeff B. Paris, John C. Shepherdson:
Rational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic. 669-682 - Kenneth Kunen, Franklin D. Tall:
The Real Line in Elementary Submodels of Set Theory. 683-691 - Katrin Tent:
A Note on The Model Theory of Generalized Polygons. 692-702 - Bruno Poizat, Frank O. Wagner:
Liftez Les Sylows! Une Suite À "Sous-Groupes Périodiques D'Un Groupe Stable". 703-704 - Hélène Lejeune:
Paires Élémentaires de Corps Pseudo-Finis: Dénombrement des Complétions. 705-718 - Karl Schlechta:
New Techniques and Completeness Results for Preferential Structures. 719-746 - Jindrich Zapletal
Killing Ideals and Adding Reals. 747-755 - Alexej P. Pynko:
Subprevarieties Versus Extensions. Application to The Logic of Paradox. 756-766 - David M. Evans, Frank O. Wagner:
Supersimple omega-Categorical Groups and Theories. 767-776 - Jörg Flum, Martin Grohe:
On Fixed-Point Logic With Counting. 777-787 - Arnon Avron:
Implicational F-Structures and Implicational Relevance Logics. 788-802 - Tomek Bartoszynski, Andrzej Roslanowski, Saharon Shelah
After All, There Are Some Inequalities Which Are Provable in ZFC. 803-816 - Rahim Moosa:
A Note On Uniform Definability and Minimal Fields of Definition. 817-821 - Ian E. Pratt, Dominik J. Schoop:
Expressivity in Polygonal, Plane Mereotopology. 822-838 - Keith A. Kearnes
Categorical Quasivarieties via Morita Equivalence. 839-856 - Gábor Sági:
A Completeness Theorem for Higher Order Logics. 857-884 - Tracey Baldwin McGrail:
The Model Theory of Differential Fields with Finitely Many Commuting Derivations. 885-913 - Andreas Baudisch:
Closures in Alef-Symbol0-Categorical Bilinear Maps. 914-922 - Ágnes Kurucz:
On Axiomatising Products of Kripke Frames. 923-945 - Yuri Gurevich, Alexander Moshe Rabinovich:
Definability and Undefinability with Real Order at The Background. 946-958 - Jacek Cichon
Dualization of The Van Douwen Diagram. 959-968
Volume 65, Number 3, September 2000
- Jean A. Larson:
An Ordinal Partition Avoiding Pentagrams. 969-978 - Giovanni Sambin, Giulia Battilotti, Claudia Faggian:
Basic Logic: Reflection, Symmetry, Visibility. 979-1013 - Miklós Erdélyi-Szabó:
Undecidability of The Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis. 1014-1030 - Saharon Shelah
Was Sierpinski Right? IV. 1031-1054 - Saharon Shelah
On Quantification with A Finite Universe. 1055-1075 - Jonathan P. Seldin:
On The Role of Implication in Formal Logic. 1076-1114 - Oleg V. Belegradek, Ya'acov Peterzil, Frank Wagner:
Quasi-O-Minimal Structures. 1115-1132 - Dag Normann:
Computability over The Partial Continuous Functionals. 1133-1142 - István Németi, Gábor Sági:
On The Equational Theory of Representable Polyadic Equality Algebras. 1143-1167 - Steven Awodey, Carsten Butz
Topological Completeness for Higher-Order Logic. 1168-1182 - Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith:
Formal Topologies on The Set of First-Order Formulae. 1183-1192 - Philip D. Welch
Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable Reals. 1193-1203 - Amir Leshem
On The Consistency of The Definable Tree Property on Alef-Symbol1. 1204-1214 - Hirotaka Kikyo
Model Companions of Theories with An Automorphism. 1215-1222 - Wolfgang Burr:
Fragments of Heyting Arithmetic. 1223-1240 - Kerkko Luosto
Hierarchies of Monadic Generalized Quantifiers. 1241-1263 - Andreas Blass, Yuri Gurevich:
The Logic of Choice. 1264-1310 - Saharon Shelah
Stationary Sets and Infinitary Logic. 1311-1320 - Ramón Pino Pérez, Carlos Uzcátegui:
On Representation Theorems for Nonmonotonic Consequence Relations. 1321-1337 - Gaisi Takeuti:
Gödel Sentences of Bounded Arithmetic. 1338-1346 - Françoise Point:
On Decidable Extensions of Presburger Arithmetic: From A. Bertrand Numeration Systems to Pisot Numbers. 1347-1374 - Toshiyasu Arai:
Ordinal Diagrams for PI3-Reflection. 1375-1394 - Masahiro Kumabe:
A 1-Generic Degree with A Strong Minimal Cover. 1395-1442 - Zoé Chatzidakis, Carol Wood:
Minimal Types in Separably Closed Fields. 1443-1450 - Mariagnese Giusto, Stephen G. Simpson
Located Sets and Reverse Mathematics. 1451-1480
Volume 65, Number 4, December 2000
- Ziv Shami:
Definability in Low Simple Theories. 1481-1490 - Albin L. Jones:
A Polarized Partition Relation Using Elementary Substructures. 1491-1498 - Roy Dyckhoff, Sara Negri:
Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic. 1499-1518 - Graham Priest:
Inconsistent Models of Arithmetic Part II: The General Case. 1519-1529 - Bart Kuijpers
Topological Elementary Equivalence of Closed Semi-Algebraic Sets in The Real Plane. 1530-1555 - John Cantwell:
Logics of Belief Change without Linearity. 1556-1575 - Camillo Fiorentini:
All Intermediate Logics with Extra Axions in One Variable, Except Eight, Are Not Strongly omega-Complete. 1576-1604 - Julia F. Knight, Michael Stob:
Computable Boolean Algebras. 1605-1623 - Saharon Shelah
Applications of PCF Theory. 1624-1674 - Natacha Portier:
Le Problème des Grandes Puissances Et Celui des Grandes Racines. 1675-1685 - Wafik Boulos Lotfallah:
Strong 0-1 Laws in Finite Model Theory. 1686-1704 - Markus Junker:
A Note On Equational Theories. 1705-1712 - Masaru Kada:
More on Cichon's Diagram and Infinite Games. 1713-1724 - Timothy H. McNicholl:
On The Commutativity of Jumps. 1725-1748 - Martin Otto:
Epsilon-Logic Is More Expressive Than First-Order Logic Over Finite Structures. 1749-1757 - Thomas Scanlon
A Model Complete Theory of Valued D-Fields. 1758-1784 - Jeremy Avigad
Interpreting Classical Theories in Constructive Ones. 1785-1812 - Martin Zeman:
Diamond at Mahlo Cardinals. 1813-1822 - Ofer Shafir, Saharon Shelah
More on Entangled Orders. 1823-1832 - Frank O. Wagner:
Minimal Fields. 1833-1835 - S. Salbany, Todor Todorov:
Nonstandard Analysis in Topology: Nonstandard and Standard Compactifications. 1836-1840 - Sachio Hirokawa, Yuichi Komori, Misao Nagayama:
A Lambda Proof of The P-W Theorem. 1841-1849 - Martin W. Bunder:
Expedited Broda-Damas Bracket Abstraction. 1850-1857 - Marcel Crabbé:
The Rise and Fall of Typed Sentences. 1858-1862 - Ralph McKenzie:
Recursive Inseparability for Residual Bounds of Finite Algebras. 1863-1880 - Slawomir Solecki:
Actions of Non-Compact and Non-Locally Compact Polish Groups. 1881-1894 - Arthur W. Apter, James Cummings
Identity Crises, Strong Compactness. 1895-1910 - Olivier Esser:
Inconsistency of The Axiom of Choice with The Positive Theory GPK+infinite. 1911-1916 - Dieter Spreen:
Corrigendum. 1917-1918
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 2024-11-19 20:46 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: