default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 35
Volume 35, Number 1, 1989
- Peter A. Fejer:
Embedding Lattices with Top Preserved Below Non-GL2 Degrees. 3-14 - Néstor G. Martínez:
Elimination of Quantifiers on Łukasiewicz Logics. 15-21 - Carlo Toffalori:
p-ℵ0-Categorical Lattice-Ordered Structures. 23-28 - Douglas S. Bridges, William Julian, Ray Mines:
A Constructive Treatment of Open and Unopen Mapping Theorems. 29-43 - Marcin Mostowski:
Pure Logic with Branched Quantifiers. 45-48 - Loredana Biacino, Giangiacomo Gerla:
Decidability, Recursive Enumerability and Kleene Hierarchy For L-Subsets. 49-62 - Roland Hinnion:
Embedding Properties and Anti-Foundation in Set Theory. 63-70 - Alexander Leitsch:
On Different Concepts of Resolution. 71-77 - Andrzej Orlicki:
Covariant Hom-Functors on the Category of Enumerated Sets. 79-94 - Andrzej Orlicki:
Correction to "Strong Reducibilities of Enumerations and Partial Enumerated Algebras". 95
Volume 35, Number 2, 1989
- Andrea Cantini:
Notes on Formal Theories of Truth. 97-130 - Yehuda Rav:
Lattice Theoretical Equivalences of the Ultrafilter Principle. 131-136 - Michael Deutsch:
Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃∞ (0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten. 137-153 - Peter Zahn:
A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems. 155-168 - Michel Hébert:
Preservation and Interpolation Through Binary Relations Between Theories. 169-182 - Daniel Abraham Romano:
Construction of a Coideal of a Ring Compatible with a Principal Ideal. 183-184 - Thomjas Bedürftig:
Another Characterization of the Natural Numbers. 185-186 - Helmut Wolter:
Orderings in Exponential Fields of Term Defined Functions. 187-192
Volume 35, Number 3, 1989
- Martin Dowd:
An Extension of the Lebesgue Measure Pertaining to the Repeated Experiment. 193-196 - Thomas G. McLaughlin:
Some Extension and Rearrangement Theorems For Nerode Semirings. 197-209 - Sherrie J. Nicol:
Continuous and Exact Sets of Specified Cardinality. 211-224 - Stanley Burris:
Decidable Model Companions. 225-227 - Hanamantagouda P. Sankappanavar:
Pseudocomplemented and Almost Pseudocomplemented Ockham Algebras: Principal Congruences. 229-236 - Rodney G. Downey, Michael F. Moses:
On Choice Sets and Strongly Non-Trivial Self-Embeddings of Recursive Linear Orders. 237-246 - Dick de Jongh, Franco Montagna:
Much Shorter Proofs. 247-260 - Stefano Baratella
:
On Some Properties of Recursively Enumerable Equivalence Relations. 261-268 - Peter Zahn:
Supplements to "A Predicative Approach to Nonstandard Mathematics". 269-271 - Reinhard Pöschel:
The Equational Logic For Graph Algebras. 273-282 - Ingo Bandlow:
A Note on Applications of the Löwenheim-Skolem-Theorem in General Topology. 283-288
Volume 35, Number 4, 1989
- Giovanna Corsi:
A Cut-Free Calculus For Dummett's LC Quantified. 289-301 - Klaus Denecke:
Hyperidentities of Dyadic Algebras. 303-310 - W. Richard Strark:
A Logic For Distributed Processes. 311-320 - Roger D. Maddux:
Finitary Algebraic Logic. 321-332 - Jorge Castro, Felipe Cucker:
Nondeterministic Ω-Computations and the Analytical Hierarchy. 333-342 - Alessandra Carbone, Franco Montagna:
Rosser Orderings in Bimodal Logics. 343-358 - Walter Felscher:
A Linear Parsing Algorithm For Parenthesis Terms. 359-362 - Stephen H. Brackin:
Partitions with no Coarsenings of Higher Degree. 363-366 - Pier Luigi Ferrari:
The Rank Function and Hilbert'S Second ϵ-Theorem. 367-373 - Rod Downey:
A Contiguous Nonbranching Degree. 375-383
Volume 35, Number 5, 1989
- Thomas Forster:
A Consistent Higher-Order Theory Without a (Higher-Order) Model. 385-386 - Takao Inoué:
A Note on Stahl's Opposite System. 387-390 - Henryk Kotlarski:
On the End Extension Problem For Δ0-PA(S). 391-397 - Ramon Jansana:
On the Mathematical Content of the Theory of Classes KM. 399-412 - Jannis Manakos:
On a Subtheory of the Bernays-Gödel Set Theory. 413-414 - Shin'ichi Yokota:
Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I. 415-421 - Zhixiang Chen:
On Splitting of a Recursive Set with Polynomial Time Minimal Pairs. 423-432 - Douglas S. Bridges:
A General Constructive Intermediate Value Theorem. 433-435 - Melven Krom, Myren Krom:
Recursive Solvability of Problems with Matrices. 437-442 - Richard Kaye:
Parameter-Free Universal Induction. 443-456 - Andrzej Orlicki:
On Lifting of Ω-Operations From the Category of Sets to the Category of Enumerated Sets. 457-468 - Karol Habart:
On Absoluteness. 469-480
Volume 35, Number 6, 1989
- G. E. Puninskij:
The Model Completion of the Theory of All Partially Ordered Sets. 481 - Mitsuru Yasuhara:
An Addition to "Cut Elimination in ϵ-Calculi". 483-484 - Hanamantagouda P. Sankappanavar:
Linked Double Weak Stone Algebras. 485-494 - Andrey A. Kuzichev:
A Theory of Ambiguous Types and Its Axiomatizations. 495-514 - Daniel Abraham Romano:
Construction of An Equality Relation on a Set with Coequality Relation. 515-516 - Michael Deutsch:
Zum Reduktionstyp ∃∞∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ-Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃∞∀∃∀ (ϱ, 1). 517-529 - Victor Pambuccian:
Ternary Operations as Primitive Notions for Constructive Plane Geometry. 531-535 - Juji Takahashi:
Models of Set Theory in Which Every Normal Precipitous Ideal is Uniformly Normed. 537-538 - Ahmed K. Khalifa:
A New Approach to Constructive Topology and Measure Theory. 539-550 - Heinrich Wansing:
Bemerkungen Zur Semantik Nicht-Normaler Möglicher Welten. 551-557 - Ewa Orlowska:
Logic For Reasoning About Knowledge. 559-572 - Pawel Pazdyka:
On A Reconstruction of Models in Models with Only One Binary Relation: A Correction. 573 - Roland Hinnion:
Correction to "Embedding Properties and Anti-Foundation in Set Theory". 574
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-15 19:21 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:
