Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/mlq/mlq21.bht:"
download as .bib file
@article{DBLP:journals/mlq/Abian75,
author = {Alexander Abian},
title = {On the standard-model hypothesis of {ZF}},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {87--88},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210111},
doi = {10.1002/MALQ.19750210111},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Abian75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ash75,
author = {Christopher J. Ash},
title = {Sentences with finite models},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {401--404},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210153},
doi = {10.1002/MALQ.19750210153},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ash75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Baudisch75,
author = {Andreas Baudisch},
title = {Die Elementare Theorie der Gruppe vom Typ \emph{p}\({}^{\mbox{{\(\infty\)}}}\)
mit Untergruppen},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {347--352},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210142},
doi = {10.1002/MALQ.19750210142},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Baudisch75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bird75,
author = {Richard S. Bird},
title = {Non recursive functionals},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {41--46},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210105},
doi = {10.1002/MALQ.19750210105},
timestamp = {Wed, 06 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bird75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bloom75,
author = {Stephen L. Bloom},
title = {A note on the predicatively definable sets of N. N. Nepe{\^{\i}}voda},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {427--431},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210158},
doi = {10.1002/MALQ.19750210158},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bloom75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ChellasM75,
author = {Brian F. Chellas and
Audrey McKinney},
title = {The completeness of monotonic modal logics},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {379--383},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210150},
doi = {10.1002/MALQ.19750210150},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ChellasM75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Deutsch75,
author = {Michael Deutsch},
title = {Zur Benutzung der Verkettung als Basis f{\"{u}}r die Arithmetik},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {145--158},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210120},
doi = {10.1002/MALQ.19750210120},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Deutsch75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Deutsch75a,
author = {Michael Deutsch},
title = {Zur Darstellung koaufz{\"{a}}hlbarer Pr{\"{a}}dikate bei
Verwendung eines einzigen unbeschr{\"{a}}nkten Quantors},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {443--454},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210161},
doi = {10.1002/MALQ.19750210161},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Deutsch75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ersov75,
author = {J. U. L. Ersov},
title = {Theorie der Numerierungen {II}},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {473--584},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210164},
doi = {10.1002/MALQ.19750210164},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ersov75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Fagin75,
author = {Ronald Fagin},
title = {Monadic generalized spectra},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {89--96},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210112},
doi = {10.1002/MALQ.19750210112},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Fagin75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Fagin75a,
author = {Ronald Fagin},
title = {A two-cardinal characterization of double spectra},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {121--122},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210116},
doi = {10.1002/MALQ.19750210116},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Fagin75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Fagin75b,
author = {Ronald Fagin},
title = {A spectrum hierarchy},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {123--134},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210117},
doi = {10.1002/MALQ.19750210117},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Fagin75b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Feldman75,
author = {Eliot D. Feldman},
title = {\emph{L}-{\(\Sigma\)}},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {463--471},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210163},
doi = {10.1002/MALQ.19750210163},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Feldman75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Friedman75,
author = {Harvey Friedman},
title = {A cumulative hierarchy of predicates},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {309--314},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210137},
doi = {10.1002/MALQ.19750210137},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Friedman75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gill75,
author = {R. R. Rockingham Gill},
title = {A note on the compactness theorem},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {377--378},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210149},
doi = {10.1002/MALQ.19750210149},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gill75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Goldfarb75,
author = {Warren D. Goldfarb},
title = {On the effective {\(\omega\)}-rule},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {409--412},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210155},
doi = {10.1002/MALQ.19750210155},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Goldfarb75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Harrow75,
author = {Keith Harrow},
title = {Small Grzegorczyk classes and limited minimum},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {417--426},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210157},
doi = {10.1002/MALQ.19750210157},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Harrow75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HatcherS75,
author = {William S. Hatcher and
A. Shafaat},
title = {Categorical languages for algebraic structures},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {433--438},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210159},
doi = {10.1002/MALQ.19750210159},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HatcherS75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hay75,
author = {Louise Hay},
title = {Spectra and halting problems},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {167--176},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210122},
doi = {10.1002/MALQ.19750210122},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hay75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HerreW75,
author = {Heinrich Herre and
Helmut Wolter},
title = {Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {229--246},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210131},
doi = {10.1002/MALQ.19750210131},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HerreW75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Howard75,
author = {J. V. Howard},
title = {Computable explanations},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {215--224},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210129},
doi = {10.1002/MALQ.19750210129},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Howard75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hughes75,
author = {Charles E. Hughes},
title = {Triadic partial implicational propositional calculi},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {21--28},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210103},
doi = {10.1002/MALQ.19750210103},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Hughes75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hughes75a,
author = {Charles E. Hughes},
title = {Sets derived by deterministic systems with axiom},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {71--80},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210109},
doi = {10.1002/MALQ.19750210109},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hughes75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Humke75,
author = {Paul D. Humke},
title = {The Baire category of sets of access},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {331--342},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210140},
doi = {10.1002/MALQ.19750210140},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Humke75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Humke75a,
author = {Paul D. Humke},
title = {An example of a function with multiple ambiguities},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {413--416},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210156},
doi = {10.1002/MALQ.19750210156},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Humke75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Lachlan75,
author = {Alistair H. Lachlan},
title = {A remark on the strict order property},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {69--70},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210108},
doi = {10.1002/MALQ.19750210108},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Lachlan75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Lake75,
author = {John Lake},
title = {Characterising the largest, countable partial ordering},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {353--354},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210143},
doi = {10.1002/MALQ.19750210143},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Lake75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Lake75a,
author = {John Lake},
title = {Comparing type theory and set theory},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {355--356},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210144},
doi = {10.1002/MALQ.19750210144},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Lake75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Levitz75,
author = {Hilbert Levitz},
title = {An ordered set of arithmetic functions representing the least {\(\epsilon\)}-number},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {115--120},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210115},
doi = {10.1002/MALQ.19750210115},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Levitz75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Lischke75,
author = {Gerhard Lischke},
title = {{\"{U}}ber die Erf{\"{u}}llung gewisser Erhaltungss{\"{a}}tze
durch Kompliziertheitsmasse},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {159--166},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210121},
doi = {10.1002/MALQ.19750210121},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Lischke75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Loader75,
author = {John Loader},
title = {An alternative concept of the universal decision element in \emph{m}-valued
logic},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {369--375},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210148},
doi = {10.1002/MALQ.19750210148},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Loader75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Luckhardt75,
author = {Horst Luckhardt},
title = {A short proof of a well-known theorem of intuitionistic analysis},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {185--186},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210125},
doi = {10.1002/MALQ.19750210125},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Luckhardt75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MarekS75,
author = {V. Wiktor Marek and
M. Srebrny},
title = {No minimal transitive model of Z\({}^{\mbox{-}}\)},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {225--228},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210130},
doi = {10.1002/MALQ.19750210130},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/MarekS75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Marques75,
author = {Ivan Marques},
title = {On speedability of recursively enumerable sets},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {199--214},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210128},
doi = {10.1002/MALQ.19750210128},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Marques75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Martin75,
author = {John Neil Martin},
title = {A syntactic characterization of Kleene's strong connectives with two
designated values},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {181--184},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210124},
doi = {10.1002/MALQ.19750210124},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Martin75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/McKee75,
author = {Terry A. McKee},
title = {Infinitary logic and topological homeomorphisms},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {405--408},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210154},
doi = {10.1002/MALQ.19750210154},
timestamp = {Fri, 20 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/McKee75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/McLaughlin75,
author = {T. G. McLaughlin},
title = {A note concerning the V* relation on {\(\Lambda\)}\({}_{\mbox{r}}\)},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {177--179},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210123},
doi = {10.1002/MALQ.19750210123},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/McLaughlin75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Mortimer75,
author = {Michael Mortimer},
title = {On languages with two variables},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {135--140},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210118},
doi = {10.1002/MALQ.19750210118},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Mortimer75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Nieminen75,
author = {Juhani Nieminen},
title = {A note on simple graphic algebras},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {365--367},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210147},
doi = {10.1002/MALQ.19750210147},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Nieminen75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pahi75,
author = {Biswambhar Pahi},
title = {Jankov-theorems for some implicational calculi},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {193--198},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210127},
doi = {10.1002/MALQ.19750210127},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Pahi75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pelletier75,
author = {Donald H. Pelletier},
title = {On violating the {GCH} below the least measurable cardinal},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {361--364},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210146},
doi = {10.1002/MALQ.19750210146},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Pelletier75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/PogorzelskiP75,
author = {Witold A. Pogorzelski and
Tadeusz Prucnal},
title = {Structural completeness of the first-order predicate calculus},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {315--320},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210138},
doi = {10.1002/MALQ.19750210138},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/PogorzelskiP75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pour-ElC75,
author = {Marian Boykan Pour{-}El and
Jerome Caldwell},
title = {On a simple definition of computable function of a real variable-with
applications to functions of a complex variable},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {1--19},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210102},
doi = {10.1002/MALQ.19750210102},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Pour-ElC75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Reineke75,
author = {Joachim Reineke},
title = {Minimale Gruppen},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {357--359},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210145},
doi = {10.1002/MALQ.19750210145},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Reineke75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Rose75,
author = {Alan Rose},
title = {A note on the existence of tautologies without constants},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {141--144},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210119},
doi = {10.1002/MALQ.19750210119},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Rose75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Rosenthal75,
author = {John W. Rosenthal},
title = {Truth in all of certain well-founded countable models arising in set
theory},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {97--106},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210113},
doi = {10.1002/MALQ.19750210113},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Rosenthal75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Rosenthal75a,
author = {John W. Rosenthal},
title = {Partial n\({}_{\mbox{1-}}\)homogeneity of the countable saturated
model of an n\({}_{\mbox{1}}\)-categorical theory},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {307--308},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210136},
doi = {10.1002/MALQ.19750210136},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Rosenthal75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ruzsa75,
author = {Imre Z. Ruzsa},
title = {Two variants of the system of entailment},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {57--68},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210107},
doi = {10.1002/MALQ.19750210107},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ruzsa75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/SchnorrS75,
author = {Claus{-}Peter Schnorr and
G. Stumpf},
title = {A characterization of complexity sequences},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {47--56},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210106},
doi = {10.1002/MALQ.19750210106},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/SchnorrS75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schumm75,
author = {George F. Schumm},
title = {Disjunctive extensions of {S4} and a conjecture of Goldblatt's},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {81--86},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210110},
doi = {10.1002/MALQ.19750210110},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schumm75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schwartz75,
author = {Dietrich Schwartz},
title = {Ultraprodukte in der Theorie der logischen Auswahlfunktionen},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {385--394},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210151},
doi = {10.1002/MALQ.19750210151},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schwartz75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sochor75,
author = {Anton{\'{\i}}n Sochor},
title = {Contribution to the theory of semisets {VI:} (Non-existence of the
class of all absolute natural numbers)},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {439--442},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210160},
doi = {10.1002/MALQ.19750210160},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sochor75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Stanford75,
author = {P. H. Stanford},
title = {Polish circles},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {395--399},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210152},
doi = {10.1002/MALQ.19750210152},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Stanford75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Steffens75,
author = {Karsten Steffens},
title = {Der Satz von Dilworth und Souslin's Hypothese},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {187--192},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210126},
doi = {10.1002/MALQ.19750210126},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Steffens75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Stephan75,
author = {Bernd J. Stephan},
title = {Compactness and recursive enumerability in intensional logic},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {343--346},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210141},
doi = {10.1002/MALQ.19750210141},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Stephan75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Thomason75,
author = {Steven K. Thomason},
title = {The logical consequence relation of propositional tense logic},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {29--40},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210104},
doi = {10.1002/MALQ.19750210104},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Thomason75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Thomason75a,
author = {Steven K. Thomason},
title = {Reduction of second-order logic to modal logic},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {107--114},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210114},
doi = {10.1002/MALQ.19750210114},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Thomason75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/VopenkaS75,
author = {Petr Vopenka and
Anton{\'{\i}}n Sochor},
title = {Contributions to the theory of semisets {V:} On the axiom of general
collapse},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {289--302},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210134},
doi = {10.1002/MALQ.19750210134},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/VopenkaS75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Weese75,
author = {Martin Weese},
title = {Zum Isomorphieproblem der Booleschen Algebren},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {455--462},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210162},
doi = {10.1002/MALQ.19750210162},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Weese75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Wesselkamper75,
author = {T. C. Wesselkamper},
title = {Weak completeness and Abelian semigroups},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {303--305},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210135},
doi = {10.1002/MALQ.19750210135},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Wesselkamper75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Wolter75,
author = {Helmut Wolter},
title = {Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken
mit verallgemeinerten Quantoren},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {321--330},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210139},
doi = {10.1002/MALQ.19750210139},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Wolter75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-05-23 19:24 CEST from data curated 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:
