default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 40
Volume 40, 1994
- Xiaokang Yu:
Lebesgue Convergence Theorems and Reverse Mathematics. 1-13 - Frieder Haug:
On Preservation of Stability for Finite Extensions of Abelian Groups. 14-26 - John L. Bell:
Fregean Extensions of First-Order Theories. 27-30 - Olga Kosheleva, Vladik Kreinovich:
An Application of Logic to Combinatorial Geometry: How Many Tetrahedra are Equidecomposable with a Cube? 31-34 - Douglas S. Bridges, Hajime Ishihara:
Complements of Intersections in Constructive Mathematics. 35-43 - Andrei A. Kuzichev:
Translations of Logical Formulas and the Equiconsistency Problem. 44-50 - Antonín Sochor:
Choices of Convenient Sets. 51-60 - Jordi Rebagliato, Ventura Verdú:
A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus. 61-68 - Hirokazu Nishimura:
Boolean Valued and Stone Algebra Valued Measure Theories. 69-75 - Victor Pambuccian
:
Ternary Operations as Primitive Notions for Constructive Plane Geometry IV. 76-86 - Stephan Wehner:
The Index Set of Injectively Enumerable Classes of Recursively Enumerable Sets is ∑5-Complete. 87-94 - Bozena Piekart, Henryk Kotlarski:
Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely. 95-102 - Teresa Bigorajska:
Universal Induction and True Universal Arithmetic. 103-105 - Yuefei Sui:
A New Reducibility between Turing- and wtt-Reducibility. 106-110 - J. W. Degen:
Some Aspects and Examples of Infinity Notions. 111-124 - Carlo Toffalori, Annalisa Marcja:
Abelian-by-G Groups, for G Finite, from the Model Theoretic Point of View. 125-131 - Iain A. Stewart:
Monotonicity and the Expressibility of NP Operators. 132-140 - Stanley Burris:
Model Companions with Finitely Many Countable Models. 141-142 - John T. Baldwin, Masanori Itai:
K-generic Projective Planes have Morley Rank Two or Infinity. 143-152 - Tatsuya Shimura, Ryo Kashima:
Cut-Elimination Theorem for the Logic of Constant Domains. 153-172 - Christopher J. Ash, Julia F. Knight:
A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas. 173-181 - Silvio Valentini:
Representation Theorems for Quantales. 182-190 - Daniel Gluschankof:
The Elementary Classes of Direct and Boolean Products. 191-203 - Victor L. Selivanov:
Recursiveness of ω-Operations. 204-206 - Claude Laflamme:
Bonnding and Dominating Number of Families of Functions on ω. 207-223 - Frank Stephan, Martin Kummer:
Effective Search Problems. 224-236 - Armin Hemmerling:
Navigation Without Perception of Coordinates and Distances. 237-260 - Andrea Sorbi, Sandra Fontani, Franco Montagna:
A Note on Relative Efficiency of Axiom Systems. 261-272 - Adam Cichon, Wilfried Buchholz, Andreas Weiermann:
A Uniform Approach to Fundamental Sequences and Hierarchies. 273-286 - Decheng Ding, Klaus Ambos-Spies:
Discontinuity of Cappings in the Recursively Enumerable Degrees and Strongly Nonbranching Degrees. 287-317 - Larry Mathews:
Completions of Convexly Ordered Valuation Rings. 318-330 - Antonio Di Nola, Lawrence Peter Belluce, Salvatore Sessa:
The Prime Spectrum of an MV-Algebra. 331-346 - Friederike Körner:
Cofinal Indiscernibles and some Applications to New Foundations. 347-356 - Giangiacomo Gerla:
An Extension Principle for Fuzzy Logics. 357-380 - Jouko A. Väänänen, Heikki Heikkilä:
Reflection of Long Game Formulas. 381-392 - Christopher J. Ash:
A Conjecture Concerning the Spectrum of a Sentence. 393-397 - Matthew Valeriote:
On Solvable Congruences in Finitely Decidable Varieties. 398-414 - Karl-Heinz Diener:
A Remark an Ascending Chain Conditions, the Countable Axiom of Choice and the Principle of Dependent Choices. 415-421 - Michael Deutsch:
A Note on the Theorems of Church-Turing and Trachtenbrot. 422-424 - Mario J. Pérez-Jiménez, Alejandro Fernández-Margarit:
Maximum Schemes in Arithmetic. 425-430 - Antoni Torrens:
Cyclic Elements in MV-Algebras and Post Algebras. 431-444 - Larry Mathews:
Hilbert's 17th Problem for Real Closed Rings. 445-454 - Victor Pambuccian:
Ternary Operations as Primitive Notions for Constructive Plane Geometry V. 455-477 - Bernhard Banaschewski:
A New Proof that "Krull implies Zorn". 478-480 - Marcel Crabbé:
The Hauptsatz for Stratified Comprehension: A Semantic Proof. 481-489 - André Nies:
Recursively Enumerable Equivalence Relations Modulo Finite Differences. 490-518 - Douglas S. Bridges, Hajime Ishihara:
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus. 519-527 - Makoto Kikuchi:
A Note on Boolos' Proof of the Incompleteness Theorem. 528-532 - Christine Gaßner:
The Axiom of Choice in Second-Order Predicate Logic. 533-546 - Athanassios Tzouvaras:
Omega- and Beta-Models of Alternative Set Theory. 547-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 2024-11-21 20:33 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:
