:facetid:toc:\"db/journals/mlq/mlq48.bht\"OK:facetid:toc:db/journals/mlq/mlq48.bhtTarek Sayed AhmedA Modeltheoretic Solution to a Problem of Tarski.Math. Log. Q.483343-3552002Journal Articlesclosedjournals/mlq/Ahmed0210.1002/1521-3870(200204)48:3<343::AID-MALQ343>3.0.CO;2-4https://doi.org/10.1002/1521-3870(200204)48:3<343::AID-MALQ343>3.0.CO;2-4https://dblp.org/rec/journals/mlq/Ahmed02URL#6240236Arthur W. ApterStrong Cardinals can be Fully Laver Indestructible.Math. Log. Q.484499-5072002Journal Articlesclosedjournals/mlq/Apter0210.1002/1521-3870(200211)48:4<499::AID-MALQ499>3.0.CO;2-0https://doi.org/10.1002/1521-3870(200211)48:4<499::AID-MALQ499>3.0.CO;2-0https://dblp.org/rec/journals/mlq/Apter02URL#6240237Toshiyasu AraiOn the Slowly Well Orderedness of epsilon0.Math. Log. Q.481125-1302002Journal Articlesclosedjournals/mlq/Arai0210.1002/1521-3870(200201)48:1<125::AID-MALQ125>3.0.CO;2-Nhttps://doi.org/10.1002/1521-3870(200201)48:1<125::AID-MALQ125>3.0.CO;2-Nhttps://dblp.org/rec/journals/mlq/Arai02URL#6240238Mohammad ArdeshirBardyaa HesaamEvery Rooted Narrow Tree Kripke Model of HA is Locally PA.Math. Log. Q.483391-3952002Journal Articlesclosedjournals/mlq/ArdeshirH0210.1002/1521-3870(200204)48:3<391::AID-MALQ391>3.0.CO;2-Thttps://doi.org/10.1002/1521-3870(200204)48:3<391::AID-MALQ391>3.0.CO;2-Thttps://dblp.org/rec/journals/mlq/ArdeshirH02URL#6240239Gurgen AsatryanArithmetical Identities in a 2-element Model of Tarski's System.Math. Log. Q.482277-2822002Journal Articlesclosedjournals/mlq/Asatryan0210.1002/1521-3870(200202)48:2<277::AID-MALQ277>3.0.CO;2-Ohttps://doi.org/10.1002/1521-3870(200202)48:2<277::AID-MALQ277>3.0.CO;2-Ohttps://dblp.org/rec/journals/mlq/Asatryan02URL#6240240Jeremy AvigadUpdate Procedures and the 1-Consistency of Arithmetic.Math. Log. Q.4813-132002Journal Articlesclosedjournals/mlq/Avigad0210.1002/1521-3870(200201)48:1<3::AID-MALQ3>3.0.CO;2-6https://doi.org/10.1002/1521-3870(200201)48:1<3::AID-MALQ3>3.0.CO;2-6https://dblp.org/rec/journals/mlq/Avigad02URL#6240241Andrej BauerA Relationship between Equilogical Spaces and Type Two Effectivity.Math. Log. Q.48S11-152002Journal Articlesclosedjournals/mlq/Bauer0210.1002/1521-3870(200210)48:1%2B<1::AID-MALQ11111>3.0.CO;2-7https://doi.org/10.1002/1521-3870(200210)48:1%2B<1::AID-MALQ11111>3.0.CO;2-7https://dblp.org/rec/journals/mlq/Bauer02URL#6240242Richard D. BenhamA Nonstandard Compactness Criterion.Math. Log. Q.484559-5622002Journal Articlesclosedjournals/mlq/Benham0210.1002/1521-3870(200211)48:4<559::AID-MALQ559>3.0.CO;2-Chttps://doi.org/10.1002/1521-3870(200211)48:4<559::AID-MALQ559>3.0.CO;2-Chttps://dblp.org/rec/journals/mlq/Benham02URL#6240243Nick BezhanishviliPseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic.Math. Log. Q.484624-6362002Journal Articlesclosedjournals/mlq/Bezhanishvili0210.1002/1521-3870(200211)48:4<624::AID-MALQ624>3.0.CO;2-3https://doi.org/10.1002/1521-3870(200211)48:4<624::AID-MALQ624>3.0.CO;2-3https://dblp.org/rec/journals/mlq/Bezhanishvili02URL#6240244Vasco BrattkaPeter HertlingMariko YasugiNing Zhong 0002Preface: MLQ - Math. Log. Quart. Supplement 1/2002.Math. Log. Q.48S12002Journal Articlesclosedjournals/mlq/BrattkaHYZ0210.1002/1521-3870(200210)48:1%2B<III::AID-MALQ1>3.0.CO;2-0https://doi.org/10.1002/1521-3870(200210)48:1%2B<III::AID-MALQ1>3.0.CO;2-0https://dblp.org/rec/journals/mlq/BrattkaHYZ02URL#6240245Douglas S. BridgesPeter Schuster 0001Luminita VîtaApartness, Topology, and Uniformity: a Constructive View.Math. Log. Q.48S116-282002Journal Articlesclosedjournals/mlq/BridgesSV0210.1002/1521-3870(200210)48:1%2B<16::AID-MALQ16>3.0.CO;2-7https://doi.org/10.1002/1521-3870(200210)48:1%2B<16::AID-MALQ16>3.0.CO;2-7https://dblp.org/rec/journals/mlq/BridgesSV02URL#6240246Valeriy K. BulitkoPost's Problem for Reducibilities of Bounded Complexity.Math. Log. Q.483367-3732002Journal Articlesclosedjournals/mlq/Bulitko0210.1002/1521-3870(200204)48:3<367::AID-MALQ367>3.0.CO;2-Hhttps://doi.org/10.1002/1521-3870(200204)48:3<367::AID-MALQ367>3.0.CO;2-Hhttps://dblp.org/rec/journals/mlq/Bulitko02URL#6240247Wojciech BuszkowskiFinite Models of Some Substructural Logics.Math. Log. Q.48163-722002Journal Articlesclosedjournals/mlq/Buszkowski0210.1002/1521-3870(200201)48:1<63::AID-MALQ63>3.0.CO;2-Ehttps://doi.org/10.1002/1521-3870(200201)48:1<63::AID-MALQ63>3.0.CO;2-Ehttps://dblp.org/rec/journals/mlq/Buszkowski02URL#6240248Cezary CieliskiHeterologicality and Incompleteness.Math. Log. Q.481105-1102002Journal Articlesclosedjournals/mlq/Cieliski0210.1002/1521-3870(200201)48:1<105::AID-MALQ105>3.0.CO;2-Vhttps://doi.org/10.1002/1521-3870(200201)48:1<105::AID-MALQ105>3.0.CO;2-Vhttps://dblp.org/rec/journals/mlq/Cieliski02URL#6240249Saverio CittadiniCarlo ToffaloriComparing First Order Theories of Modules over Group Rings.Math. Log. Q.481147-1562002Journal Articlesclosedjournals/mlq/CittadiniT0210.1002/1521-3870(200201)48:1<147::AID-MALQ147>3.0.CO;2-7https://doi.org/10.1002/1521-3870(200201)48:1<147::AID-MALQ147>3.0.CO;2-7https://dblp.org/rec/journals/mlq/CittadiniT02URL#6240250Saverio CittadiniCarlo ToffaloriComparing First Order Theories of Modules over Group Rings II: Decidability.Math. Log. Q.484483-4982002Journal Articlesclosedjournals/mlq/CittadiniT02a10.1002/1521-3870(200211)48:4<483::AID-MALQ483>3.0.CO;2-Shttps://doi.org/10.1002/1521-3870(200211)48:4<483::AID-MALQ483>3.0.CO;2-Shttps://dblp.org/rec/journals/mlq/CittadiniT02aURL#6240251Omar De la CruzEric J. HallPaul E. HowardKyriakos KeremedisJean E. RubinProducts of Compact Spaces and the Axiom of Choice.Math. Log. Q.484508-5162002Journal Articlesclosedjournals/mlq/CruzHHKR0210.1002/1521-3870(200211)48:4<508::AID-MALQ508>3.0.CO;2-%23https://doi.org/10.1002/1521-3870(200211)48:4<508::AID-MALQ508>3.0.CO;2-%23https://dblp.org/rec/journals/mlq/CruzHHKR02URL#6240252Hasan DalginLabib HaddadMehmet TerzilerOn the Additive Group Structure of the Nonstandard Models of the Theory of Integers.Math. Log. Q.483403-4122002Journal Articlesclosedjournals/mlq/DalginHT0210.1002/1521-3870(200204)48:3<403::AID-MALQ403>3.0.CO;2-Ghttps://doi.org/10.1002/1521-3870(200204)48:3<403::AID-MALQ403>3.0.CO;2-Ghttps://dblp.org/rec/journals/mlq/DalginHT02URL#6240253George DavieKolmogorov Complexity and Noncomputability.Math. Log. Q.484574-5802002Journal Articlesclosedjournals/mlq/Davie0210.1002/1521-3870(200211)48:4<574::AID-MALQ574>3.0.CO;2-Ohttps://doi.org/10.1002/1521-3870(200211)48:4<574::AID-MALQ574>3.0.CO;2-Ohttps://dblp.org/rec/journals/mlq/Davie02URL#6240254Wolfgang DegenFactors of Functions, AC and Recursive Analogues.Math. Log. Q.48173-862002Journal Articlesclosedjournals/mlq/Degen0210.1002/1521-3870(200201)48:1<73::AID-MALQ73>3.0.CO;2-Chttps://doi.org/10.1002/1521-3870(200201)48:1<73::AID-MALQ73>3.0.CO;2-Chttps://dblp.org/rec/journals/mlq/Degen02URL#6240255Rodney G. DowneySebastiaan TerwijnComputably Enumerable Reals and Uniformly Presentable Ideals.Math. Log. Q.48S129-402002Journal Articlesclosedjournals/mlq/DowneyT0210.1002/1521-3870(200210)48:1%2B<29::AID-MALQ29>3.0.CO;2-Ohttps://doi.org/10.1002/1521-3870(200210)48:1%2B<29::AID-MALQ29>3.0.CO;2-Ohttps://dblp.org/rec/journals/mlq/DowneyT02URL#6240256Manfred DrosteDugald MacphersonAlan H. MeklerUncountable Homogeneous Partial Orders.Math. Log. Q.484525-5322002Journal Articlesclosedjournals/mlq/DrosteMM0210.1002/1521-3870(200211)48:4<525::AID-MALQ525>3.0.CO;2-3https://doi.org/10.1002/1521-3870(200211)48:4<525::AID-MALQ525>3.0.CO;2-3https://dblp.org/rec/journals/mlq/DrosteMM02URL#6240257Martín Hötzel EscardóThomas StreicherIn Domain Realizability, not all Functionals on C[-1, 1] are Continuous.Math. Log. Q.48S141-442002Journal Articlesclosedjournals/mlq/EscardoS0210.1002/1521-3870(200210)48:1%2B<41::AID-MALQ41>3.0.CO;2-Vhttps://doi.org/10.1002/1521-3870(200210)48:1%2B<41::AID-MALQ41>3.0.CO;2-Vhttps://dblp.org/rec/journals/mlq/EscardoS02URL#6240258Olivier EsserRoland HinnionTree-Properties for Ordered Sets.Math. Log. Q.482213-2192002Journal Articlesclosedjournals/mlq/EsserH0210.1002/1521-3870(200202)48:2<213::AID-MALQ213>3.0.CO;2-Rhttps://doi.org/10.1002/1521-3870(200202)48:2<213::AID-MALQ213>3.0.CO;2-Rhttps://dblp.org/rec/journals/mlq/EsserH02URL#6240259Joan GispertUniversal Classes of MV-chains with Applications to Many-valued Logics.Math. Log. Q.484581-6012002Journal Articlesclosedjournals/mlq/Gispert0210.1002/1521-3870(200211)48:4<581::AID-MALQ581>3.0.CO;2-Whttps://doi.org/10.1002/1521-3870(200211)48:4<581::AID-MALQ581>3.0.CO;2-Whttps://dblp.org/rec/journals/mlq/Gispert02URL#6240260Marco GoriKlaus MeerA Step towards a Complexity Theory for Analog Systems.Math. Log. Q.48S145-582002Journal Articlesclosedjournals/mlq/GoriM0210.1002/1521-3870(200210)48:1%2B<45::AID-MALQ45>3.0.CO;2-7https://doi.org/10.1002/1521-3870(200210)48:1%2B<45::AID-MALQ45>3.0.CO;2-7https://dblp.org/rec/journals/mlq/GoriM02URL#6240261Tapani HyttinenA Remark on Weakly Compact Cardinals.Math. Log. Q.483397-4022002Journal Articlesclosedjournals/mlq/Hyttinen0210.1002/1521-3870(200204)48:3<397::AID-MALQ397>3.0.CO;2-5https://doi.org/10.1002/1521-3870(200204)48:3<397::AID-MALQ397>3.0.CO;2-5https://dblp.org/rec/journals/mlq/Hyttinen02URL#6240262Tapani HyttinenCanonical Finite Diagrams and Quantifier Elimination.Math. Log. Q.484533-5542002Journal Articlesclosedjournals/mlq/Hyttinen02a10.1002/1521-3870(200211)48:4<533::AID-MALQ533>3.0.CO;2-7https://doi.org/10.1002/1521-3870(200211)48:4<533::AID-MALQ533>3.0.CO;2-7https://dblp.org/rec/journals/mlq/Hyttinen02aURL#6240263Russell ImpagliazzoJan KrajícekA Note on Conservativity Relations among Bounded Arithmetic Theories.Math. Log. Q.483375-3772002Journal Articlesclosedjournals/mlq/ImpagliazzoK0210.1002/1521-3870(200204)48:3<375::AID-MALQ375>3.0.CO;2-Lhttps://doi.org/10.1002/1521-3870(200204)48:3<375::AID-MALQ375>3.0.CO;2-Lhttps://dblp.org/rec/journals/mlq/ImpagliazzoK02URL#6240264Ramon JansanaFull Models for Positive Modal Logic.Math. Log. Q.483427-4452002Journal Articlesclosedjournals/mlq/Jansana0210.1002/1521-3870(200204)48:3<427::AID-MALQ427>3.0.CO;2-Thttps://doi.org/10.1002/1521-3870(200204)48:3<427::AID-MALQ427>3.0.CO;2-Thttps://dblp.org/rec/journals/mlq/Jansana02URL#6240265Risto KailaConvergence Laws for Very Sparse Random Structures with Generalized Quantifiers.Math. Log. Q.482301-3202002Journal Articlesclosedjournals/mlq/Kaila0210.1002/1521-3870(200202)48:2<301::AID-MALQ301>3.0.CO;2-Zhttps://doi.org/10.1002/1521-3870(200202)48:2<301::AID-MALQ301>3.0.CO;2-Zhttps://dblp.org/rec/journals/mlq/Kaila02URL#6240266Yasuo KanaiOn the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory.Math. Log. Q.483413-4262002Journal Articlesclosedjournals/mlq/Kanai0210.1002/1521-3870(200204)48:3<413::AID-MALQ413>3.0.CO;2-Chttps://doi.org/10.1002/1521-3870(200204)48:3<413::AID-MALQ413>3.0.CO;2-Chttps://dblp.org/rec/journals/mlq/Kanai02URL#6240267Kentaro KikuchiDual-Context Sequent Calculus and Strict Implication.Math. Log. Q.48187-922002Journal Articlesclosedjournals/mlq/Kikuchi0210.1002/1521-3870(200201)48:1<87::AID-MALQ87>3.0.CO;2-Nhttps://doi.org/10.1002/1521-3870(200201)48:1<87::AID-MALQ87>3.0.CO;2-Nhttps://dblp.org/rec/journals/mlq/Kikuchi02URL#6240268Ulrich KohlenbachOn Weak Markov's Principle.Math. Log. Q.48S159-652002Journal Articlesclosedjournals/mlq/Kohlenbach0210.1002/1521-3870(200210)48:1%2B<59::AID-MALQ59>3.0.CO;2-Ihttps://doi.org/10.1002/1521-3870(200210)48:1%2B<59::AID-MALQ59>3.0.CO;2-Ihttps://dblp.org/rec/journals/mlq/Kohlenbach02URL#6240269Marcus KrachtInvariant Logics.Math. Log. Q.48129-502002Journal Articlesclosedjournals/mlq/Kracht0210.1002/1521-3870(200201)48:1<29::AID-MALQ29>3.0.CO;2-Nhttps://doi.org/10.1002/1521-3870(200201)48:1<29::AID-MALQ29>3.0.CO;2-Nhttps://dblp.org/rec/journals/mlq/Kracht02URL#6240270Jan KrajícekInterpolation and Approximate Semantic Derivations.Math. Log. Q.484602-6062002Journal Articlesclosedjournals/mlq/Krajicek0210.1002/1521-3870(200211)48:4<602::AID-MALQ602>3.0.CO;2-Jhttps://doi.org/10.1002/1521-3870(200211)48:4<602::AID-MALQ602>3.0.CO;2-Jhttps://dblp.org/rec/journals/mlq/Krajicek02URL#6240271Annalisa MarcjaCarlo ToffaloriDecidability for Z2 G-lattices when G Extends the Noncyclic Group of Order 4.Math. Log. Q.482203-2122002Journal Articlesclosedjournals/mlq/MarcjaT0210.1002/1521-3870(200202)48:2<203::AID-MALQ203>3.0.CO;2-Vhttps://doi.org/10.1002/1521-3870(200202)48:2<203::AID-MALQ203>3.0.CO;2-Vhttps://dblp.org/rec/journals/mlq/MarcjaT02URL#6240272Juan Carlos MartínezAttainment of Tightness in Boolean Spaces.Math. Log. Q.484555-5582002Journal Articlesclosedjournals/mlq/Martinez0210.1002/1521-3870(200211)48:4<555::AID-MALQ555>3.0.CO;2-Shttps://doi.org/10.1002/1521-3870(200211)48:4<555::AID-MALQ555>3.0.CO;2-Shttps://dblp.org/rec/journals/mlq/Martinez02URL#6240273Stefano MazzantiPlain Bases for Classes of Primitive Recursive Functions.Math. Log. Q.48193-1042002Journal Articlesclosedjournals/mlq/Mazzanti0210.1002/1521-3870(200201)48:1<93::AID-MALQ93>3.0.CO;2-8https://doi.org/10.1002/1521-3870(200201)48:1<93::AID-MALQ93>3.0.CO;2-8https://dblp.org/rec/journals/mlq/Mazzanti02URL#6240274Alex M. McAllisterBounded Scott Set Saturation.Math. Log. Q.482245-2592002Journal Articlesclosedjournals/mlq/McAllister0210.1002/1521-3870(200202)48:2<245::AID-MALQ245>3.0.CO;2-7https://doi.org/10.1002/1521-3870(200202)48:2<245::AID-MALQ245>3.0.CO;2-7https://dblp.org/rec/journals/mlq/McAllister02URL#6240275Thomas G. McLaughlinCombinatorial Isols and the Arithmetic of Dekker Semirings.Math. Log. Q.483323-3422002Journal Articlesclosedjournals/mlq/McLaughlin0210.1002/1521-3870(200204)48:3<323::AID-MALQ323>3.0.CO;2-Chttps://doi.org/10.1002/1521-3870(200204)48:3<323::AID-MALQ323>3.0.CO;2-Chttps://dblp.org/rec/journals/mlq/McLaughlin02URL#6240276Heike MildenbergerNo Borel Connections for the Unsplitting Relations.Math. Log. Q.484517-5212002Journal Articlesclosedjournals/mlq/Mildenberger0210.1002/1521-3870(200211)48:4<517::AID-MALQ517>3.0.CO;2-%23https://doi.org/10.1002/1521-3870(200211)48:4<517::AID-MALQ517>3.0.CO;2-%23https://dblp.org/rec/journals/mlq/Mildenberger02URL#6240277Morteza MoniriWeak Arithmetics and Kripke Models.Math. Log. Q.481157-1602002Journal Articlesclosedjournals/mlq/Moniri0210.1002/1521-3870(200201)48:1<157::AID-MALQ157>3.0.CO;2-3https://doi.org/10.1002/1521-3870(200201)48:1<157::AID-MALQ157>3.0.CO;2-3https://dblp.org/rec/journals/mlq/Moniri02URL#6240278Franco MontagnaG. Michele PinnaElisa B. P. TiezziInvestigations on Fragments of First Order Branching Temporal Logic.Math. Log. Q.48151-622002Journal Articlesclosedjournals/mlq/MontagnaPT0210.1002/1521-3870(200201)48:1<51::AID-MALQ51>3.0.CO;2-Shttps://doi.org/10.1002/1521-3870(200201)48:1<51::AID-MALQ51>3.0.CO;2-Shttps://dblp.org/rec/journals/mlq/MontagnaPT02URL#6240279Hisato MurakiDependent Choices and Anti-Foundation.Math. Log. Q.484607-6232002Journal Articlesclosedjournals/mlq/Muraki0210.1002/1521-3870(200211)48:4<607::AID-MALQ607>3.0.CO;2-%23https://doi.org/10.1002/1521-3870(200211)48:4<607::AID-MALQ607>3.0.CO;2-%23https://dblp.org/rec/journals/mlq/Muraki02URL#6240280Dag NormannChristian RordamThe Computational Power of Muomega.Math. Log. Q.481117-1242002Journal Articlesclosedjournals/mlq/NormannR0210.1002/1521-3870(200201)48:1<117::AID-MALQ117>3.0.CO;2-Jhttps://doi.org/10.1002/1521-3870(200201)48:1<117::AID-MALQ117>3.0.CO;2-Jhttps://dblp.org/rec/journals/mlq/NormannR02URL#6240281Karim NourNon Deterministic Classical Logic: The lambda-mu++-calculus.Math. Log. Q.483357-3662002Journal Articlesclosedjournals/mlq/Nour0210.1002/1521-3870(200204)48:3<357::AID-MALQ357>3.0.CO;2-Lhttps://doi.org/10.1002/1521-3870(200204)48:3<357::AID-MALQ357>3.0.CO;2-Lhttps://dblp.org/rec/journals/mlq/Nour02URL#6240282Vilém NovákJoint Consistency of Fuzzy Theories.Math. Log. Q.484563-5732002Journal Articlesclosedjournals/mlq/Novak0210.1002/1521-3870(200211)48:4<563::AID-MALQ563>3.0.CO;2-Whttps://doi.org/10.1002/1521-3870(200211)48:4<563::AID-MALQ563>3.0.CO;2-Whttps://dblp.org/rec/journals/mlq/Novak02URL#6240283Paulo OlivaOn the Computational Complexity of Best L1-approximation.Math. Log. Q.48S166-772002Journal Articlesclosedjournals/mlq/Oliva0210.1002/1521-3870(200210)48:1%2B<66::AID-MALQ66>3.0.CO;2-Yhttps://doi.org/10.1002/1521-3870(200210)48:1%2B<66::AID-MALQ66>3.0.CO;2-Yhttps://dblp.org/rec/journals/mlq/Oliva02URL#6240284Francisco Miguel García-OlmedoAntonio J. Rodríguez SalasAlgebraization of the Three-valued BCK-logic.Math. Log. Q.482163-1782002Journal Articlesclosedjournals/mlq/OlmedoS0210.1002/1521-3870(200202)48:2<163::AID-MALQ163>3.0.CO;2-Bhttps://doi.org/10.1002/1521-3870(200202)48:2<163::AID-MALQ163>3.0.CO;2-Bhttps://dblp.org/rec/journals/mlq/OlmedoS02URL#6240285Erik PalmgrenAn Intuitionistic Axiomatisation of Real Closed Fields.Math. Log. Q.482297-2992002Journal Articlesclosedjournals/mlq/Palmgren0210.1002/1521-3870(200202)48:2<297::AID-MALQ297>3.0.CO;2-Ghttps://doi.org/10.1002/1521-3870(200202)48:2<297::AID-MALQ297>3.0.CO;2-Ghttps://dblp.org/rec/journals/mlq/Palmgren02URL#6240286Victor PambuccianOn Definitions in an Infinitary Language.Math. Log. Q.484522-5242002Journal Articlesclosedjournals/mlq/Pambuccian0210.1002/1521-3870(200211)48:4<522::AID-MALQ522>3.0.CO;2-Fhttps://doi.org/10.1002/1521-3870(200211)48:4<522::AID-MALQ522>3.0.CO;2-Fhttps://dblp.org/rec/journals/mlq/Pambuccian02URL#6240287Chris PollettRandall PruimStrengths and Weaknesses of LH Arithmetic.Math. Log. Q.482221-2432002Journal Articlesclosedjournals/mlq/PollettP0210.1002/1521-3870(200202)48:2<221::AID-MALQ221>3.0.CO;2-Vhttps://doi.org/10.1002/1521-3870(200202)48:2<221::AID-MALQ221>3.0.CO;2-Vhttps://dblp.org/rec/journals/mlq/PollettP02URL#6240288Robert RettingerXizhong ZhengRomain GenglerBurchard von BraunmühlMonotonically Computable Real Numbers.Math. Log. Q.483459-4792002Journal Articlesclosedjournals/mlq/RettingerZGB0210.1002/1521-3870(200204)48:3<459::AID-MALQ459>3.0.CO;2-9https://doi.org/10.1002/1521-3870(200204)48:3<459::AID-MALQ459>3.0.CO;2-9https://dblp.org/rec/journals/mlq/RettingerZGB02URL#6240289Fred RichmanOmniscience Principles and Functions of Bounded Variation.Math. Log. Q.481111-1162002Journal Articlesclosedjournals/mlq/Richman0210.1002/1521-3870(200201)48:1<111::AID-MALQ111>3.0.CO;2-6https://doi.org/10.1002/1521-3870(200201)48:1<111::AID-MALQ111>3.0.CO;2-6https://dblp.org/rec/journals/mlq/Richman02URL#6240290Christian RüedeThomas StrahmIntuitionistic Fixed Point Theories for Strictly Positive Operators.Math. Log. Q.482195-2022002Journal Articlesclosedjournals/mlq/RuedeS0210.1002/1521-3870(200202)48:2<195::AID-MALQ195>3.0.CO;2-Shttps://doi.org/10.1002/1521-3870(200202)48:2<195::AID-MALQ195>3.0.CO;2-Shttps://dblp.org/rec/journals/mlq/RuedeS02URL#6240291Lorenzo SacchettiIncompleteness and Fixed Points.Math. Log. Q.48115-282002Journal Articlesclosedjournals/mlq/Sacchetti0210.1002/1521-3870(200201)48:1<15::AID-MALQ15>3.0.CO;2-Chttps://doi.org/10.1002/1521-3870(200201)48:1<15::AID-MALQ15>3.0.CO;2-Chttps://dblp.org/rec/journals/mlq/Sacchetti02URL#6240292Gábor SágiUltraproducts and Higher Order Formulas.Math. Log. Q.482261-2752002Journal Articlesclosedjournals/mlq/Sagi0210.1002/1521-3870(200202)48:2<261::AID-MALQ261>3.0.CO;2-Fhttps://doi.org/10.1002/1521-3870(200202)48:2<261::AID-MALQ261>3.0.CO;2-Fhttps://dblp.org/rec/journals/mlq/Sagi02URL#6240293James H. SchmerlMoving Intersticial Gaps.Math. Log. Q.482283-2962002Journal Articlesclosedjournals/mlq/Schmerl0210.1002/1521-3870(200202)48:2<283::AID-MALQ283>3.0.CO;2-%23https://doi.org/10.1002/1521-3870(200202)48:2<283::AID-MALQ283>3.0.CO;2-%23https://dblp.org/rec/journals/mlq/Schmerl02URL#6240294Matthias Schröder 0001Effectivity in Spaces with Admissible Multirepresentations.Math. Log. Q.48S178-902002Journal Articlesclosedjournals/mlq/Schroder0210.1002/1521-3870(200210)48:1%2B<78::AID-MALQ78>3.0.CO;2-Khttps://doi.org/10.1002/1521-3870(200210)48:1%2B<78::AID-MALQ78>3.0.CO;2-Khttps://dblp.org/rec/journals/mlq/Schroder02URL#6240295Richard A. ShoreYue YangA nonlow2 R. E. Degree with the Extension of Embeddings Properties of a low2 Degree.Math. Log. Q.481131-1462002Journal Articlesclosedjournals/mlq/ShoreY0210.1002/1521-3870(200201)48:1<131::AID-MALQ131>3.0.CO;2-Zhttps://doi.org/10.1002/1521-3870(200201)48:1<131::AID-MALQ131>3.0.CO;2-Zhttps://dblp.org/rec/journals/mlq/ShoreY02URL#6240296Dimiter SkordevComputability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers.Math. Log. Q.48S191-1062002Journal Articlesclosedjournals/mlq/Skordev0210.1002/1521-3870(200210)48:1%2B<91::AID-MALQ91>3.0.CO;2-Lhttps://doi.org/10.1002/1521-3870(200210)48:1%2B<91::AID-MALQ91>3.0.CO;2-Lhttps://dblp.org/rec/journals/mlq/Skordev02URL#6240297Andreas Spillner 0001Hans-Dietrich HeckerMinimizing the Size of Vertexlights in Simple Polygons.Math. Log. Q.483447-4582002Journal Articlesclosedjournals/mlq/SpillnerH0210.1002/1521-3870(200204)48:3<447::AID-MALQ447>3.0.CO;2-Lhttps://doi.org/10.1002/1521-3870(200204)48:3<447::AID-MALQ447>3.0.CO;2-Lhttps://dblp.org/rec/journals/mlq/SpillnerH02URL#6240298Bas SpittersLocated Operators.Math. Log. Q.48S1107-1222002Journal Articlesclosedjournals/mlq/Spitters0210.1002/1521-3870(200210)48:1%2B<107::AID-MALQ107>3.0.CO;2-Ohttps://doi.org/10.1002/1521-3870(200210)48:1%2B<107::AID-MALQ107>3.0.CO;2-Ohttps://dblp.org/rec/journals/mlq/Spitters02URL#6240299Silvio ValentiniExtensionality Versus Constructivity.Math. Log. Q.482179-1872002Journal Articlesclosedjournals/mlq/Valentini0210.1002/1521-3870(200202)48:2<179::AID-MALQ179>3.0.CO;2-Khttps://doi.org/10.1002/1521-3870(200202)48:2<179::AID-MALQ179>3.0.CO;2-Khttps://dblp.org/rec/journals/mlq/Valentini02URL#6240300Laurent VanderputtenNonstandard Representation Theory of Standard Operators Defined on the Space of Bochner Integrable Functions.Math. Log. Q.483379-3902002Journal Articlesclosedjournals/mlq/Vanderputten0210.1002/1521-3870(200204)48:3<379::AID-MALQ379>3.0.CO;2-5https://doi.org/10.1002/1521-3870(200204)48:3<379::AID-MALQ379>3.0.CO;2-5https://dblp.org/rec/journals/mlq/Vanderputten02URL#6240301Mariko YasugiYoshiki TsujiiTakakazu MoriMetrization of the Uniform Space and Effective Convergence.Math. Log. Q.48S1123-1302002Journal Articlesclosedjournals/mlq/YasugiTM0210.1002/1521-3870(200210)48:1%2B<123::AID-MALQ123>3.0.CO;2-Whttps://doi.org/10.1002/1521-3870(200210)48:1%2B<123::AID-MALQ123>3.0.CO;2-Whttps://dblp.org/rec/journals/mlq/YasugiTM02URL#6240302Yi Zhang 0008Adjoining Almost Disjoint Permutations.Math. Log. Q.482189-1932002Journal Articlesclosedjournals/mlq/Zhang0210.1002/1521-3870(200202)48:2<189::AID-MALQ189>3.0.CO;2-Ghttps://doi.org/10.1002/1521-3870(200202)48:2<189::AID-MALQ189>3.0.CO;2-Ghttps://dblp.org/rec/journals/mlq/Zhang02URL#6240303Xizhong ZhengRecursive Approximability of Real Numbers.Math. Log. Q.48S1131-1562002Journal Articlesclosedjournals/mlq/Zheng0210.1002/1521-3870(200210)48:1%2B<131::AID-MALQ131>3.0.CO;2-%23https://doi.org/10.1002/1521-3870(200210)48:1%2B<131::AID-MALQ131>3.0.CO;2-%23https://dblp.org/rec/journals/mlq/Zheng02URL#6240304Martin Ziegler 0001Computability on Regular Subsets of Euclidean Space.Math. Log. Q.48S1157-1812002Journal Articlesclosedjournals/mlq/Ziegler0210.1002/1521-3870(200210)48:1%2B<157::AID-MALQ157>3.0.CO;2-4https://doi.org/10.1002/1521-3870(200210)48:1%2B<157::AID-MALQ157>3.0.CO;2-4https://dblp.org/rec/journals/mlq/Ziegler02URL#6240305