Non-standard lattices and o-minimal groups

2013 ◽  
Vol 19 (1) ◽  
pp. 56-76 ◽  
Author(s):  
Pantelis E. Eleftheriou
Keyword(s):  
Local Level ◽  
Order Structure ◽  
First Order ◽  
Central Notion ◽  
Structure Theorems ◽  
Definable Groups ◽  
Minimal Groups ◽  
Definition Of ◽  
Generic Elements

AbstractWe describe a recent program from the study of definable groups in certain o-minimal structures. A central notion of this program is that of a (geometric) lattice. We propose a definition of a lattice in an arbitrary first-order structure. We then use it to describe, uniformly, various structure theorems for o-minimal groups, each time recovering a lattice that captures some significant invariant of the group at hand. The analysis first goes through a local level, where a pertinent notion of pregeometry and generic elements is each time introduced.

Two Applications of Model-Theoretic Forcing to Lipski’s Data Bases with Incomplete Information1

1989 ◽  
Vol 12 (3) ◽  
pp. 269-287
Author(s):  
Marek A. Suchenek
Keyword(s):  
Incomplete Information ◽  
Data Base ◽  
Order Structure ◽  
Implicit Assumption ◽  
Data Bases ◽  
Adequate Model ◽  
First Order ◽  
Definition Of ◽  
Unique Domain ◽  
Order Structures

This paper concerns two aspects of incomplete information in data bases: - computations of answers to queries which are externally interpreted in some incomplete first-order structures with dependencies, and - the proper treatment of modal operators in such structures. We introduce the notion of an incomplete first-order structure with dependencies which seems to be an adequate model of data bases with incomplete information. We show that the widely accepted implicit assumption that first-order models (of a data base) have a unique domain, has no first-order consequences if the set of premises (represented in the data base) contains only a finite amount of information explicitly involving the elements of this domain. This observation allows us to evaluate the degree of unsolvability of the problem of answering externally interpreted queries in the incomplete first-order structures. Moreover, we propose a forcing-based definition of the internal interpretation of modal queries in such structures, and investigate some of the properties of this interpretation.

Compliance and Conflict of Value in Public Policy Implementation: Comparison between the New Order and the Reformation Era

2018 ◽  
Vol 2 (2) ◽  
pp. 99 ◽  
Author(s):  
Dwiyanto Indiahono ◽  
Erwan Purwanto ◽  
Agus Pramusinto
Keyword(s):  
Public Policy ◽  
Policy Implementation ◽  
Local Level ◽  
Group Discussion ◽  
New Order ◽  
The Reformation ◽  
Public Policy Implementation ◽  
Definition Of ◽  
Conflict Of Value ◽  
The Relationship

This research aims to examine differences in the relationship of bureaucratic and political officials during the New Order (Soeharto’s era) and the Reformation (post-Soeharto) era within the arena of public policy implementation. This is a matter of importance given that there is a change in relations between the two from integration in the New Order to bureaucratic impartiality in the Reformation Era. This study attempts to answer the question: How were the relations of bureaucratic and political officials in the implementation of local level public policy during the New Order and the Reformation Era? A qualitative research has been conducted in Tegal Municipality using the following data collection techniques: interview, focus group discussion, documentation, and observation. Tegal Municipality was selected as the study location because of the unique relationship shown between the mayor and the bureaucracy. Its uniqueness lies in the emergence of bureaucratic officials who dare to oppose political officials, based on their convictions that bureaucratic/public values should be maintained even if it means having to be in direct conflict with political officials. This research indicates that the relationship between bureaucratic and political officials in the arena of local level policy implementation during the New Order was characterized as being full of pressure and compliance, whereas during the Reformation Era bureaucrats have the audacity to hinder policy implementation. Such audacity to thwart policies is considered to have developed from a stance that aims to protect public budget and values in policies. The occurring conflict of values here demonstrates a dichotomy of political and bureaucratic officials that is different from the prevailing definition of politics-administration dichotomy introduced at the onset of Public Administration studies.

scholarly journals Off-Shell Noether Currents and Potentials for First-Order General Relativity

Symmetry ◽  
2021 ◽  
Vol 13 (2) ◽  
pp. 348
Author(s):  
Merced Montesinos ◽  
Diego Gonzalez ◽  
Rodrigo Romero ◽  
Mariano Celada
Keyword(s):  
General Relativity ◽  
Vector Fields ◽  
Killing Vector ◽  
Spherically Symmetric ◽  
Killing Vector Fields ◽  
Arbitrary Vector ◽  
Four Dimensions ◽  
First Order ◽  
Direct Form ◽  
Definition Of

We report off-shell Noether currents obtained from off-shell Noether potentials for first-order general relativity described by n-dimensional Palatini and Holst Lagrangians including the cosmological constant. These off-shell currents and potentials are achieved by using the corresponding Lagrangian and the off-shell Noether identities satisfied by diffeomorphisms generated by arbitrary vector fields, local SO(n) or SO(n−1,1) transformations, ‘improved diffeomorphisms’, and the ‘generalization of local translations’ of the orthonormal frame and the connection. A remarkable aspect of our approach is that we do not use Noether’s theorem in its direct form. By construction, the currents are off-shell conserved and lead naturally to the definition of off-shell Noether charges. We also study what we call the ‘half off-shell’ case for both Palatini and Holst Lagrangians. In particular, we find that the resulting diffeomorphism and local SO(3,1) or SO(4) off-shell Noether currents and potentials for the Holst Lagrangian generically depend on the Immirzi parameter, which holds even in the ‘half off-shell’ and on-shell cases. We also study Killing vector fields in the ‘half off-shell’ and on-shell cases. The current theoretical framework is illustrated for the ‘half off-shell’ case in static spherically symmetric and Friedmann–Lemaitre–Robertson–Walker spacetimes in four dimensions.

scholarly journals Solving puzzles in deformed JT gravity: phase transitions and non-perturbative effects

2021 ◽  
Vol 2021 (4) ◽  
Author(s):  
Clifford V. Johnson ◽  
Felipe Rosso
Keyword(s):  
Phase Structure ◽  
Scalar Potential ◽  
String Equation ◽  
Two Dimensional ◽  
Leading Order ◽  
Classical Analysis ◽  
First Order ◽  
First Order Phase Transition ◽  
Definition Of ◽  
First Order Phase

Abstract Recent work has shown that certain deformations of the scalar potential in Jackiw-Teitelboim gravity can be written as double-scaled matrix models. However, some of the deformations exhibit an apparent breakdown of unitarity in the form of a negative spectral density at disc order. We show here that the source of the problem is the presence of a multi-valued solution of the leading order matrix model string equation. While for a class of deformations we fix the problem by identifying a first order phase transition, for others we show that the theory is both perturbatively and non-perturbatively inconsistent. Aspects of the phase structure of the deformations are mapped out, using methods known to supply a non-perturbative definition of undeformed JT gravity. Some features are in qualitative agreement with a semi-classical analysis of the phase structure of two-dimensional black holes in these deformed theories.

scholarly journals Formula size games for modal logic and μ-calculus

2019 ◽  
Vol 29 (8) ◽  
pp. 1311-1344 ◽  
Author(s):  
Lauri T Hella ◽  
Miikka S Vilander
Keyword(s):  
Modal Logic ◽  
Optimal Strategy ◽  
Order Logic ◽  
First Order Logic ◽  
Kripke Models ◽  
First Order ◽  
Modal Operators ◽  
Crucial Difference ◽  
Definition Of ◽  
Person Game

Abstract We propose a new version of formula size game for modal logic. The game characterizes the equivalence of pointed Kripke models up to formulas of given numbers of modal operators and binary connectives. Our game is similar to the well-known Adler–Immerman game. However, due to a crucial difference in the definition of positions of the game, its winning condition is simpler, and the second player does not have a trivial optimal strategy. Thus, unlike the Adler–Immerman game, our game is a genuine two-person game. We illustrate the use of the game by proving a non-elementary succinctness gap between bisimulation invariant first-order logic $\textrm{FO}$ and (basic) modal logic $\textrm{ML}$. We also present a version of the game for the modal $\mu $-calculus $\textrm{L}_\mu $ and show that $\textrm{FO}$ is also non-elementarily more succinct than $\textrm{L}_\mu $.

