![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
The Journal of Symbolic Logic, Volume 38
Volume 38, Number 1, March 1973
- Charles E. Hughes:
Many-one Degrees Associated With Problems of Tag. 1-17 - John MacIntyre:
Minimal alpha-Recursion Theoretic Degrees. 18-28 - T. M. Scanlon:
The Consistency of Number Theory Via Herbrand's Theorem. 29-58 - C. Ward Henson
:
Type-Raising Operations on Cardinal and Ordinal Numbers in Quine's "New Foundations". 59-68 - C. Ward Henson
:
Permutation Methods Applied to Quine's "New Foundations". 69-76 - John Lake:
A Note on Modified Abstraction Principles. 77-78 - H. Jerome Keisler, Wilbur Walkoe Jr.:
The Diversity of Quantifier Prefixes. 79-85 - Dov M. Gabbay:
The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields. 86-92 - Paul D. Bacsich:
Defining Algebraic Elements. 93-101 - Craig Smorynski:
Elementary Intuitionistic Theories. 102-134
Volume 38, Number 2, June 1973
- Lars Svenonius:
On the First-Order Logic of Terms. 177-188 - Nicholas C. K. Phillips:
The Set Theoretical Foundations of Nonstandard Analysis. 189-192 - Fred Galvin, Karel Prikry:
Borel Sets and Ramsey's Theorem. 193-198 - Richard E. Ladner
:
Mitotic Recursively Enumerable Sets. 199-211 - R. S. Pierce:
Bases of Countable Boolean Algebras. 212-214 - Satoko Titani:
A Proof of the Cut-Elimination Theorem in Simple Type Theory. 215-226 - Victor W. Marek:
Observations Concerning Elementary Extensions of omega-Models. II. 227-231 - Philip T. Shepard:
A Finite Arithmetic. 232-248 - S. Barry Cooper:
Minimal Degrees and the Jump Operator. 249-271 - Glen H. Suter:
Recursive Elements and Constructive Extensions of Computable Local Integral Domains. 272-290 - Andrzej Ehrenfeucht:
Discernible Elements in Models for Peano Arithmetic. 291-292 - Carl G. Jockusch Jr.:
An Application of sigma04 Determinancy to the Degrees of Unsolvability. 293-294 - Clement F. Kent:
The Relation of A to Prov A in the Lindenbaum Sentence Algebra. 295-298 - E. M. Kleinberg, Joel I. Seiferas:
Infinite Exponent Partition Relations and Well-Ordered Choice. 299-308 - P. M. Cohn:
The Word Problem for Free Fields. 309-314 - Harvey Friedman:
The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic. 315-319 - Anil Nerode, K. Jon Barwise:
Meeting of the Association for Symbolic Logic. 348-358
Volume 38, Number 3, September 1973
- Robert G. Jeroslow:
Redundancies in the Hilbert-Bernays Derivability Conditions for Gödel's Second Incompleteness Theorem. 359-367 - John MacIntyre:
Noninitial Segments of the alpha-Degrees. 368-388 - Ian D. Clark:
An Axiomatisation of Quantum Logic. 389-392 - Peter G. Hinman:
Degrees of Continuous Functionals. 393-395 - Richard Mansfield:
On the Possibility of a Sigma12 Well-Ordering of the Baire Space. 396-398 - Saharon Shelah
:
Weak Definability in Infinitary Languages. 399-404 - Harvey M. Friedman:
Borel Sets and Hyperdegrees. 405-409 - John Lake:
On an Ackermann-Type Set Theory. 410-412 - Julia F. Knight:
Complete Types and the Natural Numbers. 413-415 - Paul E. Howard:
Limitations on the Fraenkel-Mostowski Method of Independence Proofs. 416-422 - E. M. Kleinberg:
Rowbottom Cardinals and Jonsson Cardinals are Almost the Same. 423-427 - Angus Macintyre:
The Word Problem for Division Rings. 428-436 - Carl G. Jockusch Jr., Robert I. Soare:
Encodability of Kleene's O. 437-440 - Henk Barendregt:
A Characterization of Terms of the lambda I-Calculus Having a Normal Form. 441-445 - Carl G. Jockusch Jr., Robert I. Soare:
Post's Problem and His Hypersimple Set. 446-452 - Nicolas D. Goodman:
The Faithfulness of the Interpretation of Arithmetic in the Theory of Constructions. 453-459 - John Gregory:
Uncountable Models and Infinitary Elementary Extensions. 460-470 - Harry R. Lewis, Warren D. Goldfarb:
The Decision Problem for Formulas with a Small Number of Atomic Subformulas. 471-480 - Leslie H. Tharp:
The Characterization of Monadic Logic. 481-488 - Haskell B. Curry:
The Consistency of a System of Combinatory Restricted Generality. 489-492 - Gregory L. Cherlin:
Algebraically Closed Commutative Rings. 493-499 - Abraham Robinson:
Metamathematical Problems. 500-516 - J. Donald Monk, Jan Mycielski, Jürgen Schmidt:
Meeting of the Association for Symbolic Logic, Dallas 1973. 541-549
Volume 38, Number 4, December 1973
- Keith J. Devlin:
Measurable Cardinals and a Combinatorial Principle of Jensen. 551-560 - Julia F. Knight:
Generic Expansions of Structures. 561-570 - Jonathan P. Seldin:
Equality in F 21. 571-575 - James S. Johnson:
Axiom Systems for First Order Logic with Finitely Many Variables. 576-578 - Manuel Blum, Ivan Marques:
On Complexity Properties of Recursively Enumerable Sets. 579-593 - Jonathan Stavi:
A Converse of the Barwise Completeness Theorem. 594-612 - Melvin Fitting:
Model Existence Theorems for Modal and Intuitionistic Logics. 613-627 - Stål Aanderaa, Harry R. Lewis:
Prefix Classes of Krom Formulas. 628-642
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.