SU\G(𝔸)/K·U

Completing the Gödel-Zermelo correspondence

John W Dawson

Type: Article

Publication Date: 1985-02-01

Citations: 28

DOI: https://doi.org/10.1016/0315-0860(85)90070-9

Locations

  • Historia Mathematica - View

Similar Works

Action Title Year Authors
+ The Zermelo-Fraenkel Axioms 2017
+ Axioms of Zermelo-Fraenkel 1971 Thomas Jech
+ Introduction to the Teubner Correspondence 2022 Elisabeth Begemann
+ Zermelo-Fraenkel Set Theory 2014
+ Schwarz-Christoffel mapping 2017 Sandip Tiwari
+ Schwarz-Christoffel mapping 2003
+ PDF Chat Zermelo–Fraenkel Set Theory 2025
+ Zermelo–Fraenkel Set Theory 2024 Shashi Mohan Srivastava
+ Zermelo–Fraenkel Set Theory 2020 Seymour Hayden
Ernst Zermelo
Abraham A. Fraenkel
John F. Kennison
+ Zermelo–Fraenkel set theory 2014 Barnaby Sheppard
+ Una prueba algebráica (sic) de los teoremas de Skölen-Lowenheim y Gödel 1973 José F. Prida
+ The Frobenius Problem 2015 Anna Marie Megale
+ The Frobenius problem 1991 S. K. Ekambaram
+ Volume III of the Lockhart-Croker correspondence 1940 Xezvus Cockerham Keithley
+ The Conley-Zehnder Theorem 2016 Luka Zwaan
+ PDF Chat On Skolemising Zermelo's Set Theory 2008 Alexandre Miquel
+ PDF Chat On Skolemising Zermelo's Set Theory 2008 Alexandre Miquel
+ A Brief Overview of Källén-Pauli Correspondence 2013 Cecilia Jarlskog
+ Die Laguerre-Pinney-Transformation 1981 Hans‐Jürgen Glaeske
+ Lovász Number 2008 Stanislav Busygin

Works That Cite This (12)

Action Title Year Authors
+ PDF Chat Zermelo: a Well Founded Antiskolemism 2007 Jerzy Pogonowski
+ PDF Chat The Road to Modern Logic—An Interpretation 2001 José Ferreirós
+ Zermelo's Cantorian Theory of Systems of Infinitely Long Propositions 2002 Rob Taylor
+ None 1998 John W Dawson
+ Gödel on Tarski 2004 Stanisław Krajewski
+ ‘ich habe mich wohl gehütet, alle patronen auf einmal zu verschießen’. ernst zermelo in göttingen 1990 Volker Peckhaus
+ Zermelo in the mirror of the Baer correspondence, 1930–1931 2003 Heinz-Dieter Ebbinghaus
+ Kurt Gödel in Sharper Focus 2001 John W Dawson
+ Textual notes 2003
+ References 2003

Works Cited by This (2)

Action Title Year Authors
+ In memoriam Kurt Go¨del: His 1931 correspondence with zermelo on his incompletability theorem 1979 I. Grattan‐Guinness
+ Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory 1980 Gregory Moore