모형 이론: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 편집 요약 없음 |
|||
1번째 줄: | 1번째 줄: | ||
[[ |
[[수리논리학]]에서 '''모형 이론'''({{llang|en|model theory}})은 [[수리논리학]]적 도구들을 이용해 [[추상대수학]]이나 [[집합론]]의 모형을 이루는 수학적 [[구조 (논리학)|구조]]를 연구하는 분야이다. [[보편 대수학]]은 모형 이론의 특수한 경우이며, 언어가 (등식 이외의) 관계를 포함하지 않고, 모든 공리가 방정식적인 이론의 모형들을 다룬다. |
||
== |
== 참고 문헌 == |
||
* {{책 인용 | last=Marker | first=David | title=Model theory: an introduction | publisher=Springer | isbn=978-0-387-98760-6 | 날짜=2002 | doi = 10.1007/b98860 | isbn = 978-0-387-98760-6 |총서=Graduate Texts in Mathematics|권=217|issn=0072-5285|zbl=1003.03034|언어고리=en}} |
|||
*[[증명론]] |
|||
* {{책 인용 | last=Poizat | first=Bruno | title=A course in model theory: an introduction to contemporary mathematical logic | publisher=Springer | isbn=978-0-387-98655-5 | 날짜=2000 | 총서=Universitext|기타=Moses Klein 역|isbn= 978-1-4612-6446-0|doi=10.1007/978-1-4419-8622-1|issn=0172-5939|zbl=0951.03002|언어고리=en}} |
|||
*[[범대수학]] |
|||
*[[기초적 묻기]] |
|||
== 같이 보기 == |
|||
*[[증명 이론]] |
|||
*[[보편 대수학]] |
|||
*[[기초 매장]]({{llang|en|elementary embedding}}) |
|||
{{수학}} |
{{수학}} |
2014년 11월 23일 (일) 09:55 판
수리논리학에서 모형 이론(영어: model theory)은 수리논리학적 도구들을 이용해 추상대수학이나 집합론의 모형을 이루는 수학적 구조를 연구하는 분야이다. 보편 대수학은 모형 이론의 특수한 경우이며, 언어가 (등식 이외의) 관계를 포함하지 않고, 모든 공리가 방정식적인 이론의 모형들을 다룬다.
참고 문헌
- Marker, David (2002). 《Model theory: an introduction》. Graduate Texts in Mathematics 217. Springer. doi:10.1007/b98860. ISBN 978-0-387-98760-6. ISSN 0072-5285. Zbl 1003.03034.
- Poizat, Bruno (2000). 《A course in model theory: an introduction to contemporary mathematical logic》. Universitext. Moses Klein 역. Springer. doi:10.1007/978-1-4419-8622-1. ISBN 978-1-4612-6446-0. ISSN 0172-5939. Zbl 0951.03002.
같이 보기