:facetid:toc:\"db/journals/mlq/mlq22.bht\"OK:facetid:toc:db/journals/mlq/mlq22.bhtMartin Ziegler 0002Ein Rekursiv Aufzählbarer btt-Grad, der Nicht Zum Wortproblem Einer Gruppe Gehört.Math. Log. Q.221165-1681976Journal Articlesclosedjournals/mlq/00027610.1002/MALQ.19760220122https://doi.org/10.1002/malq.19760220122https://dblp.org/rec/journals/mlq/000276URL#7119860Joseph BarbackRegressive Isols and Comparability.Math. Log. Q.221403-4121976Journal Articlesclosedjournals/mlq/Barback7610.1002/MALQ.19760220149https://doi.org/10.1002/malq.19760220149https://dblp.org/rec/journals/mlq/Barback76URL#7119861J. L. BellUniversal Complete Boolean Algebras and Cardinal Collapsing.Math. Log. Q.221161-1641976Journal Articlesclosedjournals/mlq/Bell7610.1002/MALQ.19760220121https://doi.org/10.1002/malq.19760220121https://dblp.org/rec/journals/mlq/Bell76URL#7119862J. L. BellA Note on Generic Ultrafilters.Math. Log. Q.221307-3101976Journal Articlesclosedjournals/mlq/Bell76a10.1002/MALQ.19760220141https://doi.org/10.1002/malq.19760220141https://dblp.org/rec/journals/mlq/Bell76aURL#7119863Douglas R. BuschOn the Number of Solovay r-Degrees.Math. Log. Q.221283-2861976Journal Articlesclosedjournals/mlq/Busch7610.1002/MALQ.19760220137https://doi.org/10.1002/malq.19760220137https://dblp.org/rec/journals/mlq/Busch76URL#7119864John CaseSortability and Extensibility of the Graphs of Recursively Enumerable Partial and Total Orders.Math. Log. Q.2211-181976Journal Articlesclosedjournals/mlq/Case7610.1002/MALQ.19760220102https://doi.org/10.1002/malq.19760220102https://dblp.org/rec/journals/mlq/Case76URL#7119865John P. CleaveQuasi-Boolean Algebras, Empirical Continuity and Three-Valued Logic J. P. Cleave in Bristol (Great Britain).Math. Log. Q.221481-5001976Journal Articlesclosedjournals/mlq/Cleave7610.1002/MALQ.19760220157https://doi.org/10.1002/malq.19760220157https://dblp.org/rec/journals/mlq/Cleave76URL#7119866Nino B. CocchiarellaA Note on the Definition of Identity in Quine's New Foundations.Math. Log. Q.221195-1971976Journal Articlesclosedjournals/mlq/Cocchiarella7610.1002/MALQ.19760220127https://doi.org/10.1002/malq.19760220127https://dblp.org/rec/journals/mlq/Cocchiarella76URL#7119867Newton C. A. da CostaCharles C. Pinterα Logic and Infinitary Languages.Math. Log. Q.221105-1121976Journal Articlesclosedjournals/mlq/CostaP7610.1002/MALQ.19760220112https://doi.org/10.1002/malq.19760220112https://dblp.org/rec/journals/mlq/CostaP76URL#7119868Robert H. CowenElementary Equivalence and Constructible Models of Zermelo-Fraenkel Set Theory.Math. Log. Q.221333-3381976Journal Articlesclosedjournals/mlq/Cowen7610.1002/MALQ.19760220143https://doi.org/10.1002/malq.19760220143https://dblp.org/rec/journals/mlq/Cowen76URL#7119869Nigel J. CutlandCompactness Without Languages.Math. Log. Q.221113-1151976Journal Articlesclosedjournals/mlq/Cutland7610.1002/MALQ.19760220113https://doi.org/10.1002/malq.19760220113https://dblp.org/rec/journals/mlq/Cutland76URL#7119870Johannes CzermakDistinct Modalities are not Equivalent in T.Math. Log. Q.221123-1251976Journal Articlesclosedjournals/mlq/Czermak7610.1002/MALQ.19760220116https://doi.org/10.1002/malq.19760220116https://dblp.org/rec/journals/mlq/Czermak76URL#7119871Michael Deutsch 0001Zur Präfixoptimalität Gewisser ∄ ... ∄-Darstellungen Aufzählbarer Prädikate.Math. Log. Q.221339-3461976Journal Articlesclosedjournals/mlq/Deutsch7610.1002/MALQ.19760220144https://doi.org/10.1002/malq.19760220144https://dblp.org/rec/journals/mlq/Deutsch76URL#7119872Erik EllentuckDecomposable Isols and Their Degrees.Math. Log. Q.221251-2601976Journal Articlesclosedjournals/mlq/Ellentuck7610.1002/MALQ.19760220134https://doi.org/10.1002/malq.19760220134https://dblp.org/rec/journals/mlq/Ellentuck76URL#7119873George EpsteinAlfred HornLogics Which Are Characterized by Subresiduated Lattices.Math. Log. Q.221199-2101976Journal Articlesclosedjournals/mlq/EpsteinH7610.1002/MALQ.19760220128https://doi.org/10.1002/malq.19760220128https://dblp.org/rec/journals/mlq/EpsteinH76URL#7119874James B. FreemanAlgebraic Semantics for Modal Predicate Logic.Math. Log. Q.221523-5521976Journal Articlesclosedjournals/mlq/Freeman7610.1002/MALQ.19760220162https://doi.org/10.1002/malq.19760220162https://dblp.org/rec/journals/mlq/Freeman76URL#7119875Ulf FriedrichsdorfEinige Bemerkungen Zur Peano-Arithmetik.Math. Log. Q.221431-4361976Journal Articlesclosedjournals/mlq/Friedrichsdorf7610.1002/MALQ.19760220153https://doi.org/10.1002/malq.19760220153https://dblp.org/rec/journals/mlq/Friedrichsdorf76URL#7119876Nadejda V. GeorgievaClasses of One-Argument Recursive Functions.Math. Log. Q.221127-1301976Journal Articlesclosedjournals/mlq/Georgieva7610.1002/MALQ.19760220117https://doi.org/10.1002/malq.19760220117https://dblp.org/rec/journals/mlq/Georgieva76URL#7119877Martin GersonA Neighbourhood Frame for T with No Equivalent Relational Frame.Math. Log. Q.22129-341976Journal Articlesclosedjournals/mlq/Gerson7610.1002/MALQ.19760220104https://doi.org/10.1002/malq.19760220104https://dblp.org/rec/journals/mlq/Gerson76URL#7119878David W. H. GillamRelatively Complete Theories.Math. Log. Q.221245-2501976Journal Articlesclosedjournals/mlq/Gillam7610.1002/MALQ.19760220133https://doi.org/10.1002/malq.19760220133https://dblp.org/rec/journals/mlq/Gillam76URL#7119879Bernhard G. GoetzeThe Structure of the Lattice of Recursive Sets.Math. Log. Q.221187-1911976Journal Articlesclosedjournals/mlq/Goetze7610.1002/MALQ.19760220125https://doi.org/10.1002/malq.19760220125https://dblp.org/rec/journals/mlq/Goetze76URL#7119880Jerrold M. GoldA Reflection Property for Saturated Models.Math. Log. Q.221425-4301976Journal Articlesclosedjournals/mlq/Gold7610.1002/MALQ.19760220152https://doi.org/10.1002/malq.19760220152https://dblp.org/rec/journals/mlq/Gold76URL#7119881Ivor Grattan-GuinnessFuzzy Membership Mapped onto Intervals and Many-Valued Quantities.Math. Log. Q.221149-1601976Journal Articlesclosedjournals/mlq/Grattan-Guinness7610.1002/MALQ.19760220120https://doi.org/10.1002/malq.19760220120https://dblp.org/rec/journals/mlq/Grattan-Guinness76URL#7119882Zdzislaw GrodzkiThe Boolean (k, m, p1, ..., pm)-Shift-Registers I.Math. Log. Q.221517-5221976Journal Articlesclosedjournals/mlq/Grodzki7610.1002/MALQ.19760220161https://doi.org/10.1002/malq.19760220161https://dblp.org/rec/journals/mlq/Grodzki76URL#7119883Walter HarnauDie Teilweise Geordnete Menge ϕk der Vertauschbarkeitsmengen der K-Wertigen Logik.Math. Log. Q.22119-281976Journal Articlesclosedjournals/mlq/Harnau7610.1002/MALQ.19760220103https://doi.org/10.1002/malq.19760220103https://dblp.org/rec/journals/mlq/Harnau76URL#7119884Jürgen HauckBerechenbare Reelle Funktionenfolgen.Math. Log. Q.221265-2821976Journal Articlesclosedjournals/mlq/Hauck7610.1002/MALQ.19760220136https://doi.org/10.1002/malq.19760220136https://dblp.org/rec/journals/mlq/Hauck76URL#7119885Hans-Dietrich HeckerZur Programmkomplexität Rekursiv Aufzählbarer Mengen.Math. Log. Q.221239-2441976Journal Articlesclosedjournals/mlq/Hecker7610.1002/MALQ.19760220132https://doi.org/10.1002/malq.19760220132https://dblp.org/rec/journals/mlq/Hecker76URL#7119886Thomas HerzogJames C. Owings Jr.The Inequivalence of Two Well-Known Notions of Randomness for Binary Sequences.Math. Log. Q.221385-3891976Journal Articlesclosedjournals/mlq/HerzogO7610.1002/MALQ.19760220147https://doi.org/10.1002/malq.19760220147https://dblp.org/rec/journals/mlq/HerzogO76URL#7119887Carl G. Jockusch Jr.Michael S. PatersonCompletely Autoreducible Degrees.Math. Log. Q.221571-5751976Journal Articlesclosedjournals/mlq/JockuschP7610.1002/MALQ.19760220164https://doi.org/10.1002/malq.19760220164https://dblp.org/rec/journals/mlq/JockuschP76URL#7119888Reinhard KletteIndexmengen und Erkennung Rekursiver Funktionen.Math. Log. Q.221231-2381976Journal Articlesclosedjournals/mlq/Klette7610.1002/MALQ.19760220131https://doi.org/10.1002/malq.19760220131https://dblp.org/rec/journals/mlq/Klette76URL#7119889Aleksandar KronDeduction Theorems for T, E and R Reconsidered.Math. Log. Q.221261-2641976Journal Articlesclosedjournals/mlq/Kron7610.1002/MALQ.19760220135https://doi.org/10.1002/malq.19760220135https://dblp.org/rec/journals/mlq/Kron76URL#7119890Manuel LermanIdeals of Generalized Finite Sets in Lattices of α-Recursively Enumerable Sets.Math. Log. Q.221347-3521976Journal Articlesclosedjournals/mlq/Lerman7610.1002/MALQ.19760220145https://doi.org/10.1002/malq.19760220145https://dblp.org/rec/journals/mlq/Lerman76URL#7119891Gerhard LischkeNatürliche Kompliziertheitsmasze und Erhaltungssätze I.Math. Log. Q.221413-4181976Journal Articlesclosedjournals/mlq/Lischke7610.1002/MALQ.19760220150https://doi.org/10.1002/malq.19760220150https://dblp.org/rec/journals/mlq/Lischke76URL#7119892Th. LucasUniversal classes of Monadic Algebras.Math. Log. Q.22135-441976Journal Articlesclosedjournals/mlq/Lucas7610.1002/MALQ.19760220105https://doi.org/10.1002/malq.19760220105https://dblp.org/rec/journals/mlq/Lucas76URL#7119893Christian MaurerEin Rekursiv Definiertes Geordnetes Paar.Math. Log. Q.221211-2141976Journal Articlesclosedjournals/mlq/Maurer7610.1002/MALQ.19760220129https://doi.org/10.1002/malq.19760220129https://dblp.org/rec/journals/mlq/Maurer76URL#7119894Robert P. McArthurHugues LeblancA Completeness Result for Quantificational Tense Logic.Math. Log. Q.22189-961976Journal Articlesclosedjournals/mlq/McArthurL7610.1002/MALQ.19760220110https://doi.org/10.1002/malq.19760220110https://dblp.org/rec/journals/mlq/McArthurL76URL#7119895Rod McBethFundamental Sequences for Initial Ordinals Smaller than a Certain Θ0.Math. Log. Q.22197-1041976Journal Articlesclosedjournals/mlq/McBeth7610.1002/MALQ.19760220111https://doi.org/10.1002/malq.19760220111https://dblp.org/rec/journals/mlq/McBeth76URL#7119896Terry A. McKeeSentences Preserved between Equivalent Topological Bases.Math. Log. Q.22179-841976Journal Articlesclosedjournals/mlq/McKee7610.1002/MALQ.19760220107https://doi.org/10.1002/malq.19760220107https://dblp.org/rec/journals/mlq/McKee76URL#7119897Thomas G. McLaughlinTrees and Isols II.Math. Log. Q.22145-781976Journal Articlesclosedjournals/mlq/McLaughlin7610.1002/MALQ.19760220106https://doi.org/10.1002/malq.19760220106https://dblp.org/rec/journals/mlq/McLaughlin76URL#7119898Thomas G. McLaughlinCorrection to my Paper "Closed Basic Retracing Functions and Hyperimmune Sets".Math. Log. Q.2212871976Journal Articlesclosedjournals/mlq/McLaughlin76a10.1002/MALQ.19760220138https://doi.org/10.1002/malq.19760220138https://dblp.org/rec/journals/mlq/McLaughlin76aURL#7119899Steven S. MuchnickThe Vectorized Grzegorczyk Hierarchy.Math. Log. Q.221441-4801976Journal Articlesclosedjournals/mlq/Muchnick7610.1002/MALQ.19760220156https://doi.org/10.1002/malq.19760220156https://dblp.org/rec/journals/mlq/Muchnick76URL#7119900Jon C. MuzioConcerning Completeness and Abelian Semigroups.Math. Log. Q.22185-861976Journal Articlesclosedjournals/mlq/Muzio7610.1002/MALQ.19760220108https://doi.org/10.1002/malq.19760220108https://dblp.org/rec/journals/mlq/Muzio76URL#7119901Lutz PrieseReversible Automaten und Einfache Universelle 2-Dimensionale Thue-Systeme.Math. Log. Q.221353-3841976Journal Articlesclosedjournals/mlq/Priese7610.1002/MALQ.19760220146https://doi.org/10.1002/malq.19760220146https://dblp.org/rec/journals/mlq/Priese76URL#7119902Alan RoseA Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables.Math. Log. Q.221117-1181976Journal Articlesclosedjournals/mlq/Rose7610.1002/MALQ.19760220114https://doi.org/10.1002/malq.19760220114https://dblp.org/rec/journals/mlq/Rose76URL#7119903Alan RoseFormalisations With Non-Standard Degrees of Completeness.Math. Log. Q.221177-1861976Journal Articlesclosedjournals/mlq/Rose76a10.1002/MALQ.19760220124https://doi.org/10.1002/malq.19760220124https://dblp.org/rec/journals/mlq/Rose76aURL#7119904James H. SchmerlRemarks on Self-Extending Models.Math. Log. Q.221509-5121976Journal Articlesclosedjournals/mlq/Schmerl7610.1002/MALQ.19760220159https://doi.org/10.1002/malq.19760220159https://dblp.org/rec/journals/mlq/Schmerl76URL#7119905Dietrich SchwartzDas Homomorphietheorem für MV-Algebren Endlicher Ordnung.Math. Log. Q.221141-1481976Journal Articlesclosedjournals/mlq/Schwartz7610.1002/MALQ.19760220119https://doi.org/10.1002/malq.19760220119https://dblp.org/rec/journals/mlq/Schwartz76URL#7119906Franz D. SeifertEine Klassifizierung endlich erzeugbarer Gruppen durch formale Sprachen.Math. Log. Q.221419-4241976Journal Articlesclosedjournals/mlq/Seifert7610.1002/MALQ.19760220151https://doi.org/10.1002/malq.19760220151https://dblp.org/rec/journals/mlq/Seifert76URL#7119907John C. ShepherdsonOn the Definition of Computable Function of a Real Variable.Math. Log. Q.221391-4021976Journal Articlesclosedjournals/mlq/Shepherdson7610.1002/MALQ.19760220148https://doi.org/10.1002/malq.19760220148https://dblp.org/rec/journals/mlq/Shepherdson76URL#7119908P. H. StanfordA Formalisation of the Integers in a Multi-Successor Arithmetic.Math. Log. Q.221119-1211976Journal Articlesclosedjournals/mlq/Stanford7610.1002/MALQ.19760220115https://doi.org/10.1002/malq.19760220115https://dblp.org/rec/journals/mlq/Stanford76URL#7119909Peter H. StarkeEntscheidungsprobleme für Autonome Mehrbandautomaten.Math. Log. Q.221131-1401976Journal Articlesclosedjournals/mlq/Starke7610.1002/MALQ.19760220118https://doi.org/10.1002/malq.19760220118https://dblp.org/rec/journals/mlq/Starke76URL#7119910Harrie C. M. de SwartElements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces.Math. Log. Q.221289-2981976Journal Articlesclosedjournals/mlq/Swart7610.1002/MALQ.19760220139https://doi.org/10.1002/malq.19760220139https://dblp.org/rec/journals/mlq/Swart76URL#7119911Harrie C. M. de SwartElements of Intuitionistic Analysis II the Stone-Weierstrass Theorem and Ascoli's Theorem.Math. Log. Q.221501-5081976Journal Articlesclosedjournals/mlq/Swart76a10.1002/MALQ.19760220158https://doi.org/10.1002/malq.19760220158https://dblp.org/rec/journals/mlq/Swart76aURL#7119912Atwell R. TurquetteMinimal Axioms for Peirce's Triadic Logic.Math. Log. Q.221169-1761976Journal Articlesclosedjournals/mlq/Turquette7610.1002/MALQ.19760220123https://doi.org/10.1002/malq.19760220123https://dblp.org/rec/journals/mlq/Turquette76URL#7119913Dolph UlrichOn a Property of Matrices for Subsystems of IC+.Math. Log. Q.221193-1941976Journal Articlesclosedjournals/mlq/Ulrich7610.1002/MALQ.19760220126https://doi.org/10.1002/malq.19760220126https://dblp.org/rec/journals/mlq/Ulrich76URL#7119914Dolph UlrichGeneralization of a Result of Pahi's.Math. Log. Q.221437-4381976Journal Articlesclosedjournals/mlq/Ulrich76a10.1002/MALQ.19760220154https://doi.org/10.1002/malq.19760220154https://dblp.org/rec/journals/mlq/Ulrich76aURL#7119915Daniel R. VandervekenA formal definition of the set of the logical connectors of pragmatics.Math. Log. Q.221513-5161976Journal Articlesclosedjournals/mlq/Vanderveken7610.1002/MALQ.19760220160https://doi.org/10.1002/malq.19760220160https://dblp.org/rec/journals/mlq/Vanderveken76URL#7119916Klaus W. WagnerArithmetische Operatoren.Math. Log. Q.221553-5701976Journal Articlesclosedjournals/mlq/Wagner7610.1002/MALQ.19760220163https://doi.org/10.1002/malq.19760220163https://dblp.org/rec/journals/mlq/Wagner76URL#7119917Martin WeeseEntscheidbarkeit in Speziellen Uniformen Strukturen Bezüglich Sprachen Mit Mächtigkeitsquantoren.Math. Log. Q.221215-2301976Journal Articlesclosedjournals/mlq/Weese7610.1002/MALQ.19760220130https://doi.org/10.1002/malq.19760220130https://dblp.org/rec/journals/mlq/Weese76URL#7119918Martin WeeseThe Isomorphism Problem of Superatomic Boolean Algebras.Math. Log. Q.221439-4401976Journal Articlesclosedjournals/mlq/Weese76a10.1002/MALQ.19760220155https://doi.org/10.1002/malq.19760220155https://dblp.org/rec/journals/mlq/Weese76aURL#7119919T. C. WesselkamperNo Abelian Semigroup Operation is Complete.Math. Log. Q.22187-881976Journal Articlesclosedjournals/mlq/Wesselkamper7610.1002/MALQ.19760220109https://doi.org/10.1002/malq.19760220109https://dblp.org/rec/journals/mlq/Wesselkamper76URL#7119920John WilliamsonThe Complete Axiomatisation of any Many-Valued Propositional Logic.Math. Log. Q.221299-3061976Journal Articlesclosedjournals/mlq/Williamson7610.1002/MALQ.19760220140https://doi.org/10.1002/malq.19760220140https://dblp.org/rec/journals/mlq/Williamson76URL#7119921