scholarly journals Review of Locke’s Metaphysics by Matthew Stuart

Locke Studies ◽  
2014 ◽  
Vol 14 ◽  
pp. 263-271
Author(s):  
Victor Nuovo
Keyword(s):  
Perfect Set ◽  
Navigational Aids

This is a substantial book in several ways. To begin with, it is great in bulk and long in content. But it is so well ordered that in spite of its length it can be navigated with ease. Its contents are topically arranged. Its seventy sections numbered consecutively are distributed among ten chapters. Its topics and subtopics are described in a table of contents and elaborated in summaries at the head of each chapter, which provide the reader with a running argument. With these aids, it is possible to survey the entire contents of the book in short order and to jump from one place to another without losing one’s way. A table of contents and index locorum complete a perfect set of navigational aids. The method is reminiscent of Locke.

Virtually There: A Comparison of Conventional Navigational Aids with HUD Alternatives

2009 ◽  
Author(s):  
Ben Sawyer ◽  
Amir Ahmed ◽  
Heather Mong ◽  
Benjamin Clegg
Keyword(s):  
Navigational Aids

A COMBINATORIAL CORE OF THE ITERATED PERFECT SET MODEL

1999 ◽  
Vol 25 (1) ◽  
pp. 137
Author(s):  
Ciesielski
Keyword(s):  
Perfect Set

Visitors' wayfinding strategies and navigational aids in unfamiliar urban environment

2019 ◽  
Vol 22 (4-5) ◽  
pp. 832-847 ◽  
Author(s):  
Sima Vaez ◽  
Matthew Burke ◽  
Rongrong Yu
Keyword(s):  
Urban Environment ◽  
Navigational Aids

Convention discussion on “Radio navigational aids”

1947 ◽  
Vol 7 (6) ◽  
pp. 247-248
Author(s):  
Hunt ◽  
L.S. Vincent ◽  
J.C.G. Gilbert ◽  
Davies ◽  
E.R. Friedlaender ◽  
...  
Keyword(s):  
Navigational Aids

Constructible lattices of c-degrees

1982 ◽  
Vol 47 (4) ◽  
pp. 739-754
Author(s):  
C.P. Farrington
Keyword(s):  
Set Theory ◽  
Regular Cardinal ◽  
Boolean Algebras ◽  
Combinatorial Complexity ◽  
Generic Extension ◽  
Transitive Model ◽  
Perfect Set ◽  
Consistency Results ◽  
Combinatorial Principles ◽  
Souslin Trees

This paper is devoted to the proof of the following theorem.Theorem. Let M be a countable standard transitive model of ZF + V = L, and let ℒ Є M be a wellfounded lattice in M, with top and bottom. Let ∣ℒ∣M = λ, and suppose κ ≥ λ is a regular cardinal in M. Then there is a generic extension N of M such that(i) N and M have the same cardinals, and κN ⊂ M;(ii) the c-degrees of sets of ordinals of N form a pattern isomorphic to ℒ;(iii) if A ⊂ On and A Є N, there is B Є P(κ+)N such that L(A) = L(B).The proof proceeds by forcing with Souslin trees, and relies heavily on techniques developed by Jech. In [5] he uses these techniques to construct simple Boolean algebras in L, and in [6] he uses them to construct a model of set theory whose c-degrees have orderlype 1 + ω*.The proof also draws on ideas of Adamovicz. In [1]–[3] she obtains consistency results concerning the possible patterns of c-degrees of sets of ordinals using perfect set forcing and symmetric models. These methods have the advantage of yielding real degrees, but involve greater combinatorial complexity, in particular the use of ‘sequential representations’ of lattices.The advantage of the approach using Souslin trees is twofold: first, we can make use of ready-made combinatorial principles which hold in L, and secondly, the notion of genericity over a Souslin tree is particularly simple.

Development of Routing in Coastal Waters

1985 ◽  
Vol 38 (1) ◽  
pp. 76-80
Author(s):  
A. N. Cockcroft
Keyword(s):  
United Kingdom ◽  
Coastal Waters ◽  
Coastal Protection ◽  
Routing Schemes ◽  
The United Kingdom ◽  
Federal German Republic ◽  
German Republic ◽  
The Future ◽  
Navigational Aids

Traffic separation schemes and other routing measures have now been established in the coastal waters of many countries and new schemes are being introduced each year. Traffic separation was originally intended to reduce the risk of collision between ships proceeding in opposite directions but this paper explains how routing measures are now being used mainly for coastal protection. Improvements in navigational aids may lead to more extensive routing schemes in the future with increasing restriction on the movement of shipping.The first traffic separation schemes adopted by IMCO (now IMO) in 1965 and 1968 were based on proposals made by the Institutes of Navigation of France, the Federal German Republic and the United Kingdom. In the report submitted to the Organisation by the Institutes in 1964 it was stated that ‘the object of any form of routing is to ease the congestion and lessen the likelihood of end-on encounters by separating opposing streams of traffic …’.

Automated Determination of the Position of Ships by Satellites

1967 ◽  
Vol 20 (03) ◽  
pp. 281-285
Author(s):  
H. C. Freiesleben
Keyword(s):  
Celestial Body ◽  
World Wide ◽  
Artificial Satellites ◽  
Radio Waves ◽  
The Moon ◽  
Position Determination ◽  
The Earth ◽  
Navigational Aids ◽  
Automated Determination

It has recently been suggested that 24-hour satellites might be used as navigational aids. To what category of position determination aids should these be assigned ? Is a satellite of this kind as it were a landmark, because, at least in theory, it remains fixed over the same point on the Earth's surface, in which case it should be classified under land-based navigation aids ? Is it a celestial body, although only one tenth as far from the Earth as the Moon ? If so, it is an astronomical navigation aid. Or is it a radio aid ? After all, its use for position determination depends on radio waves. In this paper I shall favour this last view. For automation is most feasible when an object of observation can be manipulated. This is easiest with radio aids, but it is, of course, impossible with natural stars.At present artificial satellites have the advantage over all other radio aids of world-wide coverage.

Sign in / Sign up

Export Citation Format

Share Document