default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 24
Volume 24, Numbers 1-6, 1978
- Jean-Luc Paillet:
Une Etude sur des Structures Ayant une Certaine Propriete de Seuil Pour les Automorphismes Elementaires. 7-24 - Melvin Fitting:
Elementary Formal Systems for Hyperarithmetical Relations. 25-30 - James M. Henle, Eugene M. Kleinberg:
A Flipping Characterization of Ramsey Cardinals. 31-36 - Dov M. Gabbay:
What is a Classical Connective? 37-44 - H. F. J. Lowig:
Vollständige Mengen von Algebren. 45-53 - Thomas Ottmann:
Eine Einfache Universelle Menge Endlicher Automaten. 55-61 - Detlef Seese:
Über Unentscheidbare Erweiterungen von SC. 63-71 - Heinrich Herre, Helmut Wolter:
Entscheidbarkeit der Theorie der Linearen Ordnung in L. 73-78 - Dietlinde Lau:
Bestimmung der Ordnung Maximaler Klassen von Funktionen der k-Wertigen Logik. 79-96
Volume 24, Number 7, 1978
- K. Potthoff:
Orderings of Types of Countable Arithmetic. 97-108 - Alan Rose:
A Note on Formalisation by the Method of Description of Truth-Tables. 109-112
Volume 24, Number 8, 1978
- Douglas S. Bridges:
A Note on Morse's Lambda-Notation in Set Theory. 113-114 - Dimiter Skordev
:
A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces. 115-124 - Martin W. Bunder:
Equality in. 125-127
Volume 24, Numbers 9-11, 1978
- Alistair H. Lachlan:
Spectra of ω-Stable Theories. 129-139
Volume 24, Number 12, 1978
- Dietrich Schwartz:
Kanonische Abbildungen und Eilenberg-Maschinen. 177-186 - Michael Byrd, Dennis Henry:
Sugihara's Criterion and Some Structural Parallels Between E→ and S3→. 187-191
Volume 24, Numbers 13-14, 1978
- Robert P. Daley:
On the Simplicity of Busy Beaver Sets. 207-224
Volume 24, Numbers 15-16, 1978
- Robert A. Herrmann:
The Nonstandard Theory of Semi-Uniform Spaces. 237-256
Volume 24, Numbers 17-18, 1978
- Martin Weese:
Definierbare Prädikate in Booleschen Algebren II. 257-278 - Michall Muzalewski:
Restricted Decision Problems in Some Classes of Algebraic Systems. 279-287
Volume 24, Numbers 19-24, 1978
- Daniel Gogol:
The ∀n∃-Completeness of Zermelo-Fraenkel Set Theory. 289-290 - Bohuslav Balcar, Petr Hájek:
On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75). 291-296 - Diana Schmidt:
Associative Ordinal Functions, Well Partial Orderings and a Problem of Skolem. 297-302 - Gérard Lopez:
L'Indeformabilite des Relations et Multirelations Binaires. 303-317 - Paul E. Cohen:
Some Continuity Properties for Ultraproducts. 319-321 - Paul E. Cohen:
Iterated Forcing without Boolean Algebras. 323-324 - Allan W. Ristow:
The Existence of Certain Partitions on Cartesian Products. 325-333 - Williams Kramer Forrest:
A Note on Universal Classes with Applications to the Theory of Graphs. 335-346 - Bruno Poizat:
Etude D'Un Forcing en Théorie des Modèles. 347-356 - Philip W. Grant:
The Completeness of L. 357-364 - Jürgen Hauck:
Konstruktive Darstellungen Reeller Zahlen und Folgen. 365-374 - Heinrich Herre, Alexander G. Pinus:
Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren. 375-384
Volume 24, Numbers 25-30, 1978
- William S. Hatcher:
A Language for Type-Free Algebra. 385-397 - Nadejda Georgieva:
An Extention of the Decidable Class of Equations Considered by Goodstein and Lee. 399-404 - Michael Byrd:
On the Addition of Weakened L-Reduction Axioms to the Brouwer System. 405-408 - Richard A. Shore:
Some More Minimal Pairs of α-Recursively Enumerable Degrees. 409-418 - Karel Hrbacek:
On the Complexity of Analytic Sets. 419-425 - M. D. Krol:
A Topological Model for Intuitionistic Analysis with Kripke's Scheme. 427-436 - Alan Rose:
A Three-Valued Model for Set Theory. 437-440 - John L. Hickman:
On McBeth's Paper, "Fundamental Sequences for Initial Ordinals Smaller than a Certain θ0". 441-442 - Atwell R. Turquette:
Alternative Axioms for Peirce's Triadic Logic. 443-444 - Bruce M. Horowitz:
Sets Completely Creative Via Recursive Permutations. 445-452 - Paul D. Humke:
A Note on Connected Coverings of the Plane. 453-456 - William Ryan:
Gödel's Second Incompleteness Theorem for General Recursive Arithmetic. 457-459 - N. Goodman, J. Myhill:
Choice Implies Excluded Middle. 461 - David W. H. Gillam:
A Concrete Representation Theorem for Intervals of Multirelations. 463-466 - W. Richard Stark:
A Forcing Approach to Strict-II11 Reflection and Strict-II11 = ∑01. 467-479
Volume 24, Numbers 31-36, 1978
- Charles C. Pinter:
Properties Preserved under Definitional Equivalence and Interpretations. 481-488 - John T. Baldwin:
Some EC∑ Classes of Rings. 489-492 - Douglas S. Bridges:
On Weak Operator Compactness of the Unit Ball of L(H). 493-494 - Maurice Margenstern:
On a Variant of Constructivisation of the Theory of Almost Periodic Functions. 495-507 - Norbert Klingen:
Zur Modelltheorie Lokaler und Globaler Körper. 509-522 - Ludwig Staiger, Klaus W. Wagner:
Rekursive Folgenmengen I. 523-538 - Martin Kühnrich:
Superclasses in a Finite Extension of Zermelo Set Theory. 539-552 - Philip J. Scott:
The "Dialectica" Interpretation and Categories. 553-575
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-11-08 20: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:
