Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 53
Volume 53, Number 1, March 1988
- Azriel Levy:
Alfred Tarski's Work in Set Theory. 2-6 - Lou van den Dries:
Alfred Tarski's Elimination Theory for Real Closed Fields. 7-19 - John Doner, Wilfrid Hodges:
Alfred Tarski and Decidable Theories. 20-35 - Willem J. Blok, Don Pigozzi:
Alfred Tarski's Work on General Metamathematics. 36-50 - John Etchemendy:
Tarski on Truth and Logical Consequence. 51-79 - Patrick Suppes:
Philosophical Implications of Tarski's Work. 80-91 - C. A. Johnson:
Seminormal lambda-Generated Ideals on Pk lambda. 92-102 - Robert S. Lubarsky:
Correction to "Simple R. E. Degree Structures". 103-104 - Stefano Berardi:
Equalization of Finite Flowers. 105-123 - Bruno Poizat:
MM. Borel, Tits, Zil'ber et le General Nonsense. 124-131 - Bruno Poizat:
Missionary Mathematics. 132-145 - Laura L. Mayer:
Vaught's Conjecture for o-Minimal Theories. 146-159 - Gaisi Takeuti:
Boolean Simple Groups and Boolean Simple Rings. 160-173 - Steffen Lempp:
A High Strongly Noncappable Degree. 174-187 - Gary A. Martin:
Definability in Reducts of Algebraically Closed Fields. 188-199 - Mitsuhiro Okada:
On a Theory of Weak Implications. 200-211 - Michael E. Mytilinaios, Theodore A. Slaman:
sigma2-Collection and the Infinite Injury Priority Method. 212-221 - Ian M. Hodkinson, H. D. Macpherson:
Relational Structures Determined by Their Finite Induced Substructures. 222-230 - Rami P. Grossberg:
A Downward Lowenheim-Skolem Theorem for Infinitary Theories which have the Unsuperstability Property. 231-242 - Miroslaw Kutylowski:
Finite Automata, Real Time Processes and Counting Problems in Bounded Arithmetics. 243-258 - Ilias G. Kastanas:
Initial Segments of triangle1 2n + 1 -Degrees. 259-268 - Thomas G. Kucera:
Generalizations of Deissler's Minimality Rank. 269-283 - Thomas G. Kucera:
Positive Deissler Rank and the Complexity of Injective Modules. 284-293 - R. Gurevic:
On Ultracoproducts of Compact Hausdorff Spaces. 294-300 - Krister Segerberg:
Meeting of the Association for Symbolic Logic: Auckland, 1986. 330-334
Volume 53, Number 2, June 1988
- Wilfrid Hodges, Wilfried Sieg:
A Symposium on Hilbert's Program. 337 - Wilfried Sieg:
Hilbert's Program Sixty Years Later. 338-348 - Stephen G. Simpson:
Partial Realizations of Hilbert's Program. 349-363 - Solomon Feferman:
Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions. 364-384 - Yo Matsubara:
Splitting P k lambda into Stationary Subsets. 385-389 - John P. Burgess:
Addendum to "The Truth is Never Simple". 390-392 - Jaime I. Ihoda:
Strong Measure Zero Sets and Rapid Filters. 393-402 - Fabio Bellissima:
Finite and Finitely Separable Intermediate Propositional Logics. 403-420 - Françoise Delon:
Extensions Separees et Immediates de Corps Values. 421-428 - Kenneth Kunen:
Where Ma First Fails. 429-433 - Elisabeth Bouscaren, Bruno Poizat:
Des Belles Paires aux Beaux Uples. 434-442 - Joseph Barback:
On Infinite Series of Infinite Isols. 443-462 - Dan Haran:
Quantifier Elimination in Separably Closed Fields of Finite Imperfectness Degree. 463-469 - Masahiro Yasumoto:
Algebraic Extensions in Nonstandard Models and Hilbert's Irreducibility Theorem. 470-480 - Penelope Maddy:
Believing the Axioms I. 481-511 - Michael C. Laskowski:
Uncountable Theories that are Categorical in a Higher Power. 512-530 - Michael Moses:
Decidable Discrete Linear Orders. 531-539 - Pierre Matet:
Some Filters of Partitions. 540-553 - Kosta Dosen, Peter Schroeder-Heister:
Uniqueness, Definability and Interpolation. 554-570 - Herbert H. J. Riedel:
Existentially Closed Algebras and Boolean Products. 571-596 - Mark Howard:
A Proofless Proof of the Barwise Compactness Theorem. 597-602 - Viggo Stoltenberg-Hansen, John V. Tucker:
Complete Local Rings as Domains. 603-624 - Steven Buechler:
The Classification of Small Weakly Minimal Sets II. 625-635 - Jaime I. Ihoda:
sigma12-Sets of Reals. 636-642
Volume 53, Number 3, September 1988
- (Withdrawn) A Normalization Theorem for Set Theory. 673-695
- Péter Komjáth, Saharon Shelah
:
Forcing Constructions for Uncountably Chromatic Graphs. 696-707 - Howard Becker:
A Characterization of Jump Operators. 708-728 - Katarzyna Idziak, Pawel M. Idziak:
Decidability Problem for Finite Heyting Algebras. 729-735 - Penelope Maddy:
Believing the Axioms II. 736-764 - Harold Hodes:
Cardinality Logics. Part II: Definability in Languages Based on 'Exactly'. 765-784 - Jörg Flum, Juan Carlos Martínez:
On Topological Spaces Equivalent to Ordinals. 785-795 - Lou van den Dries:
On the Elementary Theory of Restricted Elementary Functions. 796-808 - M. C. Stanley:
Backwards Easton Forcing and 0#. 809-833 - Hajnal Andréka, William Craig, István Németi:
A System of Logic for Partial Functions Under Existence-Dependent Kleene Equality. 834-839 - Jan M. Smith:
The Independence of Peano's Fourth Axiom from Martin-Lof's Type Theory Without Universes. 840-845 - Balázs Biró, Saharon Shelah:
Isomorphic but not Lower Base-Isomorphic Cylindric Set Algebras. 846-853 - D. J. Walker:
On the Transversal Hypothesis and the Weak Kurepa Hypothesis. 854-877 - Kate Copestake:
1-Genericity in the Enumeration Degrees. 878-887 - E. G. K. López-Escobar:
Circumscription within Monotonic Inferences. 888-904 - Philip Scowcroft:
A Note on Definable Skolem Functions. 905-911 - Philip Scowcroft:
More on Definable Sets of p-Adic Numbers. 912-920 - Max A. Dickmann:
The Model Theory of Chain-Closed Fields. 921-930 - Akito Tsuboi:
Strongly 2-Dimensional Theories. 931-936 - Ursula Gropp:
Coinductive Formulas and a Many-Sorted Interpolation Theorem. 937-960 - Stephen G. Simpson:
Ordinal Numbers and the Hilbert Basis Theorem. 961-974 - Steven Buechler:
The Classification of Small Weakly Minimal Sets. III: Modules. 975-979 - Harold Simmons:
Large Discrete Parts of the E-Tree. 980-984 - Julia F. Knight:
Meeting of the Association for Symbolic Logic: San Antonio, 1987. 1000-1006
Volume 53, Number 4, December 1988
- Jean-Pierre Ressayre:
Formal Languages Defined by the Underlying Structure of their Words. 1009-1026 - Chris Freiling, T. H. Payne:
Some Properties of Large Filters. 1027-1035 - Charles McCarty:
Constructive Validity is Nonarithmetic. 1036-1041 - Charles McCarty:
Markov's Principle, Isols and Dedekind Finite Sets. 1042-1069 - Robert S. Lubarsky:
Definability and Initial Segments of c-Degrees. 1070-1081 - R. Kaye, Jeff B. Paris, Costas Dimitracopoulos:
On Parameter Free Induction Schemas. 1082-1097 - Wolfgang Maass:
On the Use of Inaccessible Numbers and Order Indiscernibles in Lower Bound Arguments for Random Access Machines. 1098-1109 - Klaus Ambos-Spies, Peter A. Fejer:
Degree Theoretical Splitting Properties of Recursively Enumerable Sets. 1110-1137 - Philip Scowcroft, Lou van den Dries:
On the Structure of Semialgebraic Sets Over p-Adic Fields. 1138-1164 - Anand Pillay:
Sheaves of Continuous Definable Functions. 1165-1169 - Piotr Zakrzewski:
On Universal Semiregular Invariant Measures. 1170-1176 - Wendy MacCaull:
On the Validity of Hilbert's Nullstellensatz, Artin's Theorem, and Related Results in Grothendieck Toposes. 1177-1187 - Jaime I. Ihoda, Saharon Shelah:
Souslin Forcing. 1188-1207 - Mitchell Spector:
Ultrapowers Without the Axiom of Choice. 1208-1219 - James D. French:
The False Assumption Underlying Berry's Paradox. 1220-1223 - Remi Legrand:
A Basis Result in Combinatory Logic. 1224-1226 - Françoise Delon, Yamina Rouani:
Indecidabilite de Corps de Series Formelles. 1227-1234 - Jeff B. Paris, A. J. Wilkie, Alan R. Woods:
Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes. 1235-1244 - Daniel N. Osherson, Michael Stob, Scott Weinstein:
Mechanical Learners Pay a Price for Bayesianism. 1245-1251 - Martin Davis, Rohit Parikh:
Meeting of the Association for Symbolic Logic: New York City, May 1987. 1270-1274 - K. Jon Barwise, Richmond H. Thomason:
Logic and Linguistics Meeting, Stanford, 1987. 1275-1282 - Roderic A. Girle, I. C. Hinckfuss:
Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987. 1283-1286 - Nicolas D. Goodman, Harold T. Hodes, Carl G. Jockusch Jr., Kenneth McAloon:
Annual Meeting of the Association for Symbolic Logic, New York City, December 1987. 1287-1299
a service of 
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-04-19 19:19 CEST 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:
