default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 30
Volume 30, Numbers 1-6, 1984
- Gerhard Jäger:
A Version of Kripke-Platek Set Theory which is Conservative over Peano Arithmetic. 3-9 - Andreas Rapp:
ON THE EXPRESSIVE POWER OF THE LOGICS L(Qαn1, ..., nm). 11-20 - Klemens Döpp:
Filterkonvergenz in der Nichtstandard-Analysis. 21-44 - Robert A. Bull:
The Classical Propositional Calculus of Arguments. 45-86 - Roberto Cignoli:
An Algebraic Approach to Elementary Theories Based on n-Valued Lukasiewicz Logics. 87-96
Volume 30, Numbers 7-8, 1984
- Matt Kaufmann, Evangelos Kranakis
:
Definable Ultrapowers and Ultrafilters over Admissible Ordinals. 97-118 - Bhavani M. Thuraisingham:
System Functions and their Decision Problems. 119-128
Volume 30, Numbers 9-11, 1984
- Paul E. Howard:
Rado's Selection Lemma Does not Imply the Boolean Prime Ideal Theorem. 129-132 - Hans Walter Buff:
ω-Konservativität der Nonstandardmengenlehre von Nelson BezüGlich ZF + Kompaktheitssatz. 133-144 - Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen:
Connections between Identifying Functionals, standardizing Operations, and Computable Numberings. 145-164 - Konrad Schultz:
A Generalization of Lindenbaum's Theorem for Predicate Calculi. 165-168 - Thomas Zeugmann:
On the Nonboundability of total Effective Operators. 169-172 - Barbara J. Lowesmith, Alan Rose:
A Generalisation of Slupecki's Criterion for Functional Completeness. 173-175
Volume 30, Number 12, 1984
- Alan Rose:
Generalised Functional Completeness of Sets of M-Valued Sheffer Functions. 177-182 - James M. Henle, Aki Kanamori, E. M. Kleinberg:
Filters for Square-Bracket Partition Relations. 183-192
Volume 30, Numbers 13-16, 1984
- Marco Forti, Furio Honsell:
Comparison of the Axioms of Local and Global Universality. 193-196 - Olaf Neumann:
On the Definition of Ordered n-Tuples. 197-198 - Charles G. Morgan:
Weak Conditional Comparative Probability as a Formal Semantic Theory. 199-212 - Ewa Orlowska:
Modal Logics in the Theory of Information Systems. 213-222 - Horst Struve:
Affine Ebenen mit OrthogonalitäTsrelation. 223-231 - Armin Hemmerling, Gerd Murawski:
Zur Raumkompliziertheit mehrdimensionaler Turing-Automaten. 233-258
Volume 30, Numbers 17-18, 1984
- Jürgen Hauck:
Eine neue Definition Berechenbarer reeller Funktionen. 259-268 - Hans-Dietrich Hecker:
Abstrakte Tempomasze und Speed-up-Theoremea FüR Enumerationen rekursiv-AufzäHlbarer Mengen. 269-281 - Hans-Dietrich Hecker:
Das Kompressionstheorem FüR Tempomasze. 283-288
Volume 30, Numbers 19-24, 1984
- Antonio Mario Sette:
Partial Isomorphism Extension Method and a Represntation Theorem for Post-Language. 289-293 - Rod Downey:
Some Remarks on a Theorem of Iraj Kalantari Concerning convexity and Recursion Theory. 295-302 - Fabio Bellissima:
Atoms in Modal Algebras. 303-312 - Nigel J. Cutland:
A Question of Borel Hyperdeterminacy. 313-316 - Maurice Margenstern:
Sur une Extension Simple du calcul intuitionniste des predicats du premier ordre Appliquee a L'analyse. 317-324 - László Csirmaz, Jeff B. Paris:
A Property of 2-Sorted Peano Models and Program Verification. 325-334 - Zvonimir Sikic:
Multiple Forms of Gentzen's Rules and Some Intermediate Logics. 335-338 - Lutz Heindorf:
Continuous Functions on Countable Ordinals. 339-340 - Bernd I. Dahn, Helmut Wolter:
Ordered Fields with Several exponential Functions. 341-348 - Zofia Seremet:
On Automorphisms of Resplendent Models of Arithmetic. 349-352 - Klemens Döpp:
Filterkonvergenz in der Nichtstandard-Analysis bei Nichtelementaren Funktionen. 353-384
Volume 30, Number 25, 1984
- Dolph Ulrich:
Answer to a Question Suggested by Schumm. 385-387 - Paul Goodyear:
Double Enlargements of Topological Spaces. 389-392 - Rod McBeth:
A Second Normal Form for Functions of the System EP. 393-400
Volume 30, Numbers 26-29, 1984
- Manfred E. Szabo:
Variable Truth. 401-414 - Harold T. Hodes:
The Modal Theory of Pure Identity and Some Related Decision Problems. 415-423 - Leon Harkleroad:
Fuzzy Recursion, RET's, and Isols. 425-436 - Paddy Farrinoton:
The First-Order Theory of the C-Degrees. 437-446 - Teodor Stepien:
A sufficient and Necessary Condition for Tarski's Property in Lindenbaum's Extensions. 447-453 - Klaus Denecke:
Algebraische Charakterisierungen Präprimaler Algebren. 455-464
Volume 30, Number 30, 1984
- Rodney G. Downey:
A Note on Decompositions of Recursively Enumerable Subspaces. 465-470 - Roman Murawski:
Trace Expansions of Initial Segments. 471-476 - John Jones:
Some Propositional Calculi with Constant and Variable Functors. 477-479
Volume 30, Number 31, 1984
- Ildikó Sain:
Structured Nonstandard Dynamic Logic. 481-497
Volume 30, Numbers 32-34, 1984
- Robert E. Byerly:
Definability of Recursively Enumerable Sets in Abstract Computational Complexity Theory. 499-503 - John L. Hickman:
Homogeneous Forms in Two Ordinal Variables. 505-508 - Bruno Scarpellini:
Complete Second Order Spectra. 509-524 - Franco Montagna:
A Completeness Result for Fixed-Point Algebras. 525-532
Volume 30, Number 35, 1984
- Annalisa Marcja, Carlo Toffalori:
On Pseudo -N0-Categorical Theories. 533-540 - Jannis Manakos:
On Skala's Set Theory. 541-546 - Lutz Heindorf:
Regular ideals and Boolean Pairs. 547-560
Volume 30, Number 36, 1984
- Jürgen Hauck:
Zur Wellengleichung mit konstruktiven Randbedingungen. 561-566 - Klaus Kaiser:
On Complementedly Normal Lattices II: Extensions. 567-573
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 2025-01-10 18:22 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:
