Completeness theorems for continuous functions and product topologies
From MaRDI portal
Publication:1232838
DOI10.1007/BF02757004zbMath0344.54006WikidataQ56519715 ScholiaQ56519715MaRDI QIDQ1232838
Publication date: 1976
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
Structure of general topological groups (22A05) Continuous maps (54C05) Model theory (03C99) Product spaces in general topology (54B10) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Extremally disconnected spaces, (F)-spaces, etc. (54G05) General logic (03B99) Generalities in topology (54A99)
Related Items (6)
The Interior Operator Logic and Product Topologies ⋮ Ultraproduct Invariant Logics ⋮ Maximal Logics ⋮ Interpolation Fails for the Souslin-Kleene Closure of the Open Set Quantifier Logic ⋮ Topological model theory with an interior operator: Consistency properties and back — and forth arguments ⋮ Interpolation in Logiken monotoner systeme
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Model theory
- Introduction to model theory and to the metamathematics of algebra
- Maximal Logics
- On a generalization of quantifiers
- Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
- Completeness theorems for topological models
- Logic with the quantifier “there exist uncountably many”
- The completeness of the first-order functional calculus
- A generalization of the concept of ω-consistency
This page was built for publication: Completeness theorems for continuous functions and product topologies
