추상모델이론
Abstract model theory수학 논리학에서 추상 모델 이론은 1차 논리 연장의 일반적 속성과 그 모델들을 연구하는 모델 이론의 일반화다.[1]
추상적 모델 이론은 우리가 뒤로 물러서서 광범위한 논리학과 그들의 관계를 연구할 수 있는 접근법을 제공한다.[2]좋은 사례가 나온 추상모델 연구의 출발점은 린드스트룀의 정리였다.[3]
1974년에 Jon Barwise는 추상적인 모델 이론의 공리화를 제공했다.[4]
참고 항목
참조
- ^ Răzvan Diaconescu 2008에 의한 기관 독립 모델 이론 ISBN3-7643-8707-6페이지
- ^ Jon Barwise 1989 ISBN 0-444-86388-5페이지 45
- ^ 장-이브 베지아 로지카 유니버설리스: 2005 ISBN 978-3-7643-7259-0 페이지 20–25에 대한 일반적인 이론에 대하여
- ^ J. Barwise, 1974년 "추상적 모델 이론의 축", 수학 논리 연보 7:221–265
추가 읽기
- Jon Barwise; Solomon Feferman (1985). Model-theoretic logics. Springer-Verlag. ISBN 978-0-387-90936-3.
