OpenLLM-France/wikimedia huggingface dataset:
# P7

P7 bzw. P 7 steht für:
* HK P7, ein Pistolenmodell des Herstellers Heckler & Koch
* Ford P7, eine Auto-Modellreihe des Herstellers Ford
* Honda P7, ein Auto-Modell des Herstellers Honda
* Xpeng P7, ein Auto-Modell des Herstellers Xpeng
* Xpeng P7+, ein Auto-Modell des Herstellers Xpeng
* Elsaß-Lothringische P 7, eine Personenzuglokomotive der Reichseisenbahnen in Elsaß-Lothringen
* Preußische P 7, eine Personenzuglokomotive der Preußischen Staatseisenbahnen
P.7 steht für:
* Piaggio P.7
* PZL P.7, ein polnisches Jagdflugzeug
P-7 steht für:
${\mathfrak {P}}$$^7$ steht für:
Siehe auch:
# Puccinia australis

Puccinia australis ist eine Ständerpilzart aus der Ordnung der Rostpilze (Pucciniales). Der Pilz ist ein Endoparasit von Fetthennen sowie der Süßgrasgattung Cleistogenes. Symptome des Befalls durch die Art sind Rostflecken und Pusteln auf den Blattoberflächen der Wirtspflanzen. Sie ist paläarktisch verbreitet.

## Merkmale
### Makroskopische Merkmale

Puccinia australis ist mit bloßem Auge nur anhand der auf der Oberfläche des Wirtes hervortretenden Sporenlager zu erkennen. Sie wachsen in Nestern, die als gelbliche bis braune Flecken und Pusteln auf den Blattoberflächen erscheinen.

### Mikroskopische Merkmale

Das Myzel von Puccinia australis wächst wie bei allen Puccinia-Arten interzellulär und bildet Saugfäden, die in das Speichergewebe des Wirtes wachsen. Die Aecien des Pilzes besitzen 18–20 × 16–18 µm große, hyaline Aeciosporen mit runzliger Oberfläche. Die hellorangen Uredien der Art wachsen zumeist oberseitig auf den Blättern der Wirtspflanze. Ihre hellgelben bis farblosen Uredosporen sind für gewöhnlich eiförmig bis breitellipsoid, 17–22 × 16–18 µm groß und fein stachelwarzig. Die blattunterseitig wachsenden Telien der Art sind schwärzlich, pulverig und früh unbedeckt. Die tief goldenen bis haselnussbraunen Teliosporen des Pilzes sind zweizellig, in der Regel ellipsoid bis breit eiförmig und 30–40 × 21–24 µm groß. Ihre Stiele sind farblos bis hellgelblich und bis zu 100 µm lang.

## Verbreitung

Das bekannte Verbreitungsgebiet von Puccinia australis umfasst die Paläarktis.

## Ökologie

Die Wirtspflanzen von Puccinia australis sind für den Haplonten Fetthennen (Sedum spp.) sowie Cleistogenes serotina und C. squarrosa für den Dikaryonten. Der Pilz ernährt sich von den im Speichergewebe der Pflanzen vorhandenen Nährstoffen, seine Sporenlager brechen später durch die Blattoberfläche und setzen Sporen frei. Die Art verfügt über einen Entwicklungszyklus mit Telien, Uredien, Spermogonien und Aecien und macht einen Wirtswechsel durch.
# Edwin V. Dodge

Edwin Vernon Dodge (* 1944 in Cardinal, Ontario) ist ein kanadischer Eisenbahn-Manager. Er war der letzte Präsident und Chief Executive Officer der Soo Line Railroad.

## Leben

Der Sohn von Frank and Gladys Dodge besuchte die Trinity College School in Port Hope in Ontario. An der McGill University Montreal erlangte er 1967 den Abschluss als Bachelor of Engineering und an der University of Western Ontario den Abschluss als Master of Business Administration. Ab 1969 begann er für die Canadian Pacific Railway zu arbeiten. 1973 war er Regional Marketing Director in Vancouver.
Später war er Vizepräsident für Marketing und Sales und Leitender Vizepräsident bei der CP-Rail-Abteilung Heavy Haul Systems. Diese war für die Transporte, die nicht den Containerverkehr betrafen, also vor allem Getreide, Düngemittel, Chemikalien und Flüssigkeiten, verantwortlich.
Mit der vollständigen Übernahme der Soo Line Railroad wurde Ed Dodge im Mai 1989 zusätzlich zum Präsidenten und CEO dieser Bahngesellschaft und der Holding Soo Line Corporation ernannt.
1995 wurde er Leitender Vizepräsident für den operativen Betrieb. Anfang Juni 2001 wurde er zum Chief Operating Officer ernannt und war damit im Vorstand für den operativen Geschäftsbetrieb verantwortlich. Im März 2004 ging er in den Ruhestand. Da inzwischen die Soo Line Railroad vollständig in den Betriebsablauf integriert war und nur noch auf dem Papier existierte, wurde die Position des Präsidenten und CEO nicht wieder vergeben.
1973 heiratete er Rita Mary Dobbin.
# Goldfleck-Zwergbärbling

Der Goldfleck-Zwergbärbling (Boraras merah) ist ein kleiner Karpfenfisch aus den westlichen und südlichen Teilen Borneos.

## Merkmale

Boraras merah erreicht eine Größe von 20 mm. Er ist gekennzeichnet durch einen ovalen Fleck auf der Seite, der durch einen leichten rosa Saum umgeben ist. Von diesem Fleck erstreckt sich ein mehr oder weniger ausgeprägter rosa Streifen bis zur Schwanzflosse.
Ausgewachsene Weibchen sind rundbäuchiger als Männchen und oft etwas größer. Die Männchen sind meist intensiver gefärbt.

## Forschungsgeschichte

Die Art wurde von Maurice Kottelat 1991 als Rasbora merah erstbeschrieben. Der Holotypus stammt aus dem indonesischen Teil der Insel Borneo, aus dem Flussgebiet des Sungai Jelai Bila etwa 30 km südlich von Sukamara Stadt.

## Quellen

* ↑ Flair Wang (2007): Die kleinen Bärblinge der Gattung Boraras. In: AMAZONAS 14, November/Dezember 2007, Seite 14–21. (Online bei The Internet Archive).
* ↑ Profil auf seriouslyfish.com
* ↑ Dirk Neumann (2011): Type catalogue of the ichthyological collection of the Zoologische Staatssammlung München. Part II. Fish types inventoried after 25 April 1944. Spixiana (München), Vol. 34, Nr. 2, S. 256. (Online)
# Puccinia bambusarum

Puccinia bambusarum ist eine Ständerpilzart aus der Ordnung der Rostpilze (Pucciniales). Der Pilz ist ein Endoparasit eines Arundinaria-Bambusses. Symptome des Befalls durch die Art sind Rostflecken und Pusteln auf den Blattoberflächen der Wirtspflanzen. Sie ist ein Endemit Perus.

## Merkmale
### Makroskopische Merkmale

Puccinia bambusarum ist mit bloßem Auge nur anhand der auf der Oberfläche des Wirtes hervortretenden Sporenlager zu erkennen. Sie wachsen in Nestern, die als gelbliche bis braune Flecken und Pusteln auf den Blattoberflächen erscheinen.

### Mikroskopische Merkmale

Das Myzel von Puccinia bambusarum wächst wie bei allen Puccinia-Arten interzellulär und bildet Saugfäden, die in das Speichergewebe des Wirtes wachsen. Aecien oder Spermogonien der Art sind nicht bekannt. Die gelblichen Uredien des Pilzes wachsen auf der Unterseite der Blätter des Wirts. Ihre farblosen bis gelben Uredosporen sind ellipsoid bis eiförmig, 24–32 × 18–22 µm groß und fein stachelwarzig. Die blattunterseitig wachsenden Telien der Art sind zimtbraun und früh unbedeckt. Die gelben bis hell goldenen Teliosporen der Art sind zweizellig, oft schief septiert, ellipsoid bis schmal eiförmig und 20–28 × 12–15 µm groß. Ihre Stiele sind gelblich bis farblos und bis zu 80 µm lang.

