-
Tarski's Theorem on Intuitionistic logic, for polyhedra
Authors:
Nick Bezhanishvili,
Vincenzo Marra,
Daniel McNeill,
Andrea Pedrini
Abstract:
In 1938, Tarski proved that a formula is not intuitionistically valid if, and only if, it has a counter-model in the Heyting algebra of open sets of some topological space. In fact, Tarski showed that any Euclidean space R^n with n >= 1 suffices, as does e.g. the Cantor space. In particular, intuitionistic logic cannot detect topological dimension in the frame of all open sets of a Euclidean space…
▽ More
In 1938, Tarski proved that a formula is not intuitionistically valid if, and only if, it has a counter-model in the Heyting algebra of open sets of some topological space. In fact, Tarski showed that any Euclidean space R^n with n >= 1 suffices, as does e.g. the Cantor space. In particular, intuitionistic logic cannot detect topological dimension in the frame of all open sets of a Euclidean space. By contrast, we consider the lattice of open subpolyhedra of a given compact polyhedron P \subseteq R^n, prove that it is a locally finite Heyting subalgebra of the (non-locally-finite) algebra of all open sets of R^n, and show that intuitionistic logic is able to capture the topological dimension of P through the bounded-depth axiom schemata. Further, we show that intuitionistic logic is precisely the logic of formulæ valid in all Heyting algebras arising from polyhedra in this manner. Thus, our main theorem reconciles through polyhedral geometry two classical results: topological completeness in the style of Tarski, and Jaskowski's theorem that intuitionistic logic enjoys the finite model property. Several questions of interest remain open. E.g., what is the intermediate logic of all closed triangulable manifolds?
△ Less
Submitted 18 January, 2017;
originally announced January 2017.
-
From Freudenthal's Spectral Theorem to projectable hulls of unital Archimedean lattice-groups, through compactifications of minimal spectra
Authors:
Richard N. Ball,
Vincenzo Marra,
Daniel McNeill,
Andrea Pedrini
Abstract:
We use a landmark result in the theory of Riesz spaces - Freudenthal's 1936 Spectral Theorem - to canonically represent any Archimedean lattice-ordered group $G$ with a strong unit as a (non-separating) lattice-group of real valued continuous functions on an appropriate $G$-indexed zero-dimensional compactification $w_GZ_G$ of its space $Z_G$ of \emph{minimal} prime ideals. The two further ingredi…
▽ More
We use a landmark result in the theory of Riesz spaces - Freudenthal's 1936 Spectral Theorem - to canonically represent any Archimedean lattice-ordered group $G$ with a strong unit as a (non-separating) lattice-group of real valued continuous functions on an appropriate $G$-indexed zero-dimensional compactification $w_GZ_G$ of its space $Z_G$ of \emph{minimal} prime ideals. The two further ingredients needed to establish this representation are the Yosida representation of $G$ on its space $X_G$ of \emph{maximal} ideals, and the well-known continuous surjection of $Z_G$ onto $X_G$. We then establish our main result by showing that the inclusion-minimal extension of this representation of $G$ that separates the points of $Z_G$ - namely, the sublattice subgroup of ${\rm C}\,(Z_G)$ generated by the image of $G$ along with all characteristic functions of clopen (closed and open) subsets of $Z_G$ which are determined by elements of $G$ - is precisely the classical projectable hull of $G$. Our main result thus reveals a fundamental relationship between projectable hulls and minimal spectra, and provides the most direct and explicit construction of projectable hulls to date. Our techniques do require the presence of a strong unit.
△ Less
Submitted 14 May, 2015; v1 submitted 12 June, 2014;
originally announced June 2014.
-
Herschel observations of EXtraordinary Sources: Analysis of the full Herschel/HIFI molecular line survey of Sagittarius B2(N)
Authors:
Justin L. Neill,
Edwin A. Bergin,
Dariusz C. Lis,
Peter Schilke,
Nathan R. Crockett,
Cecile Favre,
Martin Emprechtinger,
Claudia Comito,
Sheng-Li Qin,
Dana E. Anderson,
Andrew M. Burkhardt,
Jo-Hsin Chen,
Brent J. Harris,
Steven D. Lord,
Brett A. McGuire,
Trevor D. McNeill,
Raquel R. Monje,
Thomas G. Phillips,
Amanda L. Steber,
Tatiana Vasyunina,
Shanshan Yu
Abstract:
A sensitive broadband molecular line survey of the Sagittarius B2(N) star-forming region has been obtained with the HIFI instrument on the Herschel Space Observatory, offering the first high-spectral resolution look at this well-studied source in a wavelength region largely inaccessible from the ground (625-157 um). From the roughly 8,000 spectral features in the survey, a total of 72 isotopologue…
▽ More
A sensitive broadband molecular line survey of the Sagittarius B2(N) star-forming region has been obtained with the HIFI instrument on the Herschel Space Observatory, offering the first high-spectral resolution look at this well-studied source in a wavelength region largely inaccessible from the ground (625-157 um). From the roughly 8,000 spectral features in the survey, a total of 72 isotopologues arising from 44 different molecules have been identified, ranging from light hydrides to complex organics, and arising from a variety of environments from cold and diffuse to hot and dense gas. We present an LTE model to the spectral signatures of each molecule, constraining the source sizes for hot core species with complementary SMA interferometric observations, and assuming that molecules with related functional group composition are cospatial. For each molecule, a single model is given to fit all of the emission and absorption features of that species across the entire 480-1910 GHz spectral range, accounting for multiple temperature and velocity components when needed to describe the spectrum. As with other HIFI surveys toward massive star forming regions, methanol is found to contribute more integrated line intensity to the spectrum than any other species. We discuss the molecular abundances derived for the hot core, where the local thermodynamic equilibrium approximation is generally found to describe the spectrum well, in comparison to abundances derived for the same molecules in the Orion KL region from a similar HIFI survey.
△ Less
Submitted 6 May, 2014; v1 submitted 4 May, 2014;
originally announced May 2014.
-
Controllable selective exfoliation of high-quality graphene nanosheets and nanodots by ionic liquid assisted grinding
Authors:
Nai Gui Shang,
Pagona Papakonstantinou,
Surbhi Sharma,
Gennady Lubarsky,
Meixian Li,
David W. McNeill,
Aidan J. Quinn,
Wuzong Zhou,
Ross Blackley
Abstract:
Bulk quantities of graphene nanosheets and nanodots have been selectively fabricated by mechanical grinding exfoliation of natural graphite in a small quantity of ionic liquids. The resulting graphene sheets and dots are solvent free with low levels of naturally absorbed oxygen, inherited from the starting graphite. The sheets are only two to five layers thick. The graphene nanodots have diameters…
▽ More
Bulk quantities of graphene nanosheets and nanodots have been selectively fabricated by mechanical grinding exfoliation of natural graphite in a small quantity of ionic liquids. The resulting graphene sheets and dots are solvent free with low levels of naturally absorbed oxygen, inherited from the starting graphite. The sheets are only two to five layers thick. The graphene nanodots have diameters in the range of 9-29 nm and heights in the range of 1-16 nm, which can be controlled by changing the processing time.
△ Less
Submitted 13 January, 2012;
originally announced January 2012.
-
Phase Structure of lattice SU(2)xU_S(1) three-dimensional Gauge Theory
Authors:
K. Farakos,
N. E. Mavromatos,
D. McNeill
Abstract:
We discuss a phase diagram for a relativistic SU(2) x U_{S}(1) lattice gauge theory, with emphasis on the formation of a parity-invariant chiral condensate, in the case when the $U_{S}(1)$ field is infinitely coupled, and the SU(2) field is moved away from infinite coupling by means of a strong-coupling expansion. We provide analytical arguments on the existence of (and partially derive) a criti…
▽ More
We discuss a phase diagram for a relativistic SU(2) x U_{S}(1) lattice gauge theory, with emphasis on the formation of a parity-invariant chiral condensate, in the case when the $U_{S}(1)$ field is infinitely coupled, and the SU(2) field is moved away from infinite coupling by means of a strong-coupling expansion. We provide analytical arguments on the existence of (and partially derive) a critical line in coupling space, separating the phase of broken SU(2) symmetry from that where the symmetry is unbroken. We review uncoventional (Kosterlitz-Thouless type) superconducting properties of the model, upon coupling it to external electromagnetic potentials. We discuss the rôle of instantons of the unbroken subgroup U(1) of SU(2), in eventually destroying superconductivity under certain circumstances. The model may have applications to the theory of high-temperature superconductivity. In particular, we argue that in the regime of the couplings leading to the broken SU(2) phase, the model may provide an explanation on the appearance of a pseudo-gap phase, lying between the antiferromagnetic and the superconducting phases. In such a phase, a fermion mass gap appears in the theory, but there is no phase coherence, due to the Kosterlitz-Thouless mode of symmetry breaking. The absence of superconductivity in this phase is attributed to non-perturbative effects (instantons) of the subgroup U(1) of SU(2).
△ Less
Submitted 25 June, 1998;
originally announced June 1998.
