Math. Log. Q. - researchr journal

researchr

You are not signed in
Sign in
Sign up

0	--	0	Vasco Brattka, Peter Hertling, Mariko Yasugi, Ning Zhong. Preface: MLQ - Math. Log. Quart. Supplement 1/2002
1	--	15	Andrej Bauer. A Relationship between Equilogical Spaces and Type Two Effectivity
16	--	28	Douglas S. Bridges, Peter Schuster, Luminita Vîta. Apartness, Topology, and Uniformity: a Constructive View
29	--	40	Rodney G. Downey, Sebastiaan Terwijn. Computably Enumerable Reals and Uniformly Presentable Ideals
41	--	44	Martín Hötzel Escardó, Thomas Streicher. In Domain Realizability, not all Functionals on ::::C::::[-1, 1] are Continuous
45	--	58	Marco Gori, Klaus Meer. A Step towards a Complexity Theory for Analog Systems
59	--	65	Ulrich Kohlenbach. On Weak Markov s Principle
66	--	77	Paulo Oliva. On the Computational Complexity of Best ::::L::::::1::-approximation
78	--	90	Matthias Schröder. Effectivity in Spaces with Admissible Multirepresentations
91	--	106	Dimiter Skordev. Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers
107	--	122	Bas Spitters. Located Operators
123	--	130	Mariko Yasugi, Yoshiki Tsujii, Takakazu Mori. Metrization of the Uniform Space and Effective Convergence
131	--	156	Xizhong Zheng. Recursive Approximability of Real Numbers
157	--	181	Martin Ziegler. Computability on Regular Subsets of Euclidean Space

483	--	498	Saverio Cittadini, Carlo Toffalori. Comparing First Order Theories of Modules over Group Rings II: Decidability
499	--	507	Arthur W. Apter. Strong Cardinals can be Fully Laver Indestructible
508	--	516	Omar de la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin. Products of Compact Spaces and the Axiom of Choice
517	--	521	Heike Mildenberger. No Borel Connections for the Unsplitting Relations
522	--	524	Victor Pambuccian. On Definitions in an Infinitary Language
525	--	532	Manfred Droste, Dugald Macpherson, Alan Mekler. Uncountable Homogeneous Partial Orders
533	--	554	Tapani Hyttinen. Canonical Finite Diagrams and Quantifier Elimination
555	--	558	Juan Carlos Martínez. Attainment of Tightness in Boolean Spaces
559	--	562	Richard D. Benham. A Nonstandard Compactness Criterion
563	--	573	Vilém Novák. Joint Consistency of Fuzzy Theories
574	--	580	George Davie. Kolmogorov Complexity and Noncomputability
581	--	601	Joan Gispert. Universal Classes of MV-chains with Applications to Many-valued Logics
602	--	606	Jan Krajícek. Interpolation and Approximate Semantic Derivations
607	--	623	Hisato Muraki. Dependent Choices and Anti-Foundation
624	--	636	Nick Bezhanishvili. Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic

323	--	342	Thomas G. McLaughlin. Combinatorial Isols and the Arithmetic of Dekker Semirings
343	--	355	Tarek Sayed Ahmed. A Modeltheoretic Solution to a Problem of Tarski
357	--	366	Karim Nour. Non Deterministic Classical Logic: The lambda-mu:::++:::-calculus
367	--	373	Valeriy Bulitko. Post s Problem for Reducibilities of Bounded Complexity
375	--	377	Russell Impagliazzo, Jan Krajícek. A Note on Conservativity Relations among Bounded Arithmetic Theories
391	--	395	Mohammad Ardeshir, Bardyaa Hesaam. Every Rooted Narrow Tree Kripke Model of HA is Locally PA
397	--	402	Tapani Hyttinen. A Remark on Weakly Compact Cardinals
403	--	412	Hasan Dalgin, Labib Haddad, Mehmet Terziler. On the Additive Group Structure of the Nonstandard Models of the Theory of Integers
413	--	426	Yasuo Kanai. On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory
427	--	445	Ramon Jansana. Full Models for Positive Modal Logic
447	--	458	Andreas Spillner, Hans-Dietrich Hecker. Minimizing the Size of Vertexlights in Simple Polygons
459	--	479	Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmühl. Monotonically Computable Real Numbers

163	--	178	Francisco M. García Olmedo, Antonio J. Rodríguez Salas. Algebraization of the Three-valued BCK-logic
179	--	187	Silvio Valentini. Extensionality Versus Constructivity
189	--	193	Yi Zhang. Adjoining Almost Disjoint Permutations
195	--	202	Christian Rüede, Thomas Strahm. Intuitionistic Fixed Point Theories for Strictly Positive Operators
203	--	212	Annalisa Marcja, Carlo Toffalori. Decidability for Z::2:: ::::G::::-lattices when ::::G:::: Extends the Noncyclic Group of Order 4
213	--	219	Olivier Esser, Roland Hinnion. Tree-Properties for Ordered Sets
221	--	243	Chris Pollett, Randall Pruim. Strengths and Weaknesses of LH Arithmetic
245	--	259	Alex M. McAllister. Bounded Scott Set Saturation
261	--	275	Gábor Sági. Ultraproducts and Higher Order Formulas
277	--	282	Gurgen Asatryan. Arithmetical Identities in a 2-element Model of Tarski s System
283	--	296	James H. Schmerl. Moving Intersticial Gaps
297	--	299	Erik Palmgren. An Intuitionistic Axiomatisation of Real Closed Fields
301	--	320	Risto Kaila. Convergence Laws for Very Sparse Random Structures with Generalized Quantifiers

3	--	13	Jeremy Avigad. Update Procedures and the 1-Consistency of Arithmetic
15	--	28	Lorenzo Sacchetti. Incompleteness and Fixed Points
29	--	50	Marcus Kracht. Invariant Logics
51	--	62	Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi. Investigations on Fragments of First Order Branching Temporal Logic
63	--	72	Wojciech Buszkowski. Finite Models of Some Substructural Logics
73	--	86	Wolfgang Degen. Factors of Functions, AC and Recursive Analogues
87	--	92	Kentaro Kikuchi. Dual-Context Sequent Calculus and Strict Implication
93	--	104	Stefano Mazzanti. Plain Bases for Classes of Primitive Recursive Functions
111	--	116	Fred Richman. Omniscience Principles and Functions of Bounded Variation
117	--	124	Dag Normann, Christian Rordam. The Computational Power of ::::Mu:::::::omega:::
125	--	130	Toshiyasu Arai. On the Slowly Well Orderedness of epsilon::0::
131	--	146	Richard A. Shore, Yue Yang. A nonlow::2:: R. E. Degree with the Extension of Embeddings Properties of a low::2:: Degree
147	--	156	Saverio Cittadini, Carlo Toffalori. Comparing First Order Theories of Modules over Group Rings
157	--	160	Morteza Moniri. Weak Arithmetics and Kripke Models

runs on WebDSL