## Verbreitung

Das bekannte Verbreitungsgebiet von Puccinia bambusarum umfasst lediglich Peru.

## Ökologie

Die Wirtspflanze von Puccinia bambusarum ist eine nicht näher bestimmte Arundinaria-Art. Der Pilz ernährt sich von den im Speichergewebe der Pflanzen vorhandenen Nährstoffen, seine Sporenlager brechen später durch die Blattoberfläche und setzen Sporen frei. Die Art verfügt über einen Entwicklungszyklus, von dem bislang lediglich Telien und Uredien sowie deren Wirt bekannt sind; Spermogonien und Aecien konnten dem Pilz nicht zugeordnet werden.
# St. Bartholomäus (Kraiburg am Inn)

Die römisch-katholische Pfarrkirche St. Bartholomäus steht in Kraiburg am Inn, einer Gemeinde im oberbayerischen Landkreis Mühldorf am Inn. Sie ist in der Liste der Baudenkmäler in Kraiburg am Inn als Baudenkmal unter der Nr. D-1-83-124-56 eingetragen. Die Kirche gehört zum Dekanat Mühldorf im Erzbistum München und Freising.

## Beschreibung

Die neuromanische Basilika wurde 1892/93 aus Backsteinen erbaut. Sie besteht aus dem Mittelschiff und zwei Seitenschiffen, der Apsis im Osten des Mittelschiffs sowie dem mit einem Pyramidendach abgeschlossenen Kirchturm auf quadratischem Grundriss im Westen. Die vier unteren Geschosse des Turms aus Quadermauerwerk stammen vom spätgotischen Vorgängerbau aus dem 15. Jahrhundert. Sie wurden mit Backsteinen aufgestockt. Im obersten Geschoss steht hinter den als Triforien gestalteten Klangarkaden der Glockenstuhl mit fünf Glocken. Im Geschoss darunter befindet sich die Turmuhr.
Der Innenraum wurde in der Zeit von 1893 bis 1897 unter Leitung von Max Schmalzl ausgemalt. Die Glasmalereien in der Apsis stammen von Franz Xaver Zettler. Die Orgel wurde 1971 vom St. Gregoriuswerk gebaut.
# Otto zu Solms

Otto zu Solms ist der Name folgender Personen:
* Otto von Solms († 1359), Domherr im Bistum Münster
* Otto zu Solms-Laubach (1496–1522), Graf von Solms-Laubach
* Otto II. zu Solms-Laubach (1799–1872), deutscher Politiker, siehe Otto II. (Solms-Laubach)
* Otto (III.) zu Solms-Laubach (1860–1904), deutscher Politiker, siehe Otto III. (Solms-Laubach)
* Otto zu Solms-Rödelheim (1829–1904), preußischer Politiker und Gutsbesitzer
* Otto zu Solms-Sonnenwalde (1845–1886), deutscher Offizier, Rittmeister und Abgeordneter
* Otto Heinrich Ludwig zu Solms (Otto Heinrich Ludwig Graf zu Solms-Sonnewalde; 1740–1814), kurfürstlich-sächsischer und königlich-sächsischer Geheimer Rat und Rittergutsbesitzer sowie Standesherr
Siehe auch:
# Speculum (Zeitschrift)

Speculum wird seit 1926 von der Medieval Academy of America herausgegeben. Es ist in den USA die älteste der historischen Fachzeitschriften, die sich ausschließlich mit dem Mittelalter befassen. Dabei wird nach wie vor die Epochengrenze von 500 bis 1500 berücksichtigt. Schwerpunkt ist dabei Westeuropa, doch auch byzantinistische, hebräische, arabische und slawische Studien werden angenommen. Artikel und Rezensionen sind dabei hinsichtlich der Fragestellungen, Methoden und Ansätze ohne festgesetzte thematische Begrenzungen. Neben historischen Beiträgen im engeren Sinne werden auch kunstgeschichtliche und literarische, philosophische und theologische, musikwissenschaftliche und naturwissenschaftliche, aber auch rechts- und wirtschaftsgeschichtliche Artikel publiziert.
Derzeitige Herausgeberin ist Katherine L. Jansen.
# Masashi Kamekawa

