default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 34
Volume 34, Number 1, 1988
- Dirk van Dalen, Fer-Jan de Vries:
Intuitionistic Free Abelian Groups. 3-12 - Costas Dimitracopoulos, Jeff B. Paris:
A Note on a Theorem of H. FRIEDMAN. 13-17 - Ray E. Jennings, J. M. Pelham, Robert R. O'Toole:
Modal Undefinability in Some Alternative Leibnizian Frames. 19-24 - Daniel Abraham Romano:
Rings and Fields, a Constructive View. 25-40 - Maciej Kandulski:
The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars. 41-52 - Hans Kleine Büning, Theodor Lettmann:
First-Order Formulas in Conjunctive Quantificational Form. 53-64 - J. W. Degen:
There Can Be a Permutation Which Is Not The Product of Two Reflections. 65-66 - Michael Deutsch:
Eine Bemerkung Zur Spektralen Darstellung Aufzählbarer Und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∀∃∀∃∞ (ϱ, 1). 67-78 - Horst Struve, Rolf Struve
:
Zum Begriff Der Projektiv-Metrischen Ebene. 79-88 - Erhard Quaisser:
Zum Stufenaufbau Von Translationsebenen in Spiegelungsgeometrischer Darstellung. 89-95
Volume 34, Number 2, 1988
- Mark A. Mandelkern:
Constructively Complete Finite Sets. 97-103 - Shih Ping Tung:
Definability on Formulas With Single Quantifier. 105-108 - Michael H. Albert, Stanley Burris:
Bounded Obstructions, Model Companions and Amalgamation Bases. 109-115 - Antoni Torrens:
On The Role of The Polynomial (X → Y) → Y in Some Implicative Algebras. 117-122 - Jan Krajícek:
Some Results and Problems in The Modal Set Theory MST. 123-134 - Wojciech Zielonka:
Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String. 135-142 - Andrzej Orlicki:
Strong Reducibilities of Enumerations and Partial Enumerated Algebras. 143-162 - Michael Deutsch:
Eine Bemerkung Zur Spektralen Darstellung Von ϱ-Stelligen Aufzählbaren Und Koaufzählbaren Prädikaten Durch Ausdrücke Aus ∃∞∀ϵ∃(ϱ, 1) ∀∞∃(ϱ, 1) Und ∀∞∃(∞, 1). 163-176 - Klaus Denecke:
Algebraische Eigenschaften Eines Funktional Unvollständigen Dreiwertigen Aussagenkalküls. 177-188 - Pierre Matet:
Some Aspects of n-Subtlety. 189-192
Volume 34, Number 3, 1988
- Jean Guillaume Hagendorf:
Sur La Reconstruction Des Ordres Totaux. 193-200 - Martin M. Zuckerman:
Products of 3 or 4 Ordinals. 201-204 - Leila Z. Puga, Newton C. A. da Costa:
On The Imaginary Logic of N. A. VASILIEV. 205-211 - Daniel Gluschankof, Miguel Tilli:
Maximal Deductive Systems and Injective Objects in the Category of Hilbert Algebras. 213-220 - David W. Kueker:
Vaught Sentences and the Covering Theorem. 221-228 - Dick De Jongh, Franco Montagna:
Provable Fixed Points. 229-250 - Giovanna Corsi:
Quantified Modal Logic With Rigid Terms. 251-259 - Zofia Adamowicz, Roman Kossak:
A Note on BΣn and an Intermediate Induction Schema. 261-264 - Andrzej Orlicki:
Binary Relations Over the Category of Enumerated Sets. 265-276 - Martin Kummer:
The Length Problem for Co-R.E. Sets. 277-282 - Charles N. Delzell:
Correction to "Note on Quantifier Prefixes Over Diophantine Equations". 283-286 - Josep Maria Font:
Correction to "Some Remarks on Heyting Matrices". 287-288
Volume 34, Number 4, 1988
- Leopoldo Román:
Ultradiophantine Categories. 289-295 - Benedetto Intrigila:
Negative Results on the Reduction of the Recursion Scheme. 297-300 - Robert K. Meyer, Errol P. Martin, Steve Giambrone, Alasdair Urquhart:
Further Results on Proof Theories For Semilattice Logics. 301-304 - F. W. Gorgy:
On the Impossibility of Transformation of All True Formulas Of Markov's Language L1 into True Formulas of His Language ℝ. 305-307 - Antonín Sochor:
Extendability of Functions on Models of ZFFin. 309-315 - Günter Asser:
Zur Robinson-Charakterisierung Der Einstelligen Primitiv Rekursiven Wortfunktionen. 317-322 - Joji Takahashi, Kazuaki Kajitori:
Precipitousness of a Sum of Ideals on Complete Boolean Algebras. 323-330 - Frederick Bagemihl:
An Aleph Hypothesis, and its Consequences for Beths, Sums of Beths, and Infinite Products of Alephs. 331-336 - J. Richard Büchi, Steven Senger:
Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory. 337-342 - Pascal Ostermann:
Many-Valued Modal Propositional Calculi. 343-354 - Daniel Richardson:
Non Standard Models of the Theory of Elementary Functions of a Real Variable. 355-372 - Maciej Kandulski:
Phrase Structure Languages Generated by Categorial Grammars With Product. 373-383
Volume 34, Number 5, 1988
- Seiki Akama:
On the Proof Method for Constructive Falsity. 385-392 - Hiroya Kawai:
Completeness Theorems for Temporal Logics TΩ and □TΩ. 393-398 - Hilbert Levitz, Warren D. Nichols:
A Natural Variant of Ackermann's Function. 399-401 - Andrea Cantini:
Two Impredicative Theories of Properties and Sets. 403-420 - Anne Preller, N. Lafaye de Micheaux:
Intensional Equality in Categories With Structure and Coherence Problems. 421-432 - Pierluigi Minari:
On the Semantics of Comparative Logic. 433-448 - Pawel Pazdyka:
On a Reconstruction of Models with Only One Binary Relation. 449-462 - Teodor Stepien:
On The Uniqueness of the Lindenbaum Extension. 463-469 - Daniel Abraham Romano:
Equality and Coequality Relations on the Cartesian Product of Sets. 471-480
Volume 34, Number 6, 1988
- Bhavani M. Thuraisingham:
Representation of One-One Degrees by n-Cylindrical Decision Problems. 481-490 - S. Barry Cooper, C. S. Copestake:
Properly Σ2 Enumeration Degrees. 491-522 - Leon Harkleroad:
Fuzzy Regressivity and Retraceability. 523-529 - Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen:
Probabilistic Versus Deterministic Inductive Inference in Nonstandard Numberings. 531-539 - Michal Krynicki:
Notion of Interpretation and Nonelementary Languages. 541-552 - Andrzej Orlicki:
On Some Problems Related to Enumerated Types of Algebras. 553-562 - Josef Slapal:
Relations of Type α. 563-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 2024-09-29 00:13 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:
