57 results found in 5 ms.
Page 1 of 4 next
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
This course focuses on the study of basic metaphysical issues concerning existence, the mind-body problem, personal identity, and causation plus its implications for freedom. The course explores classical as well as contemporary readings.
Author(s):
Tag(s):
- linguistics and philosophy
- metaphysics
- metaphysician
- world
- ontology
- properties
- mind
- body
- philosophy
- appearance
- reality
- universals
- existence
- causal networks
- indiscernibility
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
This is an advanced topics course in model theory whose main theme is simple theories. We treat simple theories in the framework of compact abstract theories, which is more general than that of first order theories. We cover the basic properties of independence (i.e., non-dividing) in simple theories, the characterization of simple theories
Author(s):
Tag(s):
- mathematics
- universal domains
- compact abstract theories
- indiscernibility
- indiscernible sequences
- dividing
- simplicity
- independence
- lascar strong types
- independence theorem
- hyperimaginaries
- canonical bases
- supersimplicity
- lascar inequalities
- stability
- stable theories
- generic automorphism
- type-definable groups
- lovely pairs
File: 24-221-fall-2005.zip
This OER is part of OCW: Metaphysics
Published under: /Download Course Materials
Share in:
Used by:
Inherited Tag(s):
- linguistics and philosophy
- metaphysics
- metaphysician
- world
- ontology
- properties
- mind
- body
- philosophy
- appearance
- reality
- universals
- existence
- causal networks
- indiscernibility
File: 18-996a-spring-2004.zip
This OER is part of OCW: Simplicity Theory
Published under: /Download Course Materials
Share in:
Used by:
Inherited Tag(s):
- mathematics
- universal domains
- compact abstract theories
- indiscernibility
- indiscernible sequences
- dividing
- simplicity
- independence
- lascar strong types
- independence theorem
- hyperimaginaries
- canonical bases
- supersimplicity
- lascar inequalities
- stability
- stable theories
- generic automorphism
- type-definable groups
- lovely pairs
File: paper1_carnap.pdf
This OER is part of OCW: Metaphysics
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- linguistics and philosophy
- metaphysics
- metaphysician
- world
- ontology
- properties
- mind
- body
- philosophy
- appearance
- reality
- universals
- existence
- causal networks
- indiscernibility
File: asign8_compac.pdf
This OER is part of OCW: Simplicity Theory
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- mathematics
- universal domains
- compact abstract theories
- indiscernibility
- indiscernible sequences
- dividing
- simplicity
- independence
- lascar strong types
- independence theorem
- hyperimaginaries
- canonical bases
- supersimplicity
- lascar inequalities
- stability
- stable theories
- generic automorphism
- type-definable groups
- lovely pairs
File: asign6_ocw910.pdf
This OER is part of OCW: Simplicity Theory
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- mathematics
- universal domains
- compact abstract theories
- indiscernibility
- indiscernible sequences
- dividing
- simplicity
- independence
- lascar strong types
- independence theorem
- hyperimaginaries
- canonical bases
- supersimplicity
- lascar inequalities
- stability
- stable theories
- generic automorphism
- type-definable groups
- lovely pairs
File: asign12_compac.pdf
This OER is part of OCW: Simplicity Theory
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- mathematics
- universal domains
- compact abstract theories
- indiscernibility
- indiscernible sequences
- dividing
- simplicity
- independence
- lascar strong types
- independence theorem
- hyperimaginaries
- canonical bases
- supersimplicity
- lascar inequalities
- stability
- stable theories
- generic automorphism
- type-definable groups
- lovely pairs
File: asign4_2_17.pdf
This OER is part of OCW: Simplicity Theory
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- mathematics
- universal domains
- compact abstract theories
- indiscernibility
- indiscernible sequences
- dividing
- simplicity
- independence
- lascar strong types
- independence theorem
- hyperimaginaries
- canonical bases
- supersimplicity
- lascar inequalities
- stability
- stable theories
- generic automorphism
- type-definable groups
- lovely pairs
File: assign1_wang.pdf
This OER is part of OCW: Simplicity Theory
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- mathematics
- universal domains
- compact abstract theories
- indiscernibility
- indiscernible sequences
- dividing
- simplicity
- independence
- lascar strong types
- independence theorem
- hyperimaginaries
- canonical bases
- supersimplicity
- lascar inequalities
- stability
- stable theories
- generic automorphism
- type-definable groups
- lovely pairs
File: asign11_compac.pdf
This OER is part of OCW: Simplicity Theory
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- mathematics
- universal domains
- compact abstract theories
- indiscernibility
- indiscernible sequences
- dividing
- simplicity
- independence
- lascar strong types
- independence theorem
- hyperimaginaries
- canonical bases
- supersimplicity
- lascar inequalities
- stability
- stable theories
- generic automorphism
- type-definable groups
- lovely pairs
File: asign5_ocw910.pdf
This OER is part of OCW: Simplicity Theory
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- mathematics
- universal domains
- compact abstract theories
- indiscernibility
- indiscernible sequences
- dividing
- simplicity
- independence
- lascar strong types
- independence theorem
- hyperimaginaries
- canonical bases
- supersimplicity
- lascar inequalities
- stability
- stable theories
- generic automorphism
- type-definable groups
- lovely pairs
File: asign9_compac.pdf
This OER is part of OCW: Simplicity Theory
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- mathematics
- universal domains
- compact abstract theories
- indiscernibility
- indiscernible sequences
- dividing
- simplicity
- independence
- lascar strong types
- independence theorem
- hyperimaginaries
- canonical bases
- supersimplicity
- lascar inequalities
- stability
- stable theories
- generic automorphism
- type-definable groups
- lovely pairs
File: asign7_p27_36com.pdf
This OER is part of OCW: Simplicity Theory
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- mathematics
- universal domains
- compact abstract theories
- indiscernibility
- indiscernible sequences
- dividing
- simplicity
- independence
- lascar strong types
- independence theorem
- hyperimaginaries
- canonical bases
- supersimplicity
- lascar inequalities
- stability
- stable theories
- generic automorphism
- type-definable groups
- lovely pairs
File: asign3_2_17.pdf
This OER is part of OCW: Simplicity Theory
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- mathematics
- universal domains
- compact abstract theories
- indiscernibility
- indiscernible sequences
- dividing
- simplicity
- independence
- lascar strong types
- independence theorem
- hyperimaginaries
- canonical bases
- supersimplicity
- lascar inequalities
- stability
- stable theories
- generic automorphism
- type-definable groups
- lovely pairs
File: assign10_compac.pdf
This OER is part of OCW: Simplicity Theory
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- mathematics
- universal domains
- compact abstract theories
- indiscernibility
- indiscernible sequences
- dividing
- simplicity
- independence
- lascar strong types
- independence theorem
- hyperimaginaries
- canonical bases
- supersimplicity
- lascar inequalities
- stability
- stable theories
- generic automorphism
- type-definable groups
- lovely pairs
57 results found.
Page 1 of 4 next