Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

William W. Tait

> Home > Persons

Person information

affiliation: Department of Philosophy, University of Chicago, Chicago, IL, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2006
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/synthese/Tait06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/synthese/Tait06
William W. Tait:
Proof-theoretic Semantics for Classical Mathematics. Synth. 148(3): 603-622 (2006)
2005
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Tait05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Tait05
William W. Tait:
Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counterexample interpretation. Bull. Symb. Log. 11(2): 225-238 (2005)
2003
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Tait03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Tait03
William W. Tait:
The completeness of Heyting first-order logic. J. Symb. Log. 68(3): 751-763 (2003)
1983
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/Tait83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/Tait83
William W. Tait:
Against intuitionism: Constructive mathematics is part of classical mathematics. J. Philos. Log. 12(2): 173-195 (1983)
1981
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/HalpernTB81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/HalpernTB81
Daniel Halpern, William W. Tait, John T. Baldwin:
Meeting of the Association for Symbolic Logic: Biloxi, 1979. J. Symb. Log. 46(1): 191-198 (1981)
1978
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/JockuschSTT78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/JockuschSTT78
Carl G. Jockusch Jr., Robert I. Soare, William W. Tait, Gaisi Takeuti:
Meeting of the Association for Symbolic Logic: Chicago, 1977. J. Symb. Log. 43(3): 614-619 (1978)
1976
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/BaldwinMST76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/BaldwinMST76
John T. Baldwin, Donald A. Martin, Robert I. Soare, William W. Tait:
Meeting of the Association for Symbolic Logic. J. Symb. Log. 41(2): 551-560 (1976)
1967
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Tait67
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Tait67
William W. Tait:
Intensional Interpretations of Functionals of Finite Type I. J. Symb. Log. 32(2): 198-212 (1967)
1965
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Tait65
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Tait65
William W. Tait:
Functionals Defined by Transfinite Recursion. J. Symb. Log. 30(2): 155-174 (1965)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Tait65a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Tait65a
William W. Tait:
The Substitution Method. J. Symb. Log. 30(2): 175-192 (1965)
1959
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Tait59
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Tait59
William W. Tait:
A Counterexample to a Conjecture of Scott and Suppes. J. Symb. Log. 24(1): 15-16 (1959)

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2012
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/leus/Tait12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/Tait12
William W. Tait:
Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections. Epistemology versus Ontology 2012: 161-180

Coauthor Index

see FAQ

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.