scholarly journals Macroscopic degeneracy and order in the 3D plaquette Ising model

2015 ◽  
Vol 29 (20) ◽  
pp. 1550109 ◽  
Author(s):  
Desmond A. Johnston ◽  
Marco Mueller ◽  
Wolfhard Janke
Keyword(s):  
Low Temperature ◽  
Magnetic Order ◽  
Finite Size ◽  
Temperature Phase ◽  
Finite Size Scaling ◽  
First Order ◽  
Magnetic Order Parameter ◽  
First Order Transition ◽  
Definition Of ◽  
Low Temperature Phase

The purely plaquette 3D Ising Hamiltonian with the spins living at the vertices of a cubic lattice displays several interesting features. The symmetries of the model lead to a macroscopic degeneracy of the low-temperature phase and prevent the definition of a standard magnetic order parameter. Consideration of the strongly anisotropic limit of the model suggests that a layered, “fuki-nuke” order still exists and we confirm this with multi-canonical simulations. The macroscopic degeneracy of the low-temperature phase also changes the finite-size scaling corrections at the first-order transition in the model and we see this must be taken into account when analyzing our measurements.

A TYPE-FREE THEORY OF HALF-MONOTONE INDUCTIVE DEFINITIONS

1995 ◽  
Vol 06 (03) ◽  
pp. 203-234 ◽  
Author(s):  
YUKIYOSHI KAMEYAMA
Keyword(s):  
Type Theory ◽  
Characteristic Point ◽  
Logical Theory ◽  
Inductive Definition ◽  
Program Extraction ◽  
First Order ◽  
Inductive Definitions ◽  
Free Theory ◽  
Program Proof ◽  
Definition Of

This paper studies an extension of inductive definitions in the context of a type-free theory. It is a kind of simultaneous inductive definition of two predicates where the defining formulas are monotone with respect to the first predicate, but not monotone with respect to the second predicate. We call this inductive definition half-monotone in analogy of Allen’s term half-positive. We can regard this definition as a variant of monotone inductive definitions by introducing a refined order between tuples of predicates. We give a general theory for half-monotone inductive definitions in a type-free first-order logic. We then give a realizability interpretation to our theory, and prove its soundness by extending Tatsuta’s technique. The mechanism of half-monotone inductive definitions is shown to be useful in interpreting many theories, including the Logical Theory of Constructions, and Martin-Löf’s Type Theory. We can also formalize the provability relation “a term p is a proof of a proposition P” naturally. As an application of this formalization, several techniques of program/proof-improvement can be formalized in our theory, and we can make use of this fact to develop programs in the paradigm of Constructive Programming. A characteristic point of our approach is that we can extract an optimization program since our theory enjoys the program extraction theorem.

Modelling spatial reasoning systems with shape algebras and formal logic

1997 ◽  
Vol 11 (4) ◽  
pp. 273-285 ◽  
Author(s):  
Scott C. Chase
Keyword(s):  
Spatial Reasoning ◽  
Predicate Logic ◽  
Spatial Relations ◽  
Large Set ◽  
First Order ◽  
Reasoning Systems ◽  
Geometric Objects ◽  
Small Set ◽  
Definition Of ◽  
High Level

AbstractThe combination of the paradigms of shape algebras and predicate logic representations, used in a new method for describing designs, is presented. First-order predicate logic provides a natural, intuitive way of representing shapes and spatial relations in the development of complete computer systems for reasoning about designs. Shape algebraic formalisms have advantages over more traditional representations of geometric objects. Here we illustrate the definition of a large set of high-level design relations from a small set of simple structures and spatial relations, with examples from the domains of geographic information systems and architecture.

Sign in / Sign up

Export Citation Format

Share Document