Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 48
Volume 48, Number 1, January 2002
- Jeremy Avigad:
Update Procedures and the 1-Consistency of Arithmetic. 3-13 - Lorenzo Sacchetti:
Incompleteness and Fixed Points. 15-28 - Marcus Kracht:
Invariant Logics. 29-50 - Franco Montagna, G. Michele Pinna
, Elisa B. P. Tiezzi:
Investigations on Fragments of First Order Branching Temporal Logic. 51-62 - Wojciech Buszkowski:
Finite Models of Some Substructural Logics. 63-72 - Wolfgang Degen:
Factors of Functions, AC and Recursive Analogues. 73-86 - Kentaro Kikuchi:
Dual-Context Sequent Calculus and Strict Implication. 87-92 - Stefano Mazzanti:
Plain Bases for Classes of Primitive Recursive Functions. 93-104 - Cezary Cieliski:
Heterologicality and Incompleteness. 105-110 - Fred Richman:
Omniscience Principles and Functions of Bounded Variation. 111-116 - Dag Normann, Christian Rordam:
The Computational Power of Muomega. 117-124 - Toshiyasu Arai:
On the Slowly Well Orderedness of epsilon0. 125-130 - Richard A. Shore, Yue Yang:
A nonlow2 R. E. Degree with the Extension of Embeddings Properties of a low2 Degree. 131-146 - Saverio Cittadini, Carlo Toffalori:
Comparing First Order Theories of Modules over Group Rings. 147-156 - Morteza Moniri:
Weak Arithmetics and Kripke Models. 157-160
Volume 48, Number 2, February 2002
- Francisco Miguel García-Olmedo, Antonio J. Rodríguez Salas:
Algebraization of the Three-valued BCK-logic. 163-178 - Silvio Valentini:
Extensionality Versus Constructivity. 179-187 - Yi Zhang:
Adjoining Almost Disjoint Permutations. 189-193 - Christian Rüede, Thomas Strahm:
Intuitionistic Fixed Point Theories for Strictly Positive Operators. 195-202 - Annalisa Marcja, Carlo Toffalori:
Decidability for Z2 G-lattices when G Extends the Noncyclic Group of Order 4. 203-212 - Olivier Esser, Roland Hinnion:
Tree-Properties for Ordered Sets. 213-219 - Chris Pollett, Randall Pruim:
Strengths and Weaknesses of LH Arithmetic. 221-243 - Alex M. McAllister:
Bounded Scott Set Saturation. 245-259 - Gábor Sági:
Ultraproducts and Higher Order Formulas. 261-275 - Gurgen Asatryan:
Arithmetical Identities in a 2-element Model of Tarski's System. 277-282 - James H. Schmerl:
Moving Intersticial Gaps. 283-296 - Erik Palmgren:
An Intuitionistic Axiomatisation of Real Closed Fields. 297-299 - Risto Kaila:
Convergence Laws for Very Sparse Random Structures with Generalized Quantifiers. 301-320
Volume 48, Number S1, October 2002
- Vasco Brattka, Peter Hertling, Mariko Yasugi, Ning Zhong:
Preface: MLQ - Math. Log. Quart. Supplement 1/2002.
- Andrej Bauer:
A Relationship between Equilogical Spaces and Type Two Effectivity. 1-15 - Douglas S. Bridges, Peter Schuster, Luminita Vîta:
Apartness, Topology, and Uniformity: a Constructive View. 16-28 - Rodney G. Downey, Sebastiaan Terwijn:
Computably Enumerable Reals and Uniformly Presentable Ideals. 29-40 - Martín Hötzel Escardó, Thomas Streicher:
In Domain Realizability, not all Functionals on C[-1, 1] are Continuous. 41-44 - Marco Gori, Klaus Meer:
A Step towards a Complexity Theory for Analog Systems. 45-58 - Ulrich Kohlenbach:
On Weak Markov's Principle. 59-65 - Paulo Oliva:
On the Computational Complexity of Best L1-approximation. 66-77 - Matthias Schröder:
Effectivity in Spaces with Admissible Multirepresentations. 78-90 - Dimiter Skordev:
Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers. 91-106 - Bas Spitters:
Located Operators. 107-122 - Mariko Yasugi, Yoshiki Tsujii, Takakazu Mori:
Metrization of the Uniform Space and Effective Convergence. 123-130 - Xizhong Zheng:
Recursive Approximability of Real Numbers. 131-156 - Martin Ziegler:
Computability on Regular Subsets of Euclidean Space. 157-181
Volume 48, Number 3, April 2002
- Thomas G. McLaughlin:
Combinatorial Isols and the Arithmetic of Dekker Semirings. 323-342 - Tarek Sayed Ahmed:
A Modeltheoretic Solution to a Problem of Tarski. 343-355 - Karim Nour:
Non Deterministic Classical Logic: The lambda-mu++-calculus. 357-366 - Valeriy K. Bulitko:
Post's Problem for Reducibilities of Bounded Complexity. 367-373 - Russell Impagliazzo, Jan Krajícek:
A Note on Conservativity Relations among Bounded Arithmetic Theories. 375-377 - Laurent Vanderputten:
Nonstandard Representation Theory of Standard Operators Defined on the Space of Bochner Integrable Functions. 379-390 - Mohammad Ardeshir, Bardyaa Hesaam:
Every Rooted Narrow Tree Kripke Model of HA is Locally PA. 391-395 - Tapani Hyttinen:
A Remark on Weakly Compact Cardinals. 397-402 - Hasan Dalgin, Labib Haddad, Mehmet Terziler:
On the Additive Group Structure of the Nonstandard Models of the Theory of Integers. 403-412 - Yasuo Kanai:
On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory. 413-426 - Ramon Jansana:
Full Models for Positive Modal Logic. 427-445 - Andreas Spillner, Hans-Dietrich Hecker:
Minimizing the Size of Vertexlights in Simple Polygons. 447-458 - Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmühl:
Monotonically Computable Real Numbers. 459-479
Volume 48, Number 4, November 2002
- Saverio Cittadini, Carlo Toffalori:
Comparing First Order Theories of Modules over Group Rings II: Decidability. 483-498 - Arthur W. Apter:
Strong Cardinals can be Fully Laver Indestructible. 499-507 - Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin:
Products of Compact Spaces and the Axiom of Choice. 508-516 - Heike Mildenberger:
No Borel Connections for the Unsplitting Relations. 517-521 - Victor Pambuccian:
On Definitions in an Infinitary Language. 522-524 - Manfred Droste, Dugald Macpherson, Alan H. Mekler:
Uncountable Homogeneous Partial Orders. 525-532 - Tapani Hyttinen:
Canonical Finite Diagrams and Quantifier Elimination. 533-554 - Juan Carlos Martínez:
Attainment of Tightness in Boolean Spaces. 555-558 - Richard D. Benham:
A Nonstandard Compactness Criterion. 559-562 - Vilém Novák:
Joint Consistency of Fuzzy Theories. 563-573 - George Davie:
Kolmogorov Complexity and Noncomputability. 574-580 - Joan Gispert:
Universal Classes of MV-chains with Applications to Many-valued Logics. 581-601 - Jan Krajícek:
Interpolation and Approximate Semantic Derivations. 602-606 - Hisato Muraki:
Dependent Choices and Anti-Foundation. 607-623 - Nick Bezhanishvili:
Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic. 624-636
a service of 
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-04-18 20:20 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:
