Hyperfinite and standard unifications for physical theories
type: Item
instance of: scholarly article
title: Hyperfinite and standard unifications for physical theories
zbMATH Open document ID: 1008.03040
DOI: 10.1155/S0161171201006913
author: Robert A. Herrmann
published in: International Journal of Mathematics and Mathematical Sciences
publication date: 2003-03-31T00:00:00Z
full work available at URL: https://eudml.org/doc/49853
review text: If \(L\) denotes a nonempty language, \(\mathcal P\) the power operator, and \(\mathcal F\) the finite power set operator, then a mapping \(\mathcal C: \mathcal P(L)\to\mathcal P(L)\) is called a general consequence operator or closure operator in the sense of Tarski if for each \(X,Y\in\mathcal P(L)\), (i) \(X\subset\mathcal C(X)=\mathcal C(\mathcal C(X))\subset L\); and if (ii) \(X\subset Y\), then \(\mathcal C(X)\subset\mathcal C(Y)\). \(\mathcal C\) is called finitary if (iii) \(\mathcal C(X)=\bigcup\{\mathcal C(A)\mid A\in\mathcal F(X)\}\). In this paper the author shows, among other things, that certain physical theories can be represented by a nonempty subset \(\{S_{N_j}^V \mid j\in\mathbb N\}\) of the lattice \(\mathcal C(\Lambda)\) of consequence operators on a language \(\Lambda\).
Mathematics Subject Classification ID: 03H10
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 00A79
zbMATH DE Number: 1751290
zbMATH Keywords: general consequence operator
zbMATH Keywords: closure operator
zbMATH Keywords: physical theories
reviewed by: W. A. J. Luxemburg
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1751290