Masashi Kamekawa (jap. 亀川 諒史, Kamekawa Masashi; * 28. Mai 1993 in Minō) ist ein japanischer Fußballspieler.

## Karriere
### Verein

Er begann seine Karriere bei Shonan Bellmare, wo er von 2012 bis 2014 spielte. 2015 folgte dann der Wechsel zu Avispa Fukuoka. Danach spielte er bei Kashiwa Reysol und V-Varen Nagasaki. Nach 81 Zweitligaspielen für den Zweitligisten aus Nagasaki wechselte er im Januar 2022 nach Yokohama zum Erstligaabsteiger Yokohama FC. Am Ende der Saison 2022 feierte er mit Yokohama die Vizemeisterschaft der zweiten Liga und den Aufstieg in die erste Liga. Nach dem Aufstieg und 35 Ligaspielen wechselte er im Januar 2023 zum Erstligisten Avispa Fukuoka.

### Nationalmannschaft

Mit der japanischen Nationalmannschaft qualifizierte er sich für die Olympischen Sommerspiele 2016.

## Erfolge

Shonan Bellmare
* Japanischer Zweitligavizemeister: 2012 ▲
* Japanischer Zweitligameister: 2014 ▲
Yokohama FC
* Japanischer Zweitligavizemeister: 2022 ▲
# Takumi Nagaishi

Takumi Nagaishi (jap. 永石 拓海, Nagaishi Takumi; * 16. Februar 1996 in der Präfektur Fukuoka) ist ein japanischer Fußballspieler.

## Karriere

Takumi Nagaishi erlernte das Fußballspielen in der Jugendmannschaft des Murushi FC, den Schulmannschaften der Kokufu Jr. High School und der Takagawa Gakuen High School sowie in der Universitätsmannschaft der Universität Fukuoka. Von Juli 2015 bis Januar 2016 wurde er von der Universität Fukuoka an den Erstligisten Sagan Tosu nach Tosu ausgeliehen. Cerezo Osaka lieh ihn von Mai 2017 bis Januar 2018 aus. Mit dem Club stand er im Finale des J. League Cup und des Emperor’s Cup. Nach Leihende wurde er von Osaka Anfang 2018 fest verpflichtet. Der Verein aus Osaka, einer Stadt in der Präfektur Osaka, spielte in der ersten Liga des Landes, der J1 League. 2018 wurde er elfmal in der U23–Mannschaft eingesetzt. Die U23 spielte in der dritten Liga, der J3 League. 2019 wurde er an Renofa Yamaguchi FC ausgeliehen. Die Mannschaft aus Yamaguchi spielte in der zweiten Liga, der J2 League. Hier kam er jedoch nicht zum Einsatz. 2020 kehrte er nach der Ausleihe nach Osaka zurück. 2020 kam er fünfmal in der U23-Mannschaft zum Einsatz. Anfang 2021 wechselte er auf Leihbasis zum Erstligaaufsteiger Avispa Fukuoka nach Fukuoka. Hier kam er jedoch nicht zum Einsatz. Nach der Ausleihe wurde er von Avispa am 1. Februar 2022 fest unter Vertrag genommen. Am 4. November 2023 stand er mit Avispa im Finale des Ligapokals. Hier besiegte man die Urawa Red Diamonds mit 2:1.

## Erfolge

Cerezo Osaka
* Japanischer Pokalsieger: 2017
* Japanischer Ligapokalsieger: 2017
Avispa Fukuoka
* Japanischer Ligapokalsieger: 2023
# Wilhelm Ahrens (Mathematiker)

Wilhelm Ernst Martin Georg Ahrens (* 3. März 1872 in Lübz; † 23. Mai 1927 in Rostock) war ein deutscher Mathematiker und Schriftsteller.

## Leben und Werk

Wilhelm Ahrens wurde in Lübz an der Elde in Mecklenburg geboren und studierte von 1890 bis 1897 in Rostock, Berlin und Freiburg. 1895 wurde er bei Otto Staude mit dem Thema Über eine Gattung n-fach periodischer Functionen von n reellen Veränderlichen summa cum laude promoviert. Gleichzeitig legte er die Oberlehrerprüfung ab. Von 1895 bis 1896 war er Lehrer an der deutschen Schule in Antwerpen und studierte dann noch ein Semester bei Sophus Lie in Leipzig. Angeregt durch diesen verfasste er „Über Transformationsgruppen, deren sämtliche Untergruppen invariant sind“ (Hamburger Math. Gesellschaft Band 4, 1902). 1897 war er Lehrer in Magdeburg an der Baugewerkeschule, ab 1901 an der Maschinenbauschule. 1904 übersiedelte er wieder nach Rostock, um ganz schriftstellerisch tätig zu sein.
Er arbeitete viel zur Mathematikgeschichte und über mathematische Spiele (Unterhaltungsmathematik), über die er ein großes Werk verfasste und auch einen Beitrag für die Enzyklopädie der mathematischen Wissenschaften beisteuerte. Seine großen Vorläufer waren Jacques Ozanam in Frankreich, wo auch der Zahlentheoretiker Édouard Lucas (1842–1891) im 19. Jahrhundert ähnliche Bücher schrieb, sowie Walter William Rouse Ball (1850–1925) in England (Mathematical recreations and essays 1892), Sam Loyd (1841–1901) in den USA und Ernest Dudeney (1857–1930) in England. In diesem Sinn kann man Martin Gardner und Ian Stewart, die Herausgeber der Mathematik-Kolumne im Scientific American, sowie Raymond Smullyan als seine Nachfolger betrachten. Er gab auch ein Buch mit Zitaten und Anekdoten über Mathematiker heraus (Scherz und Ernst in der Mathematik). Er schrieb zahlreiche Zeitschriftenaufsätze.

## Veröffentlichungen

* Mathematische Unterhaltungen und Spiele, Teubner, Leipzig 1901 (gallica.bnf.fr Digitalisat), 2. Auflage 1910–1918 in 2 Bänden
* Mathematische Spiele. In: Enzyklopädie der mathematischen Wissenschaften. Band 1, Teil 2, Teubner, Leipzig 1902, S. 1080–1093 (uni-goettingen.de Digitalisat).
* Scherz und Ernst in der Mathematik, Teubner, Leipzig 1904 (historical.library.cornell.edu, auch bei archive.org mit zusätzlichen Downloadmöglichkeiten) – Reprint: Olms, Hildesheim 2002.
* Mathematische Spiele (in der Reihe Aus Natur und Geisteswelt; Band 170; gekürzte Fassung von „Mathematische Unterhaltungen und Spiele“), Leipzig, Teubner 1907, 4. Auflage 1919 – Reprint: Anaconda Verlag, 2008.
* Gelehrten-Anekdoten. Sack, Berlin-Schöneberg 1911.
* Der große König. Aus Werken und Wirken, Sentenzen und Anekdoten. Sack, Berlin-Schöneberg 1912.
* Mathematiker-Anekdoten (= Mathematische Bibliothek; 18), Teubner, Leipzig und Berlin 1916, 2. Auflage 1920.
* Das Theater in der Sonne des Humors. Heitere Bilder aus Bühnenwelt und Bühnengeschichte. Sack, Berlin 1913.
* Altes und Neues aus der Unterhaltungsmathematik, Springer, Berlin 1918, doi:10.1007/978-3-642-50946-9
* Latein oder Deutsch? Die „Sprachenfrage“ bei der Herausgabe der Werke Leonhard Eulers. Peters, Magdeburg 1910.
# Olivia Fried

Olivia Fried (* 2. September 1912 als Olivia Mathilde Friedmann in Berlin-Schöneberg; † 11. Februar 1958 in Budapest) war eine ungarische Tänzerin sowie Schauspielerin beim frühen deutschen und italienischen Tonfilm.

## Leben und Wirken

Olivia Friedmann kam als jüngere von zwei Töchtern des Kaufmanns Emmerich (Imre) Friedmann und seiner Frau Maria, geb. Maloschik, im Berliner Umland zur Welt, wohin ihre Eltern wenige Jahre zuvor von Ungarn übersiedelt waren. Bereits als Kleinkind erhielt sie Ballettunterricht bei Mary Zimmermann und tanzte bis zum 12. Lebensjahr im Ensemble des Deutschen Opernhauses in Berlin. Anschließend trat sie in verschiedenen Revuen auf.
Nachdem sie 1930 eine kleine Rolle im Stummfilm Liebe und Champagner erhalten hatte, wurde sie noch im selben Jahr von Harry Piel für den aufkommenden Tonfilm entdeckt, indem er sie für seine Inszenierung Er oder ich als weibliche Hauptdarstellerin verpflichtete. Bis 1932 folgten für die blonde Künstlerin, die sich für ihre Filmkarriere den Namen Olivia Fried zugelegt hatte, noch einige untergeordnete Engagements beim deutschen Film, ehe sie nach der NS-Machtergreifung beruflich kaltgestellt wurde, da sie nunmehr als sogenannte „Halbjüdin“ galt. Nach einer dreijährigen Pause konnte Olivia Fried ihre Laufbahn in Italien fortsetzen, wo sie meist mit Nebenrollen in minder bedeutenden Unterhaltungsproduktionen besetzt wurde, aber auch an dem unter federführender Beteiligung des Duce-Sohnes Vittorio Mussolini entstandenen faschistischen Propagandafilm Zwischen Leben und Tod mitwirkte.
Bei Ausbruch des Zweiten Weltkriegs musste Olivia Fried als ungarische Staatsbürgerin Italien verlassen und ging nach Budapest, wohin inzwischen auch ihre Eltern von Berlin aus exiliert worden waren. Hier fand sie beim Film keine Beschäftigung mehr, sondern arbeitete in einem Krankenhaus und zog sich infolge ihrer Heirat mit dem Ungarn Endre Mészáros ins Privatleben zurück. Zuletzt verwitwet, starb die ehemalige Schauspielerin 1958 im Alter von nur 45 Jahren an einem Darmverschluss.

## Filmografie

* 1930: Liebe und Champagner
* 1930: Er oder ich (und französische Version Lui et moi)
* 1930: Das gestohlene Gesicht
* 1931: Gloria
* 1931: Der brave Sünder
* 1932: Fasse dich kurz! (Kurzfilm)
* 1936: Ballerine
* 1936: L’antenato
* 1937: Regina della Scala
* 1938: La mazurka di papà
* 1938: Zwischen Leben und Tod (Luciano Serra pilota)
* 1938: L’allegro cantante
* 1939: Eravamo 7 sorelle
* 1939: Allegri masnadieri
# Dag Prawitz

Dag Prawitz (* 16. Mai 1936 in Stockholm) ist ein schwedischer Philosoph und mathematischer Logiker.

## Leben

Prawitz studierte theoretische Philosophie in Stockholm als Schüler von Anders Wedberg und Stig Kanger. 1965 wurde er promoviert mit der Dissertation Natural Deducation. A Proof-Theoretic Study. Er war Dozent an der Universität Stockholm und der Universität Lund und Gastprofessor in den USA (UCLA, Stanford, Michigan) bevor er 1971 Professor in Oslo wurde (als Nachfolger von Arne Naæss). 1976 wurde er Nachfolger von Wedberg als Professor für theoretische Philosophie in Stockholm. 1977 bis 1979 stand er der Fakultät für Philosophie vor. 1983 war er Gastprofessor in Rom. 2001 wurde er emeritiert.
Er ist für Arbeiten zur Beweistheorie bekannt und war in den 1960er Jahren einer derjenigen, die die Vermutung von Gaisi Takeuti für Logikkalküle zweiter und höherer Ordnung bewiesen (Gültigkeit der Schnittregel entsprechend dem Gentzenschen Hauptsatz). Er befasste sich mit Philosophie der Logik (unter anderem dem Konflikt klassischer und intuitionistischer Logik) und Sprachphilosophie (Theorie der Bedeutung, Inferentielle Semantik, mit Michael Dummett und aufbauend auf einer Idee von Gerhard Gentzen).
Er ist Mitglied der Königlich Schwedischen und Norwegischen Akademie der Wissenschaften, der Kungliga Vitterhets Historie och Antikvitets Akademien und der Academia Europaea. 2015 erhielt er den mit 600.000 Kronen dotierten Ann Kersti und Carl Hakon Swenson Preis für Geisteswissenschaften der Kungliga Vitterhets Historie och Antikvitets Akademien.
Er stand 1991 dem Organisationskomitee des 9th International Congress for Logic, Methodology and Philosophy of Science in Uppsala vor. 1988 bis 1997 war er Präsident der Schock Stiftung, die die internationalen Rolf Schock Preise der Schwedischen Akademie der Wissenschaften vergibt. Sowohl in Schweden als auch in Norwegen war er in den 2000er Jahren in nationalen Komitees zur Evaluierung der Forschung in Philosophie.
Von dessen Gründung 1985 bis 2004 leitete er den Verlag Thales.
2020 wurde Dag Prawitz gemeinsam mit Per Martin-Löf der Rolf-Schock-Preis für Logik und Philosophie verliehen.

## Schriften

* Completeness and Hauptsatz for second order logic, Theoria, Band 33, 1967, S. 246–58
* Hauptsatz for higher order logic, Journal of Symbolic Logic, Band 33, 1969, S. 452–57, 1969
* On the idea of a general proof theory, Synthese, Band 27, 1974, S. 63–77.
* Meaning and proofs: On the conflict between classical and intuitionistic logic, Theoria, Band 43, 1977, S. 2–40
* Beweise und die Bedeutung und Vollständigkeit der logischen Konstanten, Conceptus, Band XVI, 1982, S. 3–44 (Übersetzung von: Proofs and the meaning and completeness of the logical constants, in: J. Hintikka, Essays on Mathematical and Philosophical Logic, Reidel 1979)
* Natural deduction: A proof-theoretical study. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 3. Stockholm, Göteborg, Uppsala: Almqvist & Wicksell 1965, Nachdruck Dover 2006
* ABC i Symbolisk Logik, Filosofiska studier nr 23, Uppsala, 1975, Neuauflage Stockholm, Thales 2001
# Daiki Miya

Daiki Miya (jap. 宮 大樹, Miya Daiki; * 1. April 1996 in Toyonaka, Präfektur Osaka) ist ein japanischer Fußballspieler.

## Karriere

Daiki Miya erlernte das Fußballspielen in der Jugendmannschaft vom Osaka Central FC sowie in den Schulmannschaften der Seimei Gakuin High School und des Biwako Seikei Sport College. Von Juni 2017 bis Dezember 2017 wurde er an Vissel Kōbe ausgeliehen. Der Verein aus Kōbe spielte in der höchsten Liga des Landes, der J1 League. Nach seiner Ausleihe wurde er von Vissel 2018 fest verpflichtet. Von August 2019 bis Januar 2020 wurde er an den Zweitligisten Mito Hollyhock nach Mito ausgeliehen. Für Mito absolvierte er zwölf Zweitligaspiele. Nach Vertragsende bei Vissel wechselte er 2020 zum Ligakonkurrenten Sagan Tosu nach Tosu. Für Sagan absolvierte er 14 Erstligaspiele. Im Januar 2021 nahm ihn der Erstligaaufsteiger Avispa Fukuoka unter Vertrag. Am 4. November 2023 stand er mit Avispa im Finale des Ligapokals. Hier besiegte man die Urawa Red Diamonds mit 2:1. Nach insgesamt 90 Ligaspielen wechselte er im Januar 2025 nach Nagoya zum ebenfalls in der ersten Liga spielenden Nagoya Grampus.

## Erfolge

Avispa Fukuoka
* Japanischer Ligapokalsieger: 2023