Completeness theorems for continuous functions and product topologies

DOI10.1007/BF02757004zbMath0344.54006WikidataQ56519715 ScholiaQ56519715MaRDI QIDQ1232838

Joseph Sgro

Publication date: 1976

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

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