The Journal of Symbolic Logic, Volume 49 (original) (raw)

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches
• 

Venues:

• no matches
• 

Publications:

• no matches
• 

• > Home > Journals > The Journal of Symbolic Logic

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

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.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

dblp was originally created in 1993 at:

since 2018, dblp has been operated and maintained by: