Article Per Year (5 Year)
p-Index From 2019 - 2024
0
P-Index
This Author published in this journals
All Journal Jurnal Matematika & Sains
Oki Neswan
Kelompok Keahlian Analisis dan Geometri, Fakultas Matematika dan Ilmu Pengetahuan Alam, ITB
Mathematics

Published : 3 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 3 Documents
Search

 1 
Beberapa Aplikasi dari Ultraproducts di Dalam Teori Model Oki Neswan
Jurnal Matematika & Sains Vol 1, No 1 (1996)
Publisher : Institut Teknologi Bandung

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Pengertian filter pertama kali dikemukakan oleh H. Cartan. Pembahasan kekonvergenan yang lengkap dengan menggunakan filter dapat ditemukan dalam N Bourbaki. Dari konsep filter muncullah ultra filter dan ultraproduct yang belakangan memainkan peranan penting di berbagai cabang matematika khususnya topologi, aljabar, dan juga teori model.             Dalam makalah singkat ini kita ingin menyelidiki peranan dan pemakaian ultraproduct dalam teori model. Di dalam teori model konstruksi model melalui konstanta-konstanta, fungsi-fungsi Skolem, dan rantai elementer telah umum digunakan untuk membangun model baru dari model-model tersedia. T. Skolem yang mula-mula menggunakan ultraproduct di dalam teori model. Ia menggunakan bentuk khusus dari ultraproduct, yaitu ultrapower, untuk membangun model nonstandar lengkap complete nonstandard untuk aritmetika. Ini menunjukkan bahwa ultra product juga dapat berperan sebagai alat konstruksi model. Selain itu ultraproduct juga sangat penting dalam analisis nonstandard (nonstandard analysis).
Dasar-dasar Teori Model Tanpa Tanda Kesamaan Oki Neswan
Jurnal Matematika & Sains Vol 3, No 1 (1998)
Publisher : Institut Teknologi Bandung

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

The new main notion studied here is the notion of a strong onto homomorphic relation R  between structures A and B denoted by A  B. We show that this notion generalizes many fundamental notions of model theory such as substructure and elementary substructure to the situation where an equality symbol is not assumed to be present in the first order language L. We generalize many results of model theory which usually assume that L has an equality symbol to this situation
Spektrum Gstar(1;1) Nunung Nurhayati; Udjianna Sekteria Pasaribu; Dudung Muhally Hakim; Oki Neswan
Jurnal Matematika & Sains Vol 13, No 4 (2008)
Publisher : Institut Teknologi Bandung

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

In this paper we formulate the spectrum (spectral density matrix) of the stationary GSTAR(1;1) model by considering the model as VMA( ∞). The spectrum can be obtained by following steps: represent the model as an VMA( ∞) and convert the model to the backward operator form, then substitute the coefficient model to the spectrum of VMA( ∞) model. The procedure of finding spectrum of GSTAR(1;1) which parameters are given, is illustrated by a two dimensional GSTAR(1;1) model.
Co-Authors Dudung Muhally Hakim Nunung Nurhayati Udjianna Sekteria Pasaribu