Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 47
Volume 47, Number 1, March 1982
- A. M. Dawes:
Splitting Theorems for Speed-Up Related to Order of Enumeration. 1-7 - Richard A. Shore:
On Homogeneity and Definability in the First-Order Theory of the Turing Degrees. 8-16 - Richard Statman:
Completeness, Invariance and lambda-Definability. 17-26 - C. H. Applebaum:
An Introduction to omega-Extensions of omega-Groups. 27-36 - Uri Abraham, Saharon Shelah
:
Forcing With Stable Posets. 37-42 - Thomas Jech:
On Hereditarily Countable Sets. 43-47 - Robert E. Byerly:
An Invariance Notion in Recursion Theory. 48-66 - Robert E. Byerly:
Recursion Theory and the Lambda-Calculus. 67-83 - Julius B. Barbanel:
Supercompact Cardinals, Elementary Embeddings and Fixed Points. 84-88 - Julius B. Barbanel:
Supercompact Cardinals and Trees of Normal Ultrafilters. 89-109 - Stål Aanderaa, Egon Börger, Harry R. Lewis:
Conservative Reduction Classes of Krom Formulas. 110-130 - Marcel Crabbé:
On the Consistency of an Impredicative Subsystem of Quine's NF. 131-136 - James M. Henle, William S. Zwicker:
Ultrafilters on Spaces of Partitions. 137-146 - Anand Pillay:
Dimension Theory and Homogeneity for Elementary Extensions of a Model. 147-160 - E. M. Kleinberg:
A Measure Representation Theorem for Strong Partition Cardinals. 161-168 - Iraj Kalantari, Anne Leggett:
Simplicity in Effective Topology. 169-183 - E. G. K. López-Escobar:
Implicational Logics in Natural Deduction Systems. 184-186 - Carl F. Morgenstern:
On Generalized Quantifiers in Arithmetic. 187-190 - George Boolos:
Extremely Undecidable Sentences. 191-196
Volume 47, Number 2, June 1982
- Michael Stob:
Index Sets and Degrees of Unsolvability. 241-248 - Daniel Lascar:
On the Category of Models of a Complete Theory. 249-266 - Britta Schinzel:
On Decomposition of Godelnumberings Into Friedbergnumberings. 267-274 - Arnold W. Miller:
The Baire Category Theorem and Cardinals of Countable Cofinality. 275-288 - Charles D. Parsons:
Intensional Logic in Extensional Language. 289-328 - Chi Tat Chong:
Double Jumps of Minimal Degrees Over Cardinals. 329-334 - Jouko A. Väänänen:
Abstract Logic and Set Theory. II. Large Cardinals. 335-346 - John R. Steel:
A Classification of Jump Operator. 347-358 - Vladimir Lifschitz:
Constructive Assertions in an Extension of Classical Mathematics. 359-387 - Ashok Maitra:
An Effective Selection Theorem. 388-394 - Jan Terlouw:
On Definition Trees of Ordinal Recursive Functonals: Reduction of the Recursion Orders by Means of Type Level Raising. 395-402 - Kenneth McAloon:
On the Complexity of Models of Arithmetic. 403-415 - L. A. S. Kirby:
Flipping Properties in Arithmetic. 416-422 - James H. Schmerl, Stephen G. Simpson:
On the Role of Ramsey Quantifiers in First Order Arithmetic. 423-435
Volume 47, Number 3, September 1982
- Norman Feldman:
Axiomatization of Polynomial Substitution Algebras. 481-492 - Craig Smorynski:
Recursively Saturated Nonstandard Models of Arithmetic; Addendum. 493-494 - Haim Gaifman, Marc Snir:
Probabilities Over Rich Languages, Testing and Randomness. 495-548 - James P. Jones:
Universal Diophantine Equation. 549-571 - John T. Baldwin, Douglas E. Miller:
Some Contributions to Definability Theory for Languages with Generalized Quantifiers. 572-586 - Julia F. Knight, Mark E. Nadel:
Expansions of Models and Turing Degrees. 587-604 - Douglas N. Hoover:
A Normal Form Theorem for L omega 1p , with Applications. 605-624 - Jean-François Pabion:
Saturated Models of Peano Arithmetic. 625-637 - George Boolos:
On the Nonexistence of Certain Normal Forms in the Logic of Provability. 638-640 - Bruno Poizat:
Deux Ou Trois Choses Que je Sais de Ln. 641-658 - James F. Lynch:
On Sets of Relations Definable by Addition. 659-668 - Walter Baur:
On the Elementary Theory of Pairs of Real Closed Fields. II. 669-679 - Jürg Schmid:
Model Companions of Distributive p-Algebras. 680-688
Volume 47, Number 4, December 1982
- Bruce I. Rose:
Preservation of Elementary Equivalence Under Scalar Extension. 734-738 - C. P. Farrington:
Constructible Lattices of c-Degrees. 739-754 - Menachem Magidor:
Reflecting Stationary Sets. 755-771 - Michael Katz:
Real-Valued Models with Metric Equality and Uniformly Continuous Predicates. 772-792 - John Bacon:
First-Order Logic Based on Inclusion and Abstraction. 793-808 - Wolfgang Maass:
Recursively Enumerable Generic Sets. 809-823 - Louise Hay, Douglas Miller:
A Topological Analog to the Rice-Shapiro Index Theorem. 824-832 - Julia F. Knight, Mark E. Nadel:
Models of Arithmetic and Closed Ideals. 833-840 - Michel Parigot:
Theories D'Arbres. 841-853 - S. Barry Cooper:
Partial Degrees and the Density Problem. 854-859 - Galen Weitkamp:
Analytic Sets Having Incomparable Kleene Degrees. 860-868 - Errol P. Martin, Robert K. Meyer:
Solution to the P-W Problem. 869-887 - Keith Devlin:
The Combinatorial Principle. 888-899
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-05-13 20:15 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:
