NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 3 of 3 (0.105 seconds)

Spelling suggestions: "subject:"definability theory (amathematical logic)"" "subject:"definability theory (dmathematical logic)""

1

Computability, definability, categoricity, and automorphisms /

Miller, Russell Geddes. January 2000 (has links)
Thesis (Ph. D.)--University of Chicago, Dept. of Mathematics, June 2000. / Includes bibliographical references. Also available on the Internet.
2

Undecidability of intuitionistic theories

Brierley, William. January 1985 (has links)
No description available.
Intuitionistic mathematics
Definability theory (Mathematical logic)
Model theory
Logic, Symbolic and mathematical
3

Undecidability of intuitionistic theories

Brierley, William. January 1985 (has links)
No description available.
Model theory
Intuitionistic mathematics
Logic, Symbolic and mathematical
Definability theory (Mathematical logic)

Page generated in 0.1088 seconds