NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 80
  • 11
  • 7
  • 5
  • 5
  • 5
  • 5
  • 5
  • 5
  • 5
  • 3
  • 2
  • 1
  • 1
  • 1
  • Tagged with
  • 143
  • 143
  • 44
  • 24
  • 21
  • 13
  • 13
  • 11
  • 11
  • 11
  • 11
  • 10
  • 10
  • 10
  • 9
  • 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 10 of 143 (0.061 seconds)

Spelling suggestions: "subject:"model theory."" "subject:"godel theory.""

1

Models and scientific realism

Bradie, Michael Peter January 1970 (has links)
Typescript. / Thesis (Ph. D.)--University of Hawaii, 1970. / Bibliography: leaves 197-203. / vi, 203 l
Model theory
2

Analysis of the scale-contaminated normal model diagnostics and robustness /

Little, James Kevin. January 1983 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1983. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 242-245).
Model theory.
3

On logics that express "there exist many indiscernibles"

Steinhorn, Charles Ira. January 1980 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1980. / Typescript. Vita. Description based on print version record. Includes bibliographical references (leaves 127-129).
Model theory.
4

Abstract model theory

Fraser, Craig Graham January 1976 (has links)
We define a notion of logic that provides a general framework for the study of extensions of first-order predicate calculus. The concept of partial isomorphism and its relation to infinitary logics are examined. Results on the definability of ordinals establish the setting for our proof of Lindstrom's Theorem: this theorem gives conditions that characterize first-order logic. We then consider the analogues to the general case of the compactness and Lowenheim properties. For a wide class of logics it is shown that interesting connections exist between the analogues of these properties. / Science, Faculty of / Mathematics, Department of / Graduate
Model theory
5

Independence proofs in arithmetic theories with very weak induction

Garro, Ibrahim. January 1973 (has links)
Inaug. Diss.--Bonn. / Bibliography: p. [71].
Model theory. Independence (Mathematics)
6

On generalized Jónsson classes.

Sevee, Denis Edward January 1972 (has links)
No description available.
Model theory
Set theory
7

Independence proofs in arithmetic theories with very weak induction

Garro, Ibrahim. January 1973 (has links)
Inaug. Diss.--Bonn. / Bibliography: p. [71].
Model theory. Independence (Mathematics)
8

Model theory in admissible sets; the theory of the snake.

Nadel, Mark Edward, January 1972 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1972. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.
Model theory. Set theory.
9

On metamathematical ideals

Heidema, Johannes. January 1900 (has links)
Thesis (doctoral)--Potchefstroom University for Christian Higher Education, 1966. / eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 96-99).
Model theory. Idéaux (Algèbre)
10

Morasses, diamond, and forcing

Velleman, Daniel Jon. January 1980 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1980. / Typescript. Vita. Description based on print version record. Includes bibliographical references (leaf 155).
Forcing (Model theory)

Page generated in 0.0654 seconds