default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 49
Volume 49, Number 1, March 1984
- Andreas Baudisch:
Magidor-Malitz Quantifiers in Modules. 1-8 - Robert E. Byerly:
Some Properties of Invariant Sets. 9-21 - Evangelos Kranakis:
Stepping Up Lemmas in Definable Partitions. 22-31 - Philipp Rothmaler:
Some Model Theory of Modules. III. On Infiniteness of Sets Definable in Modules. 32-46 - Frederic Brenton Fitch:
Correction to a Definition of Negation. 47-50 - Wolfgang Maass:
On the Orbits of Hyperhypersimple Sets. 51-62 - Jacek Cichon
:
On the Compactness of Some Boolean Algebras. 63-67 - Stanley Burris:
Model Companions for Finitely Generated Universal Horn Classes. 68-74 - Solomon Feferman:
Toward Useful Type-Free Theories. I. 75-111 - Julius B. Barbanel, Carlos DiPrisco, It Beng Tan:
Many-Times Huge and Superhuge Cardinals. 112-122 - Nobuyoshi Motohashi:
Equality and Lyndon's Interpolation Theorem. 123-128 - D. Miller, Jeffrey B. Remmel:
Effectively Nowhere Simple Sets. 129-136 - Manuel Lerman, Jeffrey B. Remmel:
The Universal Splitting Property. II. 137-150 - David Rosenthal:
The Order Indiscernibles of Divisible Ordered Abelian Groups. 151-160 - Alexander S. Kechris:
The Axiom of Determinancy Implies Dependent Choices in L(R). 161-173 - Raymond D. Gumb:
An Extended Joint Consistency Theorem for a Family of Free Modal Logics with Equality. 174-183 - Yuri Gurevich, Harry R. Lewis:
The Word Problem for Cancellation Semigroups with Zero. 184-191 - Nicolas D. Goodman:
Epistemic Arithmetic is a Conservative Extension of Intuitionistic Arithmetic. 192-203 - Christian Hort, Horst Osswald:
On Nonstandard Models in Higher Order Logic. 204-219 - Berthold J. Maier:
Existentially Closed Torsion-Free Nilpotent Groups of Class Three. 220-230 - Ahmad Almukdad, David Nelson:
Constructible Falsity and Inexact Predicates. 231-233 - James E. Baumgartner:
Generic Graph Construction. 234-240 - Matt Kaufmann:
Filter Logics on omega. 241-256 - Dan Velleman:
Simplified Morasses. 257-271 - George Mills, Jeff B. Paris:
Regularity in Models of Arithmetic. 272-280 - Kay Smith:
Commutative Regular Rings and Boolean-Valued Fields. 281-297 - Tim Carlson, Kenneth Kunen, Arnold W. Miller:
A Minimal Degree Which Collapses omega1. 298-300 - J. W. Addison, Herbert B. Enderton:
Meeting of the Association for Symbolic Logic: Berkeley, 1983. 322-326
Volume 49, Number 2, June 1984
- Branislav R. Boricic:
A Note on Some Intermediate Propositional Calculi. 329-333 - Arnon Avron:
Relevant Entailment-Semantics and Formal Systems. 334-342 - Chris Freiling:
Banach Games. 343-375 - Peter Clote:
A Recursion Theoretic Analysis of the Clopen Ramsey Theorem. 376-400 - Robert Goldblatt:
Orthomodularity is not Elementary. 401-404 - Françoise Delon:
Espaces Ultrametriques. 405-424 - Julia F. Knight, Alistair H. Lachlan, Robert I. Soare:
Two Theorems on Degrees of Models of True Arithmetic. 425-436 - Edward R. Griffor, Dag Normann:
The Definability of E(alpha). 437-442 - Johan van Benthem:
Questions About Quantifiers. 443-466 - Andreas Blass:
There are not Exactly Five Objects. 467-469 - Steven Buechler:
Expansions of Models of omega-Stable Theories. 470-477 - Paul Bankston:
Expressive Power in First Order Topology. 478-487 - Dong Ping Yang:
On the Embedding of alpha-Recursive Presentable Lattices into the alpha-Recursive Degrees Below 0'. 488-502 - S. Barry Cooper:
Partial Degrees and the Density Problem. Part 2: The Enumeration Degrees of the sigma2 Sets are Dense. 503-513 - Ieke Moerdijk:
Heine-Borel Does not Imply the Fan Theorem. 514-519 - M. J. Cresswell:
An Incomplete Decidable Modal Logic. 520-527 - Rodney G. Downey:
Co-Immune Subspaces and Complementation in V. 528-538 - Ronald J. Watro:
On Partitioning the Infinite Subsets of Large Cardinals. 539-541 - James M. Henle:
Spector Forcing. 542-554 - James M. Henle:
Weak Strong Partition Cardinals. 555-557 - James E. Baumgartner, James M. Henle:
Infinite Subscripts from Infinite Exponents. 558-562 - Richard Watnick:
A Generalization of Tennenbaum's Theorem on Effectively Finite Recursive Linear Orderings. 563-569 - Pavel Pudlák, Antonín Sochor:
Models of the Alternative Set Theory. 570-585 - Klaus Ambos-Spies:
An Extension of the Nondiamond Theorem in Classical and alpha-Recursion Theory. 586-607 - Wlodzimierz Zadrozny:
Ordinal Definability in Jensen's Model. 608-620 - Maurice Boffa:
Arithmetic and the Theory of Types. 621-624 - Lou van den Dries:
Algebraic Theories with Definable Skolem Functions. 625-629 - Michael Beeson, Andre Scedrov:
Church's Thesis, Continuity, and Set Theory. 630-643 - Dan Saracino, Carol Wood:
QE Commutative Nilrings. 644-651 - Carl G. Jockusch Jr., Richard Laver, J. Donald Monk, Jan Mycielski, Jon Pearce:
Annual Meeting of the Association for Symbolic Logic: Denver, 1983. 674-682 - E. Casari, E. J. Fenstad, G. Lolli, G. Longo, Annalisa Marcja, Dirk van Dalen:
Meeting of the Association for Symbolic Logic: Florence, Italy 1982. 683-710
Volume 49, Number 3, September 1984
- Jean-Yves Girard, Jacqueline Vauzeilles:
Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy. 713-729 - Jan M. Smith:
An Interpretation of Martin-Lof's Type Theory in a Type-Free Theory of Propositions. 730-753 - A. P. Hiller, J. Zimbarg Sobrinho:
Self-Reference with Negative Types. 754-773 - Douglas A. Cenzer:
Monotone Reducibility and the Family of Infinite Sets. 774-782 - Stephen G. Simpson:
Which Set Existence Axioms are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differential Equations? 783-802 - Bruno Poizat:
Deux Remarques a Propos de la Propriete de Recouvrement Fini. 803-807 - Yoshihiro Abe:
Strongly Compact Cardinals, Elementary Embeddings and Fixed Points. 808-812 - Andrzej Pelc:
Idempotent Ideals on Abelian Groups. 813-817 - James P. Jones, Yuri V. Matijasevic:
Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets. 818-829 - Alan H. Mekler:
C. C. C. Forcing without Combinatorics. 830-832 - Claude Sureson:
Complexity of kappa-Ultrafilters and Inner Models with Measurable Cardinals. 833-841 - Kevin J. Compton:
An Undecidable Problem in Finite Combinatorics. 842-850 - Gaisi Takeuti, Satoko Titani:
Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory. 851-866 - Gerhard Jäger:
The Strength of Admissibility Without Foundation. 867-879 - Anand Pillay:
Regular Types in Nonmultidimensional omega-Stable Theories. 880-891 - Wim Ruitenburg:
On the Period of Sequences (An(p)) in Intuitionistic Propositional Calculus. 892-899 - Robert H. Gilman:
Characteristically Simple 0-Categorical Groups. 900-907 - Gerrit van Der Hoeven, Ieke Moerdijk:
On Choice Sequences Determined by Spreads. 908-916 - Robert K. Meyer, Chris Mortensen:
Inconsistent Models for Relevant Arithmetics. 917-929 - Steven Buechler:
Kueker's Conjecture for Superstable Theories. 930-934 - Arnon Avron:
On Modal Systems Having Arithmetical Interpretations. 935-942 - Peter W. Woodruff:
On Supervaluations in Free Logic. 943-950 - Cornelia Kalfa:
Some Undecidability Results in Strong Algebraic Languages. 951-954 - Henryk Kotlarski:
Some Remarks on Initial Segments in Models of Peano Arithmetic. 955-960 - Juan Carlos Martínez:
Accessible Sets and (L 1)t-Equivalence for T3 Spaces. 961-967
Volume 49, Number 4, December 1984
- Dan Velleman:
Simplified Morasses with Linear Limits. 1001-1021 - Saharon Shelah:
Diamonds, Uniformization. 1022-1033 - Saharon Shelah:
More on Proper Forcing. 1034-1038 - C. Ward Henson, Matt Kaufmann, H. Jerome Keisler:
The Strength of Nonstandard Methods in Arithmetic. 1039-1058 - Alasdair Urquhart:
The Undecidability of Entailment and Relevant Implication. 1059-1073 - Marcel Crabbé:
Typical Ambiguity and the Axiom of Choice. 1074-1078 - Jean-Yves Girard, Jacqueline Vauzeilles:
Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy. 1079-1114 - Francis Oger:
The Model Theory of Finitely Generated Finite-by-Abelian Groups. 1115-1124 - Rodney G. Downey, Jeffrey B. Remmel:
The Universal Complementation Property. 1125-1136 - Christopher J. Ash, Rodney G. Downey:
Decidable Subspaces and Recursively Enumerable Subspaces. 1137-1145 - Rodney G. Downey:
Bases of Supermaximal Subspaces and Steinitz Systems. I. 1146-1159 - Lawrence V. Welch:
A Hierarchy of Families of Recursively Enumerable Degrees. 1160-1170 - James Loveys:
The Uniqueness of Envelopes in 0-Categorical, 0-Stable Structures. 1171-1184 - Saharon Shelah, W. Hugh Woodin:
Forcing the Failure of Ch by Adding a Real. 1185-1189 - Eberhard Herrmann:
Definable Structures in the Lattice of Recursively Enumerable Sets. 1190-1197 - Peter Koepke:
The Consistency Strength of the Free-Subset Property for omegaomega. 1198-1204 - Carl G. Jockusch Jr., Richard A. Shore:
Pseudo-Jump Operators. II: Transfinite Iterations, Hierarchies and Minimal Covers. 1205-1236 - Warren D. Goldfarb:
The Unsolvability of the Godel Class with Identity. 1237-1252 - Warren D. Goldfarb, Yuri Gurevich, Saharon Shelah:
A Decidable Subclass of the Minimal Godel Class with Identity. 1253-1261 - Nobuyoshi Motohashi:
A Normal Form Theorem for First Order Formulas and Its Application to Gaifman's Splitting Theorem. 1262-1267 - James M. Henle, E. M. Kleinberg, Ronald J. Watro:
On the Ultrafilters and Ultrapowers of Strong Partition Cardinals. 1268-1272 - Ramez L. Sami:
On Sigma11 Equivalence Relations with Borel Classes of Bounded Rank. 1273-1283 - Peter Schroeder-Heister:
A Natural Extension of Natural Deduction. 1284-1300 - Harold T. Hodes:
Finite Level Borel Games and a Problem Concerning the Jump Hierarchy. 1301-1318 - Giuseppe Longo, Eugenio Moggi:
The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types. 1319-1332 - Cornelia Kalfa:
Decidable Properties of Finite Sets of Equations in Trivial Languages. 1333-1338 - Dirk van Dalen:
How to Glue Analysis Models. 1339-1349 - Anand Pillay, Gabriel Srour:
Closed Sets and Chain Conditions in Stable Theories. 1350-1362 - Melvin Fitting:
Linear Reasoning in Modal Logic. 1363-1378 - Jürgen Saffe:
Categoricity and Ranks. 1379-1392 - Harold T. Hodes:
Well-Behaved Modal Logics. 1393-1402 - Graham Priest:
Meeting of the Association for Symbolic Logic: Perth, 1983. 1426-1429 - Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa, Carlos A. Di Prisco:
Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983. 1430-1440 - George Boolos, Sy D. Friedman:
Annual Meeting of the Association for Symbolic Logic: Boston 1983. 1441-1449
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-12-08 01:19 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:
