No abstract

It is well known that the following features hold of AR + T under the strong Kleene scheme, regardless of the way the language is Gödel numbered:1. There exist sentences that are neither paradoxical nor grounded.2. There are fixed points.3. In the minimal fixed point the weakly definable sets (i.e., sets definable as {n ∣ A(n) is true in the minimal fixed point}, where A(x) is a formula of AR + T) are precisely the sets.4. In the minimal fixed point the totally defined sets (sets weakly defined by formulae all of whose instances are true or false) are precisely the sets.5. The closure ordinal for Kripke's construction of the minimal fixed point is .In contrast, we show that under the weak Kleene scheme, depending on the way the Gödel numbering is chosen:1. There may or may not exist nonparadoxical, ungrounded sentences.2. The number of fixed points may be any positive finite number, ℵ0, or .3. In the minimal fixed point, the sets that are weakly definable may range from a subclass of the sets 1-1 reducible to the truth set of AR to the sets, including intermediate cases.4. Similarly, the totally definable sets in the minimal fixed point range from precisely the arithmetical sets up to precisely the sets.5. The closure ordinal for the construction of the minimal fixed point may be ω, , or any successor limit ordinal in between.In addition we suggest how one may supplement AR + T with a function symbol interpreted by a certain primitive recursive function so that, irrespective of the choice of the Gödel numbering, the resulting language based on the weak Kleene scheme has the five features noted above for the strong Kleene language.

No abstract

This paper describes the Passive Active RFID Tag (PART). The first innovation is an automated method to generate RFID tag controllers based on high-level descriptions of a customised set of RFID primitives. We are capable of targeting microprocessor-based or custom hardware-based controllers. The second innovation is a passive burst switch front-end to the active tag. This switch reduces power consumption by allowing the active transceiver and controller to sleep when no reader is querying the tag. When RF energy is supplied by the reader, the burst switch 'wakes-up' the tag to process the primitive. A prototype burst switch is demonstrated using a Real-Time Spectrum Analyser (RTSA) from our RFID Center for Excellence. We demonstrate the customised RFID tag controller with 40 primitives using a Xilinx Coolrunner-II requiring 1.29 mW and 50 µW of power when active and asleep, respectively. We also present a PIC-microcontroller and hardwarebased Nano Tag at 2.7µW.

No abstract