default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 39
Volume 39, 1993
- Xiaoding Yi, Alistair H. Lachlan:
Jump Theorems for REA Operators. 1-6 - Arthur L. Rubin, Jean E. Rubin:
Weak Forms of the Axiom of Choke and the Generalized Continuum Hypothesis. 7-22 - Hirokazu Nishimura:
On a Duality Between Boolean Valued Analysis and Topological Reduction Theory. 23-32 - Heinrich Rolletschek:
A Variant of the Notion of Semicreative Set. 33-46 - Michael Rathjen:
How to Develop Proof-Theoretic Ordinal Functions on the Basis of Admissible Ordinals. 47-54 - Douglas S. Bridges:
Sequential, Pointwise, and Uniform Continuity: A Constructive Note. 55-61 - Toshio Suzuki:
Witnessing Numbers of Shelah Cardinals. 62-66 - Jacob C. E. Dekker:
Isols and Maximal Intersecting Classes. 67-78 - Martin Dowd:
Remarks on Levy's Reflection Axiom. 79-95 - Helmut Wolter:
On Roots of Exponential Terms. 96-102 - Maciej Kandulski:
Normal Form of Derivations in the Nonassociative and Commutative Lambek Calculus with Product. 103-114 - Luc Lismont:
La connaissance commune en logique modale. 115-130 - Peter Schreiber:
A Note on Parallelism in Affine Geometry. 131-132 - Luiz Carlos Pereira, Edward Hermann Haeusler:
A Formalization of Sambin's Normalization for GL. 133-142 - Friedrich Otto, Daniel E. Cohen, Klaus Madlener:
Separating the Intrinsic Complexity and the Derivational complexity of the Word Problem for Finitely Presented Groups. 143-157 - J.-M. Brochet:
The Finite Cutset Property. 158-164 - Edwin D. Mares
:
Classically Complete Modal Relevant Logics. 165-177 - Benedetto Intrigila:
The Basic Decision Problem in lambda-Calculus. 178-180 - Andrzej Orlicki:
Computable Limits and Colimits in Categories of Partial Enumerated Sets. 181-196 - Isidore Fleischer:
Completeness of the Infinitary Polyadic Axiomatization. 197-200 - Ugo Solitro, Silvio Valentini:
Local Computation in Linear Logic. 201-212 - Mark A. Mandelkern:
Open Subspaces of Locally Compact Metric Spaces. 213-216 - Noriya Kadota:
On Wainer's Notation for a Minimal Subrecursive Inaccessible Ordinal. 217-227 - Radosav S. Dordevic:
Analytic Completeness Theorem for Singular Biprobability Models. 228-230 - Claudio Cerrato:
Modal Sequents for Normal Modal Logics. 231-240 - Hirokazu Nishimura:
A Boolean Transfer Principle from L*-Algebras to AL*-Algebras. 241-250 - Martin Dowd:
Higher Type Categories. 251-254 - Nalinaxi H. Sankappanavar, Hanamantagouda P. Sankappanavar:
Quasi-Stone Algebras. 255-268 - Andreas Weiermann:
A Simplified Functorial Construction of the Veblen Hierarchy. 269-273 - Nando Prati:
A Partial Model of NF with ZF. 274-278 - George Rousseau:
The Theorem of the Means for Cardinal and Ordinal Numbers. 279-286 - Michal Krynicki:
Hierarchies of Partially Ordered Connectives and Quantifiers. 287-294 - Douglas S. Bridges:
Constructive Notions of Strict Convexity. 295-300 - Marcus Kracht:
Prefinitely Axiomatizable Modal and Intermediate Logics. 301-322 - John L. Bell:
Hilbert's ϵ-Operator in Intuitionistic Type Theories. 323-337 - Ruggero Ferro, Stefano Baratella:
A Theory of Sets with the Negation of the Axiom of Inflnity. 338-352 - Paul E. Howard:
Variations of Rado's Lemma. 353-356 - Bhavani M. Thuraisingham:
System Function Languages. 357-366 - Andreas Weiermann:
An Order-Theoretic Characterization of the Schütte-Veblen-Hierarchy. 367-383 - Martin K. Solomon:
Measure Independent Gödel Speed-Ups and the Relative Difculty of Recognizing Sets. 384-392 - Victor Pambuccian:
Ternary Operations as Primitive Notions for Constructive Plane Geometry III. 393-402 - Vladimir V. Rybakov:
Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus. 403-415 - Mark A. Mandelkern:
Finitary Sequence Spaces. 416-430 - Thomas G. McLaughlin:
A Note on Effective Ultrapowers: Uniform Failure of Bounded Collection. 431-435 - Daniel Dzierzgowski:
Typical Ambiguity and Elementary Equivalence. 436-446 - Jeffry L. Hirst:
Derived Sequences and Reverse Mathematics. 447-453 - Anasthasios Tzouvaras:
Non-Circular, Non-Well-Founded Set Universes. 454-460 - Carlos A. Di Prisco, Walter Alexandre Carnielli:
Some Results an Polarized Relations of Higher Dimension. 461-474 - Steffen Lempp, Rodney G. Downey, Richard A. Shore:
Highness and Bounding Minimal Pairs. 475-491 - Karl-Heinz Diener:
On the Predecessor Relation in Abstract Algebras. 492-514 - Frank Stephan, Carl G. Jockusch Jr.:
A Cohesive Set which is not High. 515-530 - Zoran Markovic:
On the Structure of Kripke Models of Heyting Arithmetic. 531-538 - Silvio Valentini:
A Proof of the Normal Form Theorem for the Closed Terms of Girard's System F by Means of Computability. 539-544 - Kyriakos Keremedis:
Partition Reals and the Consistency of t > add(R). 545-550 - Andrzej Orlicki:
ω-Operations over Partial Enumerated Sets. 551-558 - Helmut Wolter:
Consequences of Schanuel's Condition for Zeros of Exponential Terms. 559-565 - Roger D. Maddux:
Finitary Algebraic Logic II. 566-569
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-07-31 20:40 